#include <IntegerOperations.hpp>

Inheritance diagram for jlm::llvm::IntegerEqOperation:

[legend]

Collaboration diagram for jlm::llvm::IntegerEqOperation:

[legend]

Public Member Functions
	~IntegerEqOperation () noexcept override

	IntegerEqOperation (const std::size_t numBits)

bool	operator== (const Operation &other) const noexcept override

std::string	debug_string () const override

std::unique_ptr< Operation >	copy () const override

rvsdg::binop_reduction_path_t	can_reduce_operand_pair (const rvsdg::Output op1, const rvsdg::Output op2) const noexcept override

rvsdg::Output *	reduce_operand_pair (rvsdg::binop_reduction_path_t path, rvsdg::Output op1, rvsdg::Output op2) const override

enum flags	flags () const noexcept override

Public Member Functions inherited from jlm::llvm::IntegerBinaryOperation
	~IntegerBinaryOperation () noexcept override

	IntegerBinaryOperation (const std::size_t numArgumentBits, const std::size_t numResultBits) noexcept

const rvsdg::BitType &	Type () const noexcept

Public Member Functions inherited from jlm::rvsdg::BinaryOperation
	~BinaryOperation () noexcept override

	BinaryOperation (const std::vector< std::shared_ptr< const jlm::rvsdg::Type > > operands, std::shared_ptr< const jlm::rvsdg::Type > result)

bool	is_associative () const noexcept

bool	is_commutative () 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::Node &	createNode (const size_t numBits, rvsdg::Output &operand1, rvsdg::Output &operand2)

static std::optional< std::vector< rvsdg::Output * > >	foldConstants (const IntegerEqOperation &operation, const std::vector< rvsdg::Output * > &operands)

static std::optional< std::vector< rvsdg::Output * > >	normalizeIdenticalOperands (const IntegerEqOperation &operation, const std::vector< rvsdg::Output * > &operands)

Additional Inherited Members
Public Types inherited from jlm::rvsdg::BinaryOperation
enum class	flags { none = 0 , associative = 1 , commutative = 2 }

Detailed Description

This operation is equivalent to LLVM's 'icmp' instruction with condition 'eq' for integer operands. See LLVM Language Reference Manual for more details.

Definition at line 856 of file IntegerOperations.hpp.

Constructor & Destructor Documentation

◆ ~IntegerEqOperation()

jlm::llvm::IntegerEqOperation::~IntegerEqOperation ( )

overridedefaultnoexcept

◆ IntegerEqOperation()

jlm::llvm::IntegerEqOperation::IntegerEqOperation ( const std::size_t numBits )

inlineexplicit

Definition at line 861 of file IntegerOperations.hpp.

Member Function Documentation

◆ can_reduce_operand_pair()

rvsdg::binop_reduction_path_t jlm::llvm::IntegerEqOperation::can_reduce_operand_pair	(	const rvsdg::Output *	op1,
		const rvsdg::Output *	op2
	)		const

overridevirtualnoexcept

Implements jlm::rvsdg::BinaryOperation.

Definition at line 884 of file IntegerOperations.cpp.

◆ copy()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 878 of file IntegerOperations.cpp.

◆ createNode()

static rvsdg::Node & jlm::llvm::IntegerEqOperation::createNode	(	const size_t	numBits,
		rvsdg::Output &	operand1,
		rvsdg::Output &	operand2
	)

inlinestatic

Definition at line 886 of file IntegerOperations.hpp.

◆ debug_string()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 872 of file IntegerOperations.cpp.

◆ flags()

enum rvsdg::BinaryOperation::flags jlm::llvm::IntegerEqOperation::flags ( ) const

overridevirtualnoexcept

Reimplemented from jlm::rvsdg::BinaryOperation.

Definition at line 900 of file IntegerOperations.cpp.

◆ foldConstants()

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

static

Performs constant folding by statically evaluating the two constant operands and replacing the operations result with the resulting constant.

Parameters

operation	The IntegerEqOperation on which the transformation is performed.
operands	The operands of the IntegerEqOperation node.

Returns: If the normalization could be applied, then the result of the IntegerEqOperation after the transformation. Otherwise, std::nullopt.

Definition at line 906 of file IntegerOperations.cpp.

◆ normalizeIdenticalOperands()

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

static

Performs the following normalization: y = IntegerEqOperation x x => y = 1

Parameters

operation	The IntegerEqOperation on which the transformation is performed.
operands	The operands of the IntegerEqOperation node.

Returns: If the normalization could be applied, then the result of the IntegerEqOperation after the transformation. Otherwise, std::nullopt.

Definition at line 914 of file IntegerOperations.cpp.

◆ operator==()

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

overridenoexcept

Definition at line 865 of file IntegerOperations.cpp.

◆ reduce_operand_pair()

rvsdg::Output * jlm::llvm::IntegerEqOperation::reduce_operand_pair	(	rvsdg::binop_reduction_path_t	path,
		rvsdg::Output *	op1,
		rvsdg::Output *	op2
	)		const

overridevirtual

Implements jlm::rvsdg::BinaryOperation.

Definition at line 891 of file IntegerOperations.cpp.

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

jlm/llvm/ir/operators/IntegerOperations.hpp
jlm/llvm/ir/operators/IntegerOperations.cpp

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ ~IntegerEqOperation()

◆ IntegerEqOperation()

Member Function Documentation

◆ can_reduce_operand_pair()

◆ copy()

◆ createNode()

◆ debug_string()

◆ flags()

◆ foldConstants()

◆ normalizeIdenticalOperands()

◆ operator==()

◆ reduce_operand_pair()