Jlm
Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | List of all members
jlm::llvm::aa::StateMap::MemoryNodeStatePair Class Referencefinal
Collaboration diagram for jlm::llvm::aa::StateMap::MemoryNodeStatePair:
Collaboration graph
[legend]

Public Member Functions

PointsToGraph::NodeIndex MemoryNode () const noexcept
 
rvsdg::OutputState () 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::OutputState_
 

Detailed Description

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

Definition at line 247 of file MemoryStateEncoder.cpp.

Constructor & Destructor Documentation

◆ MemoryNodeStatePair()

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

Definition at line 251 of file MemoryStateEncoder.cpp.

Member Function Documentation

◆ MemoryNode()

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

Definition at line 260 of file MemoryStateEncoder.cpp.

◆ ReplaceState()

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

Definition at line 272 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 291 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 281 of file MemoryStateEncoder.cpp.

◆ State()

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

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

Member Data Documentation

◆ MemoryNode_

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

Definition at line 315 of file MemoryStateEncoder.cpp.

◆ State_

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

Definition at line 316 of file MemoryStateEncoder.cpp.

◆ StateMap

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

Definition at line 249 of file MemoryStateEncoder.cpp.


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