Information about the INT_ADD op-code. More...

#include <typeop.hh>

Inheritance diagram for ghidra::TypeOpIntAdd:

Public Member Functions
	TypeOpIntAdd (TypeFactory *t)
	Constructor.

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

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 *	propagateType (Datatype alttype, PcodeOp op, Varnode invn, Varnode outvn, int4 inslot, int4 outslot)
	Propagate an incoming data-type across a specific PcodeOp. More...

Public Member Functions inherited from ghidra::TypeOpBinary
	TypeOpBinary (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 *	getInputCast (const PcodeOp op, int4 slot, const CastStrategy castStrategy) const
	Find the data-type of the input to a specific PcodeOp. More...

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

Static Public Member Functions
static Datatype *	propagateAddIn2Out (Datatype alttype, TypeFactory typegrp, PcodeOp *op, int4 inslot)
	Propagate a pointer data-type through an ADD operation. More...

static int4	propagateAddPointer (uintb &off, PcodeOp *op, int4 slot, int4 sz)

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...

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 }

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

Information about the INT_ADD op-code.

Member Function Documentation

◆ getOutputToken()

Datatype * ghidra::TypeOpIntAdd::getOutputToken	(	const PcodeOp *	op,
		CastStrategy *	castStrategy
	)		const

virtual

Find the data-type of the output that would be assigned by a compiler.

Calculate the actual data-type of the output for a specific PcodeOp as would be assigned by a C compiler parsing a grammar containing this op.

Parameters

op	is the specific PcodeOp
castStrategy	is the current casting strategy

Returns: the data-type

Reimplemented from ghidra::TypeOp.

References ghidra::CastStrategy::arithmeticOutputStandard().

◆ propagateAddIn2Out()

Datatype * ghidra::TypeOpIntAdd::propagateAddIn2Out	(	Datatype *	alttype,
		TypeFactory *	typegrp,
		PcodeOp *	op,
		int4	inslot
	)

static

Propagate a pointer data-type through an ADD operation.

Assuming a pointer data-type from an ADD PcodeOp propagates from an input to its output, calculate the transformed data-type of the output Varnode, which will depend on details of the operation. If the edge doesn't make sense as "an ADD to a pointer", prevent the propagation by returning the output Varnode's current data-type.

Parameters

alttype	is the resolved input pointer data-type
typegrp	is the TypeFactory for constructing the transformed Datatype
op	is the ADD operation
inslot	is the edge to propagate along

Returns: the transformed Datatype or the original output Datatype

References ghidra::AddrSpace::addressToByteInt(), ghidra::PcodeOp::code(), ghidra::CPUI_PTRSUB, ghidra::TypePointer::downChain(), ghidra::TypeFactory::getBase(), ghidra::PcodeOp::getIn(), ghidra::Datatype::getMetatype(), ghidra::PcodeOp::getOut(), ghidra::TypePointer::getPtrTo(), ghidra::Datatype::getSize(), ghidra::Varnode::getTempType(), ghidra::TypeFactory::getTypePointer(), ghidra::TypeFactory::getTypePointerRel(), ghidra::TypePointer::getWordSize(), ghidra::Varnode::isSpacebase(), propagateAddPointer(), ghidra::TYPE_SPACEBASE, and ghidra::TYPE_UNKNOWN.

Referenced by propagateType(), ghidra::TypeOpPtradd::propagateType(), and ghidra::TypeOpPtrsub::propagateType().

◆ propagateAddPointer()

int4 ghidra::TypeOpIntAdd::propagateAddPointer	(	uintb &	off,
		PcodeOp *	op,
		int4	slot,
		int4	sz
	)

static

Determine if the given data-type edge looks like a pointer propagating through an "add a constant" operation. We assume the input to the edge has a pointer data-type. This routine returns one the commands:

0 indicates this is "add a constant" adding a zero (PTRSUB or PTRADD)
1 indicates this is "add a constant" and the constant is passed back
2 indicating the pointer does not propagate through
3 the input data-type propagates through untransformed

Parameters

off	passes back the constant offset if the command is '0' or '1'
op	is the PcodeOp propagating the data-type
slot	is the input edge being propagated
sz	is the size of the data-type being pointed to

Returns: a command indicating how the op should be treated

References ghidra::calc_mask(), ghidra::PcodeOp::code(), ghidra::CPUI_INT_ADD, ghidra::CPUI_INT_MULT, ghidra::CPUI_PTRADD, ghidra::CPUI_PTRSUB, ghidra::Varnode::getDef(), ghidra::PcodeOp::getIn(), ghidra::Datatype::getMetatype(), ghidra::Varnode::getOffset(), ghidra::Varnode::getSize(), ghidra::Varnode::getTempType(), ghidra::Varnode::isConstant(), ghidra::Varnode::isWritten(), and ghidra::TYPE_PTR.

Referenced by propagateAddIn2Out().

◆ propagateType()

Datatype * ghidra::TypeOpIntAdd::propagateType	(	Datatype *	alttype,
		PcodeOp *	op,
		Varnode *	invn,
		Varnode *	outvn,
		int4	inslot,
		int4	outslot
	)

virtual

Propagate an incoming data-type across a specific PcodeOp.

The data-type can propagate between any two Varnodes attached to the PcodeOp, either in or out. The pair invn and inslot indicate the Varnode holding the incoming data-type. The pair outvn and outslot indicate the Varnode that will hold the outgoing data-type. The data-type for the outgoing Varnode is returned, which may be different then the incoming data-type as the PcodeOp can transform the data-type as it propagates.

Parameters

alttype	is the incoming data-type
op	is the PcodeOp to propagate across
invn	is the Varnode holding the incoming data-type
outvn	is the Varnode that will hold the outgoing data-type
inslot	indicates how the incoming Varnode is attached to the PcodeOp (-1 indicates output >= indicates input)
outslot	indicates how the outgoing Varnode is attached to the PcodeOp