A generic unary operator: one input and one output. More...

#include <typeop.hh>

Inheritance diagram for ghidra::TypeOpUnary:

Public Member Functions
	TypeOpUnary (TypeFactory *t, OpCode opc, const string &n, type_metatype mout, type_metatype min)
	Constructor.

virtual Datatype *	getOutputLocal (const PcodeOp *op) const
	Find the minimal (or suggested) data-type of an output to this op-code. More...

virtual Datatype *	getInputLocal (const PcodeOp *op, int4 slot) const
	Find the minimal (or suggested) data-type of an input to this op-code. More...

virtual void	printRaw (ostream &s, const PcodeOp *op)
	Print (for debugging purposes) this specific PcodeOp to the stream. More...

Public Member Functions inherited from ghidra::TypeOp
	TypeOp (TypeFactory *t, OpCode opc, const string &n)
	Constructor. More...

virtual	~TypeOp (void)
	Destructor.

const string &	getName (void) const
	Get the display name of the op-code.

OpCode	getOpcode (void) const
	Get the op-code value.

uint4	getFlags (void) const
	Get the properties associated with the op-code.

OpBehavior *	getBehavior (void) const
	Get the behavior associated with the op-code.

uintb	evaluateUnary (int4 sizeout, int4 sizein, uintb in1) const
	Emulate the unary op-code on an input value. More...

uintb	evaluateBinary (int4 sizeout, int4 sizein, uintb in1, uintb in2) const
	Emulate the binary op-code on an input value. More...

uintb	recoverInputBinary (int4 slot, int4 sizeout, uintb out, int4 sizein, uintb in) const
	Reverse the binary op-code operation, recovering a constant input value. More...

uintb	recoverInputUnary (int4 sizeout, uintb out, int4 sizein) const
	Reverse the unary op-code operation, recovering a constant input value. More...

bool	isCommutative (void) const
	Return true if this op-code is commutative. More...

bool	inheritsSign (void) const
	Return true if the op-code inherits its signedness from its inputs.

bool	inheritsSignFirstParamOnly (void) const
	Return true if the op-code inherits its signedness from only its first input.

bool	isShiftOp (void) const
	Return true if the op-code is a shift (INT_LEFT, INT_RIGHT, or INT_SRIGHT)

bool	isArithmeticOp (void) const
	Return true if the opcode is INT_ADD, INT_MULT, INT_DIV, INT_REM, or other arithmetic op.

bool	isLogicalOp (void) const
	Return true if the opcode is INT_AND, INT_OR, INT_XOR, or other logical op.

bool	isFloatingPointOp (void) const
	Return true if the opcode is FLOAT_ADD, FLOAT_MULT, or other floating-point operation.

virtual Datatype *	getOutputToken (const PcodeOp op, CastStrategy castStrategy) const
	Find the data-type of the output that would be assigned by a compiler. More...

virtual Datatype *	getInputCast (const PcodeOp op, int4 slot, const CastStrategy castStrategy) const
	Find the data-type of the input to a specific PcodeOp. More...

virtual Datatype *	propagateType (Datatype alttype, PcodeOp op, Varnode invn, Varnode outvn, int4 inslot, int4 outslot)
	Propagate an incoming data-type across a specific PcodeOp. More...

virtual void	push (PrintLanguage lng, const PcodeOp op, const PcodeOp *readOp) const =0
	Push the specific PcodeOp to the emitter's RPN stack. More...

virtual string	getOperatorName (const PcodeOp *op) const
	Get the name of the op-code as it should be displayed in context. More...

Private Member Functions
virtual void	setMetatypeIn (type_metatype val)
	Set the data-type associated with inputs to this opcode.

virtual void	setMetatypeOut (type_metatype val)
	Set the data-type associated with outputs of this opcode.

Private Attributes
type_metatype	metaout
	The metatype of the output.

type_metatype	metain
	The metatype of the input.

Additional Inherited Members
Public Types inherited from ghidra::TypeOp
enum	{ inherits_sign = 1, inherits_sign_zero = 2, shift_op = 4, arithmetic_op = 8, logical_op = 0x10, floatingpoint_op = 0x20 }

Static Public Member Functions inherited from ghidra::TypeOp
static void	registerInstructions (vector< TypeOp > &inst, TypeFactory tlst, const Translate *trans)
	Build a map from op-code value to the TypeOp information objects. More...

static void	selectJavaOperators (vector< TypeOp *> &inst, bool val)
	Toggle Java specific aspects of the op-code information. More...

Protected Member Functions inherited from ghidra::TypeOp
virtual void	setSymbol (const string &nm)
	Set the display symbol associated with the op-code.

Protected Attributes inherited from ghidra::TypeOp
TypeFactory *	tlst
	Pointer to data-type factory.

OpCode	opcode
	The op-code value.

uint4	opflags
	Cached pcode-op properties for this op-code.

uint4	addlflags
	Additional properties.

string	name
	Symbol denoting this operation.

OpBehavior *	behave
	Object for emulating the behavior of the op-code.

Detailed Description

A generic unary operator: one input and one output.

All unary op-codes have data-type for the input value and a data-type for the output value

Member Function Documentation

◆ getInputLocal()

Datatype * ghidra::TypeOpUnary::getInputLocal	(	const PcodeOp *	op,
		int4	slot
	)		const

virtual

Find the minimal (or suggested) data-type of an input to this op-code.

The result should depend only on the op-code itself (and the size of the input)

Parameters

op	is the PcodeOp being considered
slot	is the input being considered

Returns: the data-type

Reimplemented from ghidra::TypeOp.

References ghidra::TypeFactory::getBase(), ghidra::PcodeOp::getIn(), ghidra::Varnode::getSize(), and ghidra::TypeOp::tlst.

◆ getOutputLocal()

Datatype * ghidra::TypeOpUnary::getOutputLocal ( const PcodeOp * op ) const

virtual

Find the minimal (or suggested) data-type of an output to this op-code.

The result should depend only on the op-code itself (and the size of the output)

Parameters

op	is the PcodeOp being considered

Returns: the data-type

Reimplemented from ghidra::TypeOp.

References ghidra::TypeFactory::getBase(), ghidra::PcodeOp::getOut(), ghidra::Varnode::getSize(), and ghidra::TypeOp::tlst.

◆ printRaw()

void ghidra::TypeOpUnary::printRaw	(	ostream &	s,
		const PcodeOp *	op
	)

virtual

Print (for debugging purposes) this specific PcodeOp to the stream.

Parameters

s	is the output stream
op	is the specific PcodeOp to print

Implements ghidra::TypeOp.

References ghidra::PcodeOp::getIn(), ghidra::TypeOp::getOperatorName(), ghidra::PcodeOp::getOut(), and ghidra::Varnode::printRaw().

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

typeop.hh
typeop.cc

Public Member Functions

Private Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ getInputLocal()

◆ getOutputLocal()

◆ printRaw()