#include <IntegerOperations.hpp>

Inheritance diagram for jlm::llvm::IntegerSubOperation:

[legend]

Collaboration diagram for jlm::llvm::IntegerSubOperation:

[legend]

Public Member Functions
	~IntegerSubOperation () noexcept override

	IntegerSubOperation (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 * > >	normalizeAdditiveInverse (const IntegerSubOperation &operation, const std::vector< rvsdg::Output * > &operands)

static std::optional< std::vector< rvsdg::Output * > >	foldConstants (const IntegerSubOperation &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 'sub' instruction for integer operands. See LLVM Language Reference Manual for more details.

Definition at line 149 of file IntegerOperations.hpp.

Constructor & Destructor Documentation

◆ ~IntegerSubOperation()

jlm::llvm::IntegerSubOperation::~IntegerSubOperation ( )

overridedefaultnoexcept

◆ IntegerSubOperation()

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

inlineexplicit

Definition at line 154 of file IntegerOperations.hpp.

Member Function Documentation

◆ can_reduce_operand_pair()

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

overridevirtualnoexcept

Implements jlm::rvsdg::BinaryOperation.

Definition at line 207 of file IntegerOperations.cpp.

◆ copy()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 201 of file IntegerOperations.cpp.

◆ createNode()

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

inlinestatic

Definition at line 179 of file IntegerOperations.hpp.

◆ debug_string()

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

overridevirtual

Implements jlm::rvsdg::Operation.

Definition at line 195 of file IntegerOperations.cpp.

◆ flags()

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

overridevirtualnoexcept

Reimplemented from jlm::rvsdg::BinaryOperation.

Definition at line 223 of file IntegerOperations.cpp.

◆ foldConstants()

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

static

Performs constant folding by statically evaluating the two constant operands and replacing the operation's result with the resulting constant.

Parameters

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

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

Definition at line 248 of file IntegerOperations.cpp.

◆ normalizeAdditiveInverse()

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

static

Normalizes the additive inverse of a IntegerSubOperation node:

z = IntegerSubOperation x x => z = 0

Parameters

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

Returns: If the normalization could be applied, then 0. Otherwise, std::nullopt.

Definition at line 229 of file IntegerOperations.cpp.

◆ operator==()

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

overridenoexcept

Definition at line 188 of file IntegerOperations.cpp.

◆ reduce_operand_pair()

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

overridevirtual

Implements jlm::rvsdg::BinaryOperation.

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

◆ ~IntegerSubOperation()

◆ IntegerSubOperation()

Member Function Documentation

◆ can_reduce_operand_pair()

◆ copy()

◆ createNode()

◆ debug_string()

◆ flags()

◆ foldConstants()

◆ normalizeAdditiveInverse()

◆ operator==()

◆ reduce_operand_pair()