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 ModRefSet &modRefSet)
std::vector< StateMap::MemoryNodeStatePair * >	GetExistingStates (const rvsdg::Region &region, const ModRefSet &modRefSet) const
std::vector< StateMap::MemoryNodeStatePair * >	GetExistingStates (const rvsdg::SimpleNode &node) const
const ModRefSet &	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 472 of file MemoryStateEncoder.cpp.

Constructor & Destructor Documentation

~RegionalizedStateMap()

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

inline

Definition at line 475 of file MemoryStateEncoder.cpp.

RegionalizedStateMap() [1/3]

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

inlineexplicit

Definition at line 481 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 ModRefSet &  modRefSet  ) 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.
modRefSet	the set of memory nodes that is being looked up.

Returns

the MemoryNode/State pairs that exist in the region

Definition at line 536 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 542 of file MemoryStateEncoder.cpp.

GetSimpleNodeModRef()

const ModRefSet & jlm::llvm::aa::RegionalizedStateMap::GetSimpleNodeModRef ( const rvsdg::SimpleNode &  node ) const

inline

Definition at line 548 of file MemoryStateEncoder.cpp.

GetState()

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

inline

Definition at line 514 of file MemoryStateEncoder.cpp.

GetStateMap()

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

inlineprivatenoexcept

Definition at line 569 of file MemoryStateEncoder.cpp.

GetStates()

std::vector< StateMap::MemoryNodeStatePair * > jlm::llvm::aa::RegionalizedStateMap::GetStates ( const rvsdg::Region &  region, const ModRefSet &  modRefSet  )

inline

Definition at line 520 of file MemoryStateEncoder.cpp.

HasState()

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

inline

Definition at line 508 of file MemoryStateEncoder.cpp.

InsertState()

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

inline

Definition at line 496 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 561 of file MemoryStateEncoder.cpp.

PushRegion()

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

inline

Definition at line 554 of file MemoryStateEncoder.cpp.

TryGetState()

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

inline

Definition at line 502 of file MemoryStateEncoder.cpp.

Member Data Documentation

ModRefSummary_

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

private

Definition at line 575 of file MemoryStateEncoder.cpp.

StateMaps_

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

private

Definition at line 577 of file MemoryStateEncoder.cpp.

---

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

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