#include <bitoperation-classes.hpp>

Inheritance diagram for jlm::rvsdg::BitBinaryOperation:

[legend]

Collaboration diagram for jlm::rvsdg::BitBinaryOperation:

[legend]

Public Member Functions
	~BitBinaryOperation () noexcept override

	BitBinaryOperation (const std::shared_ptr< const BitType > type, size_t arity=2) noexcept

binop_reduction_path_t	can_reduce_operand_pair (const jlm::rvsdg::Output arg1, const jlm::rvsdg::Output arg2) const noexcept override

jlm::rvsdg::Output *	reduce_operand_pair (binop_reduction_path_t path, jlm::rvsdg::Output arg1, jlm::rvsdg::Output arg2) const override

virtual BitValueRepresentation	reduce_constants (const BitValueRepresentation &arg1, const BitValueRepresentation &arg2) const =0

virtual std::unique_ptr< BitBinaryOperation >	create (size_t nbits) const =0

const 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)

virtual BinaryOperation::flags	flags () const noexcept

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

virtual std::string	debug_string () const =0

virtual std::unique_ptr< Operation >	copy () const =0

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

Static Public Member Functions
static std::optional< std::vector< Output * > >	foldConstants (const BitBinaryOperation &operation, const std::vector< Output * > &operands)

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

Detailed Description

Definition at line 58 of file bitoperation-classes.hpp.

Constructor & Destructor Documentation

◆ ~BitBinaryOperation()

jlm::rvsdg::BitBinaryOperation::~BitBinaryOperation ( )

overridedefaultnoexcept

◆ BitBinaryOperation()

jlm::rvsdg::BitBinaryOperation::BitBinaryOperation	(	const std::shared_ptr< const BitType >	type,
		size_t	arity = `2`
	)

inlineexplicitnoexcept

Definition at line 63 of file bitoperation-classes.hpp.

Member Function Documentation

◆ can_reduce_operand_pair()

binop_reduction_path_t jlm::rvsdg::BitBinaryOperation::can_reduce_operand_pair	(	const jlm::rvsdg::Output *	arg1,
		const jlm::rvsdg::Output *	arg2
	)		const

overridevirtualnoexcept

Implements jlm::rvsdg::BinaryOperation.

Definition at line 39 of file bitoperation-classes.cpp.

◆ create()

virtual std::unique_ptr< BitBinaryOperation > jlm::rvsdg::BitBinaryOperation::create ( size_t nbits ) const

pure virtual

Implemented in jlm::rvsdg::MakeBitBinaryOperation< reduction, name, opflags >.

◆ foldConstants()

std::optional< std::vector< Output * > > jlm::rvsdg::BitBinaryOperation::foldConstants	(	const BitBinaryOperation &	operation,
		const std::vector< 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 BitBinaryOperation on which the transformation is performed.
operands	The operands of the BitBinaryOperation node.

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

Definition at line 78 of file bitoperation-classes.cpp.

◆ reduce_constants()

virtual BitValueRepresentation jlm::rvsdg::BitBinaryOperation::reduce_constants	(	const BitValueRepresentation &	arg1,
		const BitValueRepresentation &	arg2
	)		const

pure virtual

Implemented in jlm::rvsdg::MakeBitBinaryOperation< reduction, name, opflags >.

◆ reduce_operand_pair()

jlm::rvsdg::Output * jlm::rvsdg::BitBinaryOperation::reduce_operand_pair	(	binop_reduction_path_t	path,
		jlm::rvsdg::Output *	arg1,
		jlm::rvsdg::Output *	arg2
	)		const

overridevirtual

Implements jlm::rvsdg::BinaryOperation.

Definition at line 54 of file bitoperation-classes.cpp.

◆ type()

const BitType & jlm::rvsdg::BitBinaryOperation::type ( ) const

inlinenoexcept

Definition at line 86 of file bitoperation-classes.hpp.

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

jlm/rvsdg/bitstring/bitoperation-classes.hpp
jlm/rvsdg/bitstring/bitoperation-classes.cpp

Public Member Functions

Static Public Member Functions

Additional Inherited Members