jlm::llvm::aa::StateMap Class Reference

Hash map for mapping points-to graph memory nodes to RVSDG memory states. More...

Classes
class	MemoryNodeStatePair

Public Member Functions
	StateMap ()=default
	StateMap (const StateMap &)=delete
	StateMap (StateMap &&)=delete
StateMap &	operator= (const StateMap &)=delete
StateMap &	operator= (StateMap &&)=delete
MemoryNodeStatePair *	TryGetState (PointsToGraph::NodeIndex memoryNode) noexcept
const MemoryNodeStatePair *	TryGetState (PointsToGraph::NodeIndex memoryNode) const noexcept
bool	HasState (PointsToGraph::NodeIndex memoryNode) const noexcept
MemoryNodeStatePair *	GetState (PointsToGraph::NodeIndex memoryNode)
std::vector< MemoryNodeStatePair * >	GetStates (const util::HashSet< PointsToGraph::NodeIndex > &memoryNodes)
std::vector< MemoryNodeStatePair * >	GetExistingStates (const util::HashSet< PointsToGraph::NodeIndex > &memoryNodes)
MemoryNodeStatePair *	InsertState (PointsToGraph::NodeIndex memoryNode, rvsdg::Output &state)

Static Public Member Functions
static std::unique_ptr< StateMap >	Create ()

Private Attributes
std::unordered_map< PointsToGraph::NodeIndex, MemoryNodeStatePair >	states_

Detailed Description

Hash map for mapping points-to graph memory nodes to RVSDG memory states.

Definition at line 246 of file MemoryStateEncoder.cpp.

Constructor & Destructor Documentation

StateMap() [1/3]

jlm::llvm::aa::StateMap::StateMap ( )

default

StateMap() [2/3]

jlm::llvm::aa::StateMap::StateMap ( const StateMap &  )

delete

StateMap() [3/3]

jlm::llvm::aa::StateMap::StateMap ( StateMap &&  )

delete

Member Function Documentation

Create()

static std::unique_ptr<StateMap> jlm::llvm::aa::StateMap::Create ( )

inlinestatic

Definition at line 414 of file MemoryStateEncoder.cpp.

GetExistingStates()

std::vector<MemoryNodeStatePair *> jlm::llvm::aa::StateMap::GetExistingStates ( const util::HashSet< PointsToGraph::NodeIndex > &  memoryNodes )

inline

Gets MemoryNodeStatePairs for each of the given memory nodes, unless there is no memory state in the region representing the memory node.

Parameters

memoryNodes

the set of memory nodes to retrieve states for.

Returns

The MemoryNodeStatePairs for each given memory nodes, if one exists.

See also

RegionalizedStateMap::GetExistingStates()

Definition at line 385 of file MemoryStateEncoder.cpp.

GetState()

MemoryNodeStatePair* jlm::llvm::aa::StateMap::GetState ( PointsToGraph::NodeIndex  memoryNode )

inline

Definition at line 358 of file MemoryStateEncoder.cpp.

GetStates()

std::vector<MemoryNodeStatePair *> jlm::llvm::aa::StateMap::GetStates ( const util::HashSet< PointsToGraph::NodeIndex > &  memoryNodes )

inline

Definition at line 366 of file MemoryStateEncoder.cpp.

HasState()

bool jlm::llvm::aa::StateMap::HasState ( PointsToGraph::NodeIndex  memoryNode ) const

inlinenoexcept

Definition at line 352 of file MemoryStateEncoder.cpp.

InsertState()

MemoryNodeStatePair* jlm::llvm::aa::StateMap::InsertState ( PointsToGraph::NodeIndex  memoryNode, rvsdg::Output &  state  )

inline

Creates a new memory node / memory state pair in the region. The memory node must not have an already associated state.

Parameters

memoryNode	the memory node
state	the output that produces the memory state associated with the memory node

Returns

pointer to the new pair

Definition at line 405 of file MemoryStateEncoder.cpp.

operator=() [1/2]

StateMap& jlm::llvm::aa::StateMap::operator= ( const StateMap &  )

delete

operator=() [2/2]

StateMap& jlm::llvm::aa::StateMap::operator= ( StateMap &&  )

delete

TryGetState() [1/2]

const MemoryNodeStatePair* jlm::llvm::aa::StateMap::TryGetState ( PointsToGraph::NodeIndex  memoryNode ) const

inlinenoexcept

Definition at line 346 of file MemoryStateEncoder.cpp.

TryGetState() [2/2]

MemoryNodeStatePair* jlm::llvm::aa::StateMap::TryGetState ( PointsToGraph::NodeIndex  memoryNode )

inlinenoexcept

Definition at line 337 of file MemoryStateEncoder.cpp.

Member Data Documentation

states_

std::unordered_map<PointsToGraph::NodeIndex, MemoryNodeStatePair> jlm::llvm::aa::StateMap::states_

private

Definition at line 422 of file MemoryStateEncoder.cpp.

---

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

• jlm/llvm/opt/alias-analyses/MemoryStateEncoder.cpp