Jlm
Public Member Functions | Static Public Member Functions | Private Attributes | List of all members
jlm::llvm::CallEntryMemoryStateMergeOperation Class Referencefinal

#include <MemoryStateOperations.hpp>

Inheritance diagram for jlm::llvm::CallEntryMemoryStateMergeOperation:
Inheritance graph
[legend]
Collaboration diagram for jlm::llvm::CallEntryMemoryStateMergeOperation:
Collaboration graph
[legend]

Public Member Functions

 ~CallEntryMemoryStateMergeOperation () noexcept override
 
 CallEntryMemoryStateMergeOperation (const std::vector< MemoryNodeId > &memoryNodeIds)
 
bool operator== (const Operation &other) const noexcept override
 
std::string debug_string () const override
 
std::unique_ptr< Operation > copy () const override
 
std::vector< MemoryNodeIdgetMemoryNodeIds () const noexcept
 
- Public Member Functions inherited from jlm::rvsdg::SimpleOperation
 ~SimpleOperation () noexcept override
 
 SimpleOperation (std::vector< std::shared_ptr< const jlm::rvsdg::Type >> operands, std::vector< std::shared_ptr< const jlm::rvsdg::Type >> results)
 
size_t narguments () const noexcept
 
const std::shared_ptr< const rvsdg::Type > & argument (size_t index) const noexcept
 
size_t nresults () const noexcept
 
const std::shared_ptr< const rvsdg::Type > & result (size_t index) const noexcept
 
- Public Member Functions inherited from jlm::rvsdg::Operation
virtual ~Operation () noexcept
 
virtual bool operator== (const Operation &other) const noexcept=0
 
bool operator!= (const Operation &other) const noexcept
 

Static Public Member Functions

static rvsdg::InputtryMapMemoryNodeIdToInput (const rvsdg::SimpleNode &node, MemoryNodeId memoryNodeId)
 
static rvsdg::SimpleNodeCreateNode (rvsdg::Region &region, const std::vector< rvsdg::Output * > &operands, std::vector< MemoryNodeId > memoryNodeIds)
 

Private Attributes

util::BijectiveMap< MemoryNodeId, size_t > MemoryNodeIdToIndex_ {}
 

Additional Inherited Members

- Protected Member Functions inherited from jlm::llvm::MemoryStateOperation
 MemoryStateOperation (size_t numOperands, size_t numResults)
 

Detailed Description

A call entry memory state merge operation takes multiple states as input and merges them together to a single output state. In contrast to the MemoryStateMergeOperation, this operation is allowed to have zero input states. The operation's output is required to be connected to the memory state argument of a call.

The operation has no equivalent LLVM instruction.

See also
CallExitMemoryStateSplitOperation

Definition at line 509 of file MemoryStateOperations.hpp.

Constructor & Destructor Documentation

◆ ~CallEntryMemoryStateMergeOperation()

jlm::llvm::CallEntryMemoryStateMergeOperation::~CallEntryMemoryStateMergeOperation ( )
overridedefaultnoexcept

◆ CallEntryMemoryStateMergeOperation()

jlm::llvm::CallEntryMemoryStateMergeOperation::CallEntryMemoryStateMergeOperation ( const std::vector< MemoryNodeId > &  memoryNodeIds)
explicit

Definition at line 603 of file MemoryStateOperations.cpp.

Member Function Documentation

◆ copy()

std::unique_ptr< rvsdg::Operation > jlm::llvm::CallEntryMemoryStateMergeOperation::copy ( ) const
overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 628 of file MemoryStateOperations.cpp.

◆ CreateNode()

static rvsdg::SimpleNode& jlm::llvm::CallEntryMemoryStateMergeOperation::CreateNode ( rvsdg::Region region,
const std::vector< rvsdg::Output * > &  operands,
std::vector< MemoryNodeId memoryNodeIds 
)
inlinestatic

Definition at line 553 of file MemoryStateOperations.hpp.

◆ debug_string()

std::string jlm::llvm::CallEntryMemoryStateMergeOperation::debug_string ( ) const
overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 622 of file MemoryStateOperations.cpp.

◆ getMemoryNodeIds()

std::vector<MemoryNodeId> jlm::llvm::CallEntryMemoryStateMergeOperation::getMemoryNodeIds ( ) const
inlinenoexcept
Returns
The MemoryNodeId for each of the operation's results.

Definition at line 529 of file MemoryStateOperations.hpp.

◆ operator==()

bool jlm::llvm::CallEntryMemoryStateMergeOperation::operator== ( const Operation &  other) const
overridenoexcept

Definition at line 615 of file MemoryStateOperations.cpp.

◆ tryMapMemoryNodeIdToInput()

rvsdg::Input * jlm::llvm::CallEntryMemoryStateMergeOperation::tryMapMemoryNodeIdToInput ( const rvsdg::SimpleNode node,
MemoryNodeId  memoryNodeId 
)
static

Maps a memory node identifier to the respective input of a CallEntryMemoryStateMergeOperation node.

Parameters
nodeA CallEntryMemoryStateMergeOperation node.
memoryNodeIdA memory node identifier.
Returns
The respective input if the memory node identifier maps to one, otherwise nullptr.

Definition at line 634 of file MemoryStateOperations.cpp.

Member Data Documentation

◆ MemoryNodeIdToIndex_

util::BijectiveMap<MemoryNodeId, size_t> jlm::llvm::CallEntryMemoryStateMergeOperation::MemoryNodeIdToIndex_ {}
private

Definition at line 567 of file MemoryStateOperations.hpp.


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