jlm::llvm::CallExitMemoryStateSplitOperation Class Reference

#include <MemoryStateOperations.hpp>

Inheritance diagram for jlm::llvm::CallExitMemoryStateSplitOperation:

Collaboration diagram for jlm::llvm::CallExitMemoryStateSplitOperation:

Public Member Functions
	~CallExitMemoryStateSplitOperation () noexcept override
	CallExitMemoryStateSplitOperation (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< MemoryNodeId >	getMemoryNodeIds () 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::Output *	tryMapMemoryNodeIdToOutput (const rvsdg::SimpleNode &node, MemoryNodeId memoryNodeId)
static MemoryNodeId	mapOutputToMemoryNodeId (const rvsdg::Output &output)
static std::optional< std::vector< rvsdg::Output * > >	NormalizeLambdaExitMemoryStateMerge (const CallExitMemoryStateSplitOperation &callExitSplitOperation, const std::vector< rvsdg::Output * > &operands)
static rvsdg::SimpleNode &	CreateNode (rvsdg::Output &operand, std::vector< MemoryNodeId > memoryNodeIds)

Private Attributes
util::BijectiveMap< MemoryNodeId, size_t >	memoryNodeIdToIndexMap_ {}

Additional Inherited Members
Protected Member Functions inherited from jlm::llvm::MemoryStateOperation
	MemoryStateOperation (size_t numOperands, size_t numResults)

Detailed Description

A call exit memory state split operation takes a single input state and splits it into multiple output states. In contrast to the MemoryStateSplitOperation, this operation is allowed to have zero output states. The operation's input is required to be connected to the memory state result of a call.

The operation has no equivalent LLVM instruction.

See also

CallEntryMemoryStateMergeOperation

Definition at line 580 of file MemoryStateOperations.hpp.

Constructor & Destructor Documentation

~CallExitMemoryStateSplitOperation()

jlm::llvm::CallExitMemoryStateSplitOperation::~CallExitMemoryStateSplitOperation ( )

overridedefaultnoexcept

CallExitMemoryStateSplitOperation()

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

explicit

Definition at line 657 of file MemoryStateOperations.cpp.

Member Function Documentation

copy()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 682 of file MemoryStateOperations.cpp.

CreateNode()

static rvsdg::SimpleNode& jlm::llvm::CallExitMemoryStateSplitOperation::CreateNode ( rvsdg::Output &  operand, std::vector< MemoryNodeId >  memoryNodeIds  )

inlinestatic

Definition at line 653 of file MemoryStateOperations.hpp.

debug_string()

std::string jlm::llvm::CallExitMemoryStateSplitOperation::debug_string ( ) const

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 676 of file MemoryStateOperations.cpp.

getMemoryNodeIds()

std::vector<MemoryNodeId> jlm::llvm::CallExitMemoryStateSplitOperation::getMemoryNodeIds ( ) const

inlinenoexcept

Returns

The MemoryNodeId for each of the operation's results.

Definition at line 600 of file MemoryStateOperations.hpp.

mapOutputToMemoryNodeId()

MemoryNodeId jlm::llvm::CallExitMemoryStateSplitOperation::mapOutputToMemoryNodeId ( const rvsdg::Output &  output )

static

Maps the output of a CallExitMemoryStateSplitOperation node to the respective MemoryNodeId.

Parameters

output

an output of a CallExitMemoryStateSplitOperation node.

Returns

The MemoryNodeId.

Precondition

The output is assumed to belong to a CallExitMemoryStateSplitOperation node.

Definition at line 710 of file MemoryStateOperations.cpp.

NormalizeLambdaExitMemoryStateMerge()

std::optional< std::vector< rvsdg::Output * > > jlm::llvm::CallExitMemoryStateSplitOperation::NormalizeLambdaExitMemoryStateMerge ( const CallExitMemoryStateSplitOperation &  callExitSplitOperation, const std::vector< rvsdg::Output * > &  operands  )

static

Perform the following transformation:

oN = LambdaExitMemoryStateMergeOperation o0 ... oK oX ... oZ = CallExitMemoryStateSplitOperation oN ... = AnyOp oX ... oZ => ... = AnyOp o0 ... oK

This transformation can occur after function inlining, i.e., a CallOperation has been replaced with the body of its respective rvsdg::LambdaNode.

Definition at line 720 of file MemoryStateOperations.cpp.

operator==()

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

overridenoexcept

Definition at line 669 of file MemoryStateOperations.cpp.

tryMapMemoryNodeIdToOutput()

rvsdg::Output * jlm::llvm::CallExitMemoryStateSplitOperation::tryMapMemoryNodeIdToOutput ( const rvsdg::SimpleNode &  node, MemoryNodeId  memoryNodeId  )

static

Maps a memory node identifier to the respective output of a CallExitMemoryStateSplitOperation node.

Parameters

node	A CallExitMemoryStateSplitOperation node.
memoryNodeId	A memory node identifier.

Returns

The respective output if the memory node identifier maps to one, otherwise nullptr.

Definition at line 688 of file MemoryStateOperations.cpp.

Member Data Documentation

memoryNodeIdToIndexMap_

util::BijectiveMap<MemoryNodeId, size_t> jlm::llvm::CallExitMemoryStateSplitOperation::memoryNodeIdToIndexMap_ {}

private

Definition at line 661 of file MemoryStateOperations.hpp.

---

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

• jlm/llvm/ir/operators/MemoryStateOperations.hpp
• jlm/llvm/ir/operators/MemoryStateOperations.cpp