jlm::llvm::aa::LoadConstraint Class Reference

#include <PointerObjectSet.hpp>

Public Member Functions
	LoadConstraint (PointerObjectIndex value, PointerObjectIndex pointer)
PointerObjectIndex	GetValue () const noexcept
void	SetValue (PointerObjectIndex value)
PointerObjectIndex	GetPointer () const noexcept
void	SetPointer (PointerObjectIndex pointer)
bool	ApplyDirectly (PointerObjectSet &set)

Private Attributes
PointerObjectIndex	Value_
PointerObjectIndex	Pointer_

Detailed Description

A constraint of the form: P(value) supseteq *P(pointer) Written out as for all x in P(pointer), P(value) supseteq P(x) Which corresponds to value = *pointer

Definition at line 673 of file PointerObjectSet.hpp.

Constructor & Destructor Documentation

LoadConstraint()

jlm::llvm::aa::LoadConstraint::LoadConstraint ( PointerObjectIndex  value, PointerObjectIndex  pointer  )

inline

Definition at line 679 of file PointerObjectSet.hpp.

Member Function Documentation

ApplyDirectly()

bool jlm::llvm::aa::LoadConstraint::ApplyDirectly

(

PointerObjectSet &

set

)

Apply this constraint to set once.

Returns

true if this operation modified any PointerObjects or points-to-sets

Definition at line 583 of file PointerObjectSet.cpp.

GetPointer()

PointerObjectIndex jlm::llvm::aa::LoadConstraint::GetPointer ( ) const

inlinenoexcept

Returns

the PointerObject representing the pointer loaded by the load instruction

Definition at line 706 of file PointerObjectSet.hpp.

GetValue()

PointerObjectIndex jlm::llvm::aa::LoadConstraint::GetValue ( ) const

inlinenoexcept

Returns

the PointerObject representing the value returned by the load instruction

Definition at line 688 of file PointerObjectSet.hpp.

SetPointer()

void jlm::llvm::aa::LoadConstraint::SetPointer ( PointerObjectIndex  pointer )

inline

Parameters

pointer

the new PointerObject representing the pointer loaded by the load instruction.

Definition at line 715 of file PointerObjectSet.hpp.

SetValue()

void jlm::llvm::aa::LoadConstraint::SetValue ( PointerObjectIndex  value )

inline

Parameters

value

the new PointerObject representing the value returned by the load instruction

Definition at line 697 of file PointerObjectSet.hpp.

Member Data Documentation

Pointer_

PointerObjectIndex jlm::llvm::aa::LoadConstraint::Pointer_

private

Definition at line 676 of file PointerObjectSet.hpp.

Value_

PointerObjectIndex jlm::llvm::aa::LoadConstraint::Value_

private

Definition at line 675 of file PointerObjectSet.hpp.

---

The documentation for this class was generated from the following files:

• jlm/llvm/opt/alias-analyses/PointerObjectSet.hpp
• jlm/llvm/opt/alias-analyses/PointerObjectSet.cpp