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

Collaboration diagram for jlm::llvm::aa::StateMap::MemoryNodeStatePair:

Public Member Functions
PointsToGraph::NodeIndex	MemoryNode () const noexcept
rvsdg::Output &	State () const noexcept
void	ReplaceState (rvsdg::Output &state) noexcept

Static Public Member Functions
static void	ReplaceStates (const std::vector< MemoryNodeStatePair * > &memoryNodeStatePairs, const std::vector< rvsdg::Output * > &states)
static void	ReplaceStates (const std::vector< MemoryNodeStatePair * > &memoryNodeStatePairs, const rvsdg::Node::OutputIteratorRange &states)
static std::vector< rvsdg::Output * >	States (const std::vector< MemoryNodeStatePair * > &memoryNodeStatePairs)

Private Member Functions
	MemoryNodeStatePair (PointsToGraph::NodeIndex memoryNode, rvsdg::Output &state)

Private Attributes
friend	StateMap
PointsToGraph::NodeIndex	MemoryNode_
rvsdg::Output *	State_

Detailed Description

Represents the pairing of a points-to graph's memory node and a memory state.

Definition at line 252 of file MemoryStateEncoder.cpp.

Constructor & Destructor Documentation

MemoryNodeStatePair()

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

inlineprivate

Definition at line 256 of file MemoryStateEncoder.cpp.

Member Function Documentation

MemoryNode()

PointsToGraph::NodeIndex jlm::llvm::aa::StateMap::MemoryNodeStatePair::MemoryNode ( ) const

inlinenoexcept

Definition at line 265 of file MemoryStateEncoder.cpp.

ReplaceState()

void jlm::llvm::aa::StateMap::MemoryNodeStatePair::ReplaceState ( rvsdg::Output &  state )

inlinenoexcept

Definition at line 277 of file MemoryStateEncoder.cpp.

ReplaceStates() [1/2]

static void jlm::llvm::aa::StateMap::MemoryNodeStatePair::ReplaceStates ( const std::vector< MemoryNodeStatePair * > &  memoryNodeStatePairs, const rvsdg::Node::OutputIteratorRange &  states  )

inlinestatic

Definition at line 296 of file MemoryStateEncoder.cpp.

ReplaceStates() [2/2]

static void jlm::llvm::aa::StateMap::MemoryNodeStatePair::ReplaceStates ( const std::vector< MemoryNodeStatePair * > &  memoryNodeStatePairs, const std::vector< rvsdg::Output * > &  states  )

inlinestatic

Definition at line 286 of file MemoryStateEncoder.cpp.

State()

rvsdg::Output& jlm::llvm::aa::StateMap::MemoryNodeStatePair::State ( ) const

inlinenoexcept

Definition at line 271 of file MemoryStateEncoder.cpp.

States()

static std::vector<rvsdg::Output *> jlm::llvm::aa::StateMap::MemoryNodeStatePair::States ( const std::vector< MemoryNodeStatePair * > &  memoryNodeStatePairs )

inlinestatic

Definition at line 310 of file MemoryStateEncoder.cpp.

Member Data Documentation

MemoryNode_

PointsToGraph::NodeIndex jlm::llvm::aa::StateMap::MemoryNodeStatePair::MemoryNode_

private

Definition at line 320 of file MemoryStateEncoder.cpp.

State_

rvsdg::Output* jlm::llvm::aa::StateMap::MemoryNodeStatePair::State_

private

Definition at line 321 of file MemoryStateEncoder.cpp.

StateMap

friend jlm::llvm::aa::StateMap::MemoryNodeStatePair::StateMap

private

Definition at line 254 of file MemoryStateEncoder.cpp.

---

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

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