jlm::llvm::aa::StoreConstraint Class Reference

#include <PointerObjectSet.hpp>

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

Private Attributes
PointerObjectIndex	Pointer_
PointerObjectIndex	Value_

Detailed Description

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

Definition at line 611 of file PointerObjectSet.hpp.

Constructor & Destructor Documentation

StoreConstraint()

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

inline

Definition at line 617 of file PointerObjectSet.hpp.

Member Function Documentation

ApplyDirectly()

bool jlm::llvm::aa::StoreConstraint::ApplyDirectly

(

PointerObjectSet &

set

)

Apply this constraint to set once.

Returns

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

Definition at line 567 of file PointerObjectSet.cpp.

GetPointer()

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

inlinenoexcept

Returns

the PointerObject representing the pointer written to by the store instruction

Definition at line 644 of file PointerObjectSet.hpp.

GetValue()

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

inlinenoexcept

Returns

the PointerObject representing the value written by the store instruction

Definition at line 626 of file PointerObjectSet.hpp.

SetPointer()

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

inline

Parameters

pointer

the new PointerObject representing the pointer written to by the store.

Definition at line 653 of file PointerObjectSet.hpp.

SetValue()

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

inline

Parameters

value

the new PointerObject representing the value written by the store instruction

Definition at line 635 of file PointerObjectSet.hpp.

Member Data Documentation

Pointer_

PointerObjectIndex jlm::llvm::aa::StoreConstraint::Pointer_

private

Definition at line 613 of file PointerObjectSet.hpp.

Value_

PointerObjectIndex jlm::llvm::aa::StoreConstraint::Value_

private

Definition at line 614 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