#include <MemoryStateOperations.hpp>

Inheritance diagram for jlm::llvm::CallExitMemoryStateSplitOperation:

[legend]

Collaboration diagram for jlm::llvm::CallExitMemoryStateSplitOperation:

[legend]

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 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 563 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 607 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 632 of file MemoryStateOperations.cpp.

◆ CreateNode()

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

inlinestatic

Definition at line 619 of file MemoryStateOperations.hpp.

◆ debug_string()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 626 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 583 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 660 of file MemoryStateOperations.cpp.

◆ operator==()

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

overridenoexcept

Definition at line 619 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 638 of file MemoryStateOperations.cpp.

Member Data Documentation

◆ memoryNodeIdToIndexMap_

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

private

Definition at line 627 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

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members