jlm::llvm::MemoryStateJoinOperation Class Reference

#include <MemoryStateOperations.hpp>

Inheritance diagram for jlm::llvm::MemoryStateJoinOperation:

Collaboration diagram for jlm::llvm::MemoryStateJoinOperation:

Public Member Functions
	~MemoryStateJoinOperation () noexcept override
	MemoryStateJoinOperation (const size_t numOperands)
bool	operator== (const Operation &other) const noexcept override
std::string	debug_string () const override
std::unique_ptr< Operation >	copy () const override
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 std::optional< std::vector< rvsdg::Output * > >	NormalizeSingleOperand (const MemoryStateJoinOperation &operation, const std::vector< rvsdg::Output * > &operands)
	Removes the MemoryStateJoinOperation as it has only a single operand, i.e., no joining is performed. More...
static std::optional< std::vector< rvsdg::Output * > >	NormalizeDuplicateOperands (const MemoryStateJoinOperation &operation, const std::vector< rvsdg::Output * > &operands)
	Removes duplicated operands from the MemoryStateJoinOperation. More...
static std::optional< std::vector< rvsdg::Output * > >	NormalizeNestedJoins (const MemoryStateJoinOperation &operation, const std::vector< rvsdg::Output * > &operands)
	Fuses nested MemoryStateJoinOperation nodes into a single node. More...
static rvsdg::SimpleNode &	CreateNode (const std::vector< rvsdg::Output * > &operands)

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

Detailed Description

A memory state join operation takes multiple states that represent the same abstract memory location as input and joins them together to a single output state.

The operation has no equivalent LLVM instruction.

Definition at line 136 of file MemoryStateOperations.hpp.

Constructor & Destructor Documentation

~MemoryStateJoinOperation()

jlm::llvm::MemoryStateJoinOperation::~MemoryStateJoinOperation ( )

overridedefaultnoexcept

MemoryStateJoinOperation()

jlm::llvm::MemoryStateJoinOperation::MemoryStateJoinOperation ( const size_t  numOperands )

inlineexplicit

Definition at line 141 of file MemoryStateOperations.hpp.

Member Function Documentation

copy()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 150 of file MemoryStateOperations.cpp.

CreateNode()

static rvsdg::SimpleNode& jlm::llvm::MemoryStateJoinOperation::CreateNode ( const std::vector< rvsdg::Output * > &  operands )

inlinestatic

Definition at line 194 of file MemoryStateOperations.hpp.

debug_string()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 144 of file MemoryStateOperations.cpp.

NormalizeDuplicateOperands()

std::optional< std::vector< rvsdg::Output * > > jlm::llvm::MemoryStateJoinOperation::NormalizeDuplicateOperands ( const MemoryStateJoinOperation &  operation, const std::vector< rvsdg::Output * > &  operands  )

static

Removes duplicated operands from the MemoryStateJoinOperation.

so = MemoryStateJoinOperation si0 si0 si1 si1 si2 => so = MemoryStateJoinOperation si0 si1 si2

Definition at line 167 of file MemoryStateOperations.cpp.

NormalizeNestedJoins()

std::optional< std::vector< rvsdg::Output * > > jlm::llvm::MemoryStateJoinOperation::NormalizeNestedJoins ( const MemoryStateJoinOperation &  operation, const std::vector< rvsdg::Output * > &  operands  )

static

Fuses nested MemoryStateJoinOperation nodes into a single node.

o1 = MemoryStateJoinOperation i1 i2 o2 = MemoryStateJoinOperation o1 i3 => o2 = MemoryStateJoinOperation i1 i2 i3

Definition at line 195 of file MemoryStateOperations.cpp.

NormalizeSingleOperand()

std::optional< std::vector< rvsdg::Output * > > jlm::llvm::MemoryStateJoinOperation::NormalizeSingleOperand ( const MemoryStateJoinOperation &  operation, const std::vector< rvsdg::Output * > &  operands  )

static

Removes the MemoryStateJoinOperation as it has only a single operand, i.e., no joining is performed.

so = MemoryStateJoinOperation si ... = AnyOperation so => ... = AnyOperation si

Definition at line 156 of file MemoryStateOperations.cpp.

operator==()

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

overridenoexcept

Definition at line 137 of file MemoryStateOperations.cpp.

---

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

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