jlm::llvm::aa::RegionalizedStateMap Class Reference

Hash map for mapping Rvsdg regions to StateMap class instances. More...

Collaboration diagram for jlm::llvm::aa::RegionalizedStateMap:

Public Member Functions
	~RegionalizedStateMap ()
	RegionalizedStateMap (const ModRefSummary &modRefSummary)
	RegionalizedStateMap (const RegionalizedStateMap &)=delete
	RegionalizedStateMap (RegionalizedStateMap &&)=delete
RegionalizedStateMap &	operator= (const RegionalizedStateMap &)=delete
RegionalizedStateMap &	operator= (RegionalizedStateMap &&)=delete
StateMap::MemoryNodeStatePair *	InsertState (PointsToGraph::NodeIndex memoryNode, rvsdg::Output &state)
StateMap::MemoryNodeStatePair *	TryGetState (const rvsdg::Region &region, PointsToGraph::NodeIndex memoryNode) const
bool	HasState (const rvsdg::Region &region, PointsToGraph::NodeIndex memoryNode) const
StateMap::MemoryNodeStatePair *	GetState (const rvsdg::Region &region, PointsToGraph::NodeIndex memoryNode)
std::vector< StateMap::MemoryNodeStatePair * >	GetStates (const rvsdg::Region &region, const util::HashSet< PointsToGraph::NodeIndex > &memoryNodes)
std::vector< StateMap::MemoryNodeStatePair * >	GetExistingStates (const rvsdg::Region &region, const util::HashSet< PointsToGraph::NodeIndex > &memoryNodes) const
std::vector< StateMap::MemoryNodeStatePair * >	GetExistingStates (const rvsdg::SimpleNode &node) const
const util::HashSet< PointsToGraph::NodeIndex > &	GetSimpleNodeModRef (const rvsdg::SimpleNode &node) const
void	PushRegion (const rvsdg::Region &region)
void	PopRegion (const rvsdg::Region &region)

Private Member Functions
StateMap &	GetStateMap (const rvsdg::Region &region) const noexcept

Private Attributes
const ModRefSummary &	ModRefSummary_
std::unordered_map< const rvsdg::Region *, std::unique_ptr< StateMap > >	StateMaps_

Detailed Description

Hash map for mapping Rvsdg regions to StateMap class instances.

Definition at line 427 of file MemoryStateEncoder.cpp.

Constructor & Destructor Documentation

~RegionalizedStateMap()

jlm::llvm::aa::RegionalizedStateMap::~RegionalizedStateMap ( )

inline

Definition at line 430 of file MemoryStateEncoder.cpp.

RegionalizedStateMap() [1/3]

jlm::llvm::aa::RegionalizedStateMap::RegionalizedStateMap ( const ModRefSummary &  modRefSummary )

inlineexplicit

Definition at line 436 of file MemoryStateEncoder.cpp.

RegionalizedStateMap() [2/3]

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

delete

RegionalizedStateMap() [3/3]

jlm::llvm::aa::RegionalizedStateMap::RegionalizedStateMap ( RegionalizedStateMap &&  )

delete

Member Function Documentation

GetExistingStates() [1/2]

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

inline

Gets the MemoryNodeStatePair for each provided memory node, in the given region. If a memory node is not yet associated with a state, it is skipped. This is useful in situations where an alloca node is located lower than one of its "users". To avoid cycles in the graph, the alloca's state edge must be omitted. This is also safe to do, as there is no way the "user" is actually using the alloca.

Parameters

region	the region in question.
memoryNodes	the set of memory nodes that is being looked up.

Returns

the MemoryNode/State pairs that exist in the region

Definition at line 493 of file MemoryStateEncoder.cpp.

GetExistingStates() [2/2]

std::vector<StateMap::MemoryNodeStatePair *> jlm::llvm::aa::RegionalizedStateMap::GetExistingStates ( const rvsdg::SimpleNode &  node ) const

inline

Definition at line 501 of file MemoryStateEncoder.cpp.

GetSimpleNodeModRef()

const util::HashSet<PointsToGraph::NodeIndex>& jlm::llvm::aa::RegionalizedStateMap::GetSimpleNodeModRef ( const rvsdg::SimpleNode &  node ) const

inline

Definition at line 507 of file MemoryStateEncoder.cpp.

GetState()

StateMap::MemoryNodeStatePair* jlm::llvm::aa::RegionalizedStateMap::GetState ( const rvsdg::Region &  region, PointsToGraph::NodeIndex  memoryNode  )

inline

Definition at line 469 of file MemoryStateEncoder.cpp.

GetStateMap()

StateMap& jlm::llvm::aa::RegionalizedStateMap::GetStateMap ( const rvsdg::Region &  region ) const

inlineprivatenoexcept

Definition at line 528 of file MemoryStateEncoder.cpp.

GetStates()

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

inline

Definition at line 475 of file MemoryStateEncoder.cpp.

HasState()

bool jlm::llvm::aa::RegionalizedStateMap::HasState ( const rvsdg::Region &  region, PointsToGraph::NodeIndex  memoryNode  ) const

inline

Definition at line 463 of file MemoryStateEncoder.cpp.

InsertState()

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

inline

Definition at line 451 of file MemoryStateEncoder.cpp.

operator=() [1/2]

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

delete

operator=() [2/2]

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

delete

PopRegion()

void jlm::llvm::aa::RegionalizedStateMap::PopRegion ( const rvsdg::Region &  region )

inline

Definition at line 520 of file MemoryStateEncoder.cpp.

PushRegion()

void jlm::llvm::aa::RegionalizedStateMap::PushRegion ( const rvsdg::Region &  region )

inline

Definition at line 513 of file MemoryStateEncoder.cpp.

TryGetState()

StateMap::MemoryNodeStatePair* jlm::llvm::aa::RegionalizedStateMap::TryGetState ( const rvsdg::Region &  region, PointsToGraph::NodeIndex  memoryNode  ) const

inline

Definition at line 457 of file MemoryStateEncoder.cpp.

Member Data Documentation

ModRefSummary_

const ModRefSummary& jlm::llvm::aa::RegionalizedStateMap::ModRefSummary_

private

Definition at line 534 of file MemoryStateEncoder.cpp.

StateMaps_

std::unordered_map<const rvsdg::Region *, std::unique_ptr<StateMap> > jlm::llvm::aa::RegionalizedStateMap::StateMaps_

private

Definition at line 536 of file MemoryStateEncoder.cpp.

---

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

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