Inheritance diagram for LaneDivide:

Classes
class	WorkNode
	Description of a large Varnode that needs to be traced (in the worklist) More...

Public Member Functions
	LaneDivide (Funcdata f, Varnode root, const LaneDescription &desc, bool allowDowncast)
	Constructor. More...

bool	doTrace (void)
	Trace lanes as far as possible from the root Varnode. More...

Public Member Functions inherited from TransformManager
	TransformManager (Funcdata *f)
	Constructor.

virtual	~TransformManager (void)
	Destructor.

virtual bool	preserveAddress (Varnode *vn, int4 bitSize, int4 lsbOffset) const
	Should the address of the given Varnode be preserved when constructing a piece. More...

Funcdata *	getFunction (void) const
	Get function being transformed.

void	clearVarnodeMarks (void)
	Clear mark for all Varnodes in the map.

TransformVar *	newPreexistingVarnode (Varnode *vn)
	Make placeholder for preexisting Varnode. More...

TransformVar *	newUnique (int4 size)
	Make placeholder for new unique space Varnode. More...

TransformVar *	newConstant (int4 size, int4 lsbOffset, uintb val)
	Make placeholder for constant Varnode. More...

TransformVar *	newIop (Varnode *vn)
	Make placeholder for special iop constant. More...

TransformVar *	newPiece (Varnode *vn, int4 bitSize, int4 lsbOffset)
	Make placeholder for piece of a Varnode. More...

TransformVar *	newSplit (Varnode *vn, const LaneDescription &description)
	Create placeholder nodes splitting a Varnode into its lanes. More...

TransformVar *	newSplit (Varnode *vn, const LaneDescription &description, int4 numLanes, int4 startLane)
	Create placeholder nodes splitting a Varnode into a subset of lanes in the given description. More...

TransformOp *	newOpReplace (int4 numParams, OpCode opc, PcodeOp *replace)
	Create a new placeholder op intended to replace an existing op. More...

TransformOp *	newOp (int4 numParams, OpCode opc, TransformOp *follow)
	Create a new placeholder op that will not replace an existing op. More...

TransformOp *	newPreexistingOp (int4 numParams, OpCode opc, PcodeOp *originalOp)
	Create a new placeholder op for an existing PcodeOp. More...

TransformVar *	getPreexistingVarnode (Varnode *vn)
	Get (or create) placeholder for preexisting Varnode. More...

TransformVar *	getPiece (Varnode *vn, int4 bitSize, int4 lsbOffset)
	Get (or create) placeholder piece. More...

TransformVar *	getSplit (Varnode *vn, const LaneDescription &description)
	Find (or create) placeholder nodes splitting a Varnode into its lanes. More...

TransformVar *	getSplit (Varnode *vn, const LaneDescription &description, int4 numLanes, int4 startLane)
	Find (or create) placeholder nodes splitting a Varnode into a subset of lanes from a description. More...

void	opSetInput (TransformOp rop, TransformVar rvn, int4 slot)
	Mark given variable as input to given op. More...

void	opSetOutput (TransformOp rop, TransformVar rvn)
	Mark given variable as output of given op. More...

void	apply (void)
	Apply the full transform to the function.

Private Member Functions
TransformVar *	setReplacement (Varnode *vn, int4 numLanes, int4 skipLanes)
	Find or build the placeholder objects for a Varnode that needs to be split into lanes. More...

void	buildUnaryOp (OpCode opc, PcodeOp op, TransformVar inVars, TransformVar *outVars, int4 numLanes)
	Build unary op placeholders with the same opcode across a set of lanes. More...

void	buildBinaryOp (OpCode opc, PcodeOp op, TransformVar in0Vars, TransformVar in1Vars, TransformVar outVars, int4 numLanes)
	Build binary op placeholders with the same opcode across a set of lanes. More...

bool	buildPiece (PcodeOp op, TransformVar outVars, int4 numLanes, int4 skipLanes)
	Convert a CPUI_PIECE operation into copies between placeholders, given the output lanes. More...

bool	buildMultiequal (PcodeOp op, TransformVar outVars, int4 numLanes, int4 skipLanes)
	Split a given CPUI_MULTIEQUAL operation into placeholders given the output lanes. More...

bool	buildStore (PcodeOp *op, int4 numLanes, int4 skipLanes)
	Split a given CPUI_STORE operation into a sequence of STOREs of individual lanes. More...

bool	buildLoad (PcodeOp op, TransformVar outVars, int4 numLanes, int4 skipLanes)
	Split a given CPUI_LOAD operation into a sequence of LOADs of individual lanes. More...

bool	buildRightShift (PcodeOp op, TransformVar outVars, int4 numLanes, int4 skipLanes)
	Check that a CPUI_INT_RIGHT respects the lanes then generate lane placeholders. More...

bool	traceForward (TransformVar *rvn, int4 numLanes, int4 skipLanes)
	Push the logical lanes forward through any PcodeOp reading the given variable. More...

bool	traceBackward (TransformVar *rvn, int4 numLanes, int4 skipLanes)
	Pull the logical lanes back through the defining PcodeOp of the given variable. More...

bool	processNextWork (void)
	Process the next Varnode on the work list. More...

Private Attributes
LaneDescription	description
	Global description of lanes that need to be split.

vector< WorkNode >	workList
	List of Varnodes still left to trace.

bool	allowSubpieceTerminator
	true if we allow lanes to be cast (via SUBPIECE) to a smaller integer size

Additional Inherited Members
Static Public Member Functions inherited from TransformManager
static bool	preexistingGuard (int4 slot, TransformVar *rvn)
	Should newPreexistingOp be called. More...

Constructor & Destructor Documentation

LaneDivide::LaneDivide	(	Funcdata *	f,
		Varnode *	root,
		const LaneDescription &	desc,
		bool	allowDowncast
	)

Constructor.

Parameters

f	is the function being transformed
root	is the root Varnode to start tracing lanes from
desc	is a description of the lanes on the root Varnode
allowDowncast	is true if we all SUBPIECE to be treated as terminating

References allowSubpieceTerminator, LaneDescription::getNumLanes(), and setReplacement().

Member Function Documentation

void LaneDivide::buildBinaryOp	(	OpCode	opc,
		PcodeOp *	op,
		TransformVar *	in0Vars,
		TransformVar *	in1Vars,
		TransformVar *	outVars,
		int4	numLanes
	)

private

Build binary op placeholders with the same opcode across a set of lanes.

We assume the input and output placeholder variables have already been collected

Parameters

opc	is the desired opcode for the new op placeholders
op	is the PcodeOp getting replaced
in0Vars	is the array of input[0] variables, 1 for each binary op
in1Vars	is the array of input[1] variables, 1 for each binar op
outVars	is the array of output variables, 1 for each binary op
numLanes	is the number of binary ops to create

References TransformManager::newOpReplace(), TransformManager::opSetInput(), and TransformManager::opSetOutput().

bool LaneDivide::buildLoad	(	PcodeOp *	op,
		TransformVar *	outVars,
		int4	numLanes,
		int4	skipLanes
	)

private

Split a given CPUI_LOAD operation into a sequence of LOADs of individual lanes.

A new pointer is constructed for each individual lane into a temporary, then a LOAD is created using the pointer that loads an individual lane.

Parameters

op	is the given CPUI_LOAD PcodeOp
outVars	is the output placeholders for the LOAD
numLanes	is the number of lanes the LOAD is split into
skipLanes	is the starting lane (within the global description) of the value being loaded

Returns: true if the CPUI_LOAD was successfully modeled on lanes

References CPUI_INT_ADD, CPUI_LOAD, Varnode::getAddr(), PcodeOp::getIn(), Varnode::getOffset(), PcodeOp::getOut(), TransformManager::getPreexistingVarnode(), Varnode::getSize(), Address::getSpaceFromConst(), AddrSpace::isBigEndian(), TransformManager::newConstant(), TransformManager::newOp(), TransformManager::newOpReplace(), TransformManager::newUnique(), TransformManager::opSetInput(), and TransformManager::opSetOutput().

bool LaneDivide::buildMultiequal	(	PcodeOp *	op,
		TransformVar *	outVars,
		int4	numLanes,
		int4	skipLanes
	)

private

Split a given CPUI_MULTIEQUAL operation into placeholders given the output lanes.

Model the single given CPUI_MULTIEQUAL as a sequence of smaller MULTIEQUALs on each individual lane. Return false if the operation cannot be modeled as naturally.

Parameters

op	is the original CPUI_MULTIEQUAL PcodeOp
outVars	is the placeholder variables making up the lanes of the output
numLanes	is the number of lanes in the output
skipLanes	is the index of the least significant output lane within the global description

Returns: true if the operation was fully modeled

References CPUI_MULTIEQUAL, PcodeOp::getIn(), TransformManager::newOpReplace(), PcodeOp::numInput(), TransformManager::opSetInput(), TransformManager::opSetOutput(), and SubfloatFlow::setReplacement().

bool LaneDivide::buildPiece	(	PcodeOp *	op,
		TransformVar *	outVars,
		int4	numLanes,
		int4	skipLanes
	)

private

Convert a CPUI_PIECE operation into copies between placeholders, given the output lanes.

Model the given CPUI_PIECE either as either copies from preexisting Varnodes into the output lanes, or as copies from placeholder variables into the output lanes. Return false if the operation cannot be modeled as natural copies between lanes.

Parameters

op	is the original CPUI_PIECE PcodeOp
outVars	is the placeholder variables making up the lanes of the output
numLanes	is the number of lanes in the output
skipLanes	is the index of the least significant output lane within the global description

Returns: true if the CPUI_PIECE was modeled as natural lane copies

References CPUI_COPY, PcodeOp::getIn(), TransformManager::getPreexistingVarnode(), Varnode::getSize(), TransformManager::newOpReplace(), TransformManager::opSetInput(), TransformManager::opSetOutput(), and SubfloatFlow::setReplacement().

bool LaneDivide::buildRightShift	(	PcodeOp *	op,
		TransformVar *	outVars,
		int4	numLanes,
		int4	skipLanes
	)

private

Check that a CPUI_INT_RIGHT respects the lanes then generate lane placeholders.

For the given lane scheme, check that the RIGHT shift is copying whole lanes to each other. If so, generate the placeholder COPYs that model the shift.

Parameters

op	is the given CPUI_INT_RIGHT PcodeOp
outVars	is the output placeholders for the RIGHT shift
numLanes	is the number of lanes the shift is split into
skipLanes	is the starting lane (within the global description) of the value being loaded

Returns: true if the CPUI_INT_RIGHT was successfully modeled on lanes

References CPUI_COPY, PcodeOp::getIn(), Varnode::getOffset(), Varnode::isConstant(), TransformManager::newConstant(), TransformManager::newOpReplace(), TransformManager::opSetInput(), TransformManager::opSetOutput(), and SubfloatFlow::setReplacement().

bool LaneDivide::buildStore	(	PcodeOp *	op,
		int4	numLanes,
		int4	skipLanes
	)

private

Split a given CPUI_STORE operation into a sequence of STOREs of individual lanes.

A new pointer is constructed for each individual lane into a temporary, then a STORE is created using the pointer that stores an individual lane.

Parameters

op	is the given CPUI_STORE PcodeOp
numLanes	is the number of lanes the STORE is split into
skipLanes	is the starting lane (within the global description) of the value being stored

Returns: true if the CPUI_STORE was successfully modeled on lanes

References CPUI_INT_ADD, CPUI_STORE, Varnode::getAddr(), PcodeOp::getIn(), Varnode::getOffset(), TransformManager::getPreexistingVarnode(), Varnode::getSize(), Address::getSpaceFromConst(), AddrSpace::isBigEndian(), TransformManager::newConstant(), TransformManager::newOp(), TransformManager::newOpReplace(), TransformManager::newUnique(), TransformManager::opSetInput(), TransformManager::opSetOutput(), and SubfloatFlow::setReplacement().

void LaneDivide::buildUnaryOp	(	OpCode	opc,
		PcodeOp *	op,
		TransformVar *	inVars,
		TransformVar *	outVars,
		int4	numLanes
	)

private

Build unary op placeholders with the same opcode across a set of lanes.

We assume the input and output placeholder variables have already been collected

Parameters

opc	is the desired opcode for the new op placeholders
op	is the PcodeOp getting replaced
inVars	is the array of input variables, 1 for each unary op
outVars	is the array of output variables, 1 for each unary op
numLanes	is the number of unary ops to create

References TransformManager::newOpReplace(), TransformManager::opSetInput(), and TransformManager::opSetOutput().

bool LaneDivide::doTrace ( void )

Trace lanes as far as possible from the root Varnode.

Push the lanes around from the root, setting up the explicit transforms as we go. If at any point, the lanes cannot be naturally pushed, return false.

Returns: true if a full transform has been constructed that can split into explicit lanes

References TransformManager::clearVarnodeMarks(), processNextWork(), and workList.

bool LaneDivide::processNextWork ( void )

private

Process the next Varnode on the work list.

Returns: true if the lane split for the top Varnode on the work list is propagated through local operators

References SubfloatFlow::traceBackward(), and SubfloatFlow::traceForward().

Referenced by doTrace().

TransformVar * LaneDivide::setReplacement	(	Varnode *	vn,
		int4	numLanes,
		int4	skipLanes
	)

private

Find or build the placeholder objects for a Varnode that needs to be split into lanes.

The Varnode is split based on the given subset of the lane description. Constants can be split. Decide if the Varnode needs to go into the work list. If the Varnode cannot be acceptably split, return null.

Parameters

vn	is the Varnode that needs to be split
numLanes	is the number of lanes in the subset
skipLanes	is the start (least significant) lane in the subset

Returns: the array of placeholders describing the split or null

References TransformManager::getSplit(), Varnode::isConstant(), Varnode::isFree(), Varnode::isMark(), Varnode::isTypeLock(), TransformManager::newSplit(), and Varnode::setMark().

Referenced by LaneDivide().

bool LaneDivide::traceBackward	(	TransformVar *	rvn,
		int4	numLanes,
		int4	skipLanes
	)

private

Pull the logical lanes back through the defining PcodeOp of the given variable.

Determine if the logical lanes can be pulled back naturally, and create placeholder variables and ops representing the logical data-flow. Update the worklist with any new Varnodes that the lanes get pulled back into.

Parameters

rvn	is the placeholder variable to pull back
numLanes	is the number of lanes represented by the placeholder variable
skipLanes	is the index of the starting lane within the global description of the placeholder variable

Returns: true if the lanes can be naturally pulled back

References PcodeOp::code(), CPUI_COPY, CPUI_INT_AND, CPUI_INT_NEGATE, CPUI_INT_OR, CPUI_INT_RIGHT, CPUI_INT_XOR, CPUI_LOAD, CPUI_MULTIEQUAL, CPUI_PIECE, CPUI_SUBPIECE, Varnode::getDef(), PcodeOp::getIn(), Varnode::getOffset(), TransformVar::getOriginal(), Varnode::getSize(), and SubfloatFlow::setReplacement().

bool LaneDivide::traceForward	(	TransformVar *	rvn,
		int4	numLanes,
		int4	skipLanes
	)

private

Push the logical lanes forward through any PcodeOp reading the given variable.

Determine if the logical lanes can be pushed forward naturally, and create placeholder variables and ops representing the logical data-flow. Update the worklist with any new Varnodes that the lanes get pushed into.

Parameters

rvn	is the placeholder variable to push forward from
numLanes	is the number of lanes represented by the placeholder variable
skipLanes	is the index of the starting lane within the global description of the placeholder variable

Returns: true if the lanes can be naturally pushed forward

References Varnode::beginDescend(), PcodeOp::code(), CPUI_COPY, CPUI_INT_AND, CPUI_INT_NEGATE, CPUI_INT_OR, CPUI_INT_RIGHT, CPUI_INT_XOR, CPUI_MULTIEQUAL, CPUI_PIECE, CPUI_STORE, CPUI_SUBPIECE, Varnode::endDescend(), PcodeOp::getIn(), Varnode::getOffset(), TransformVar::getOriginal(), PcodeOp::getOut(), Varnode::getSize(), Varnode::isConstant(), Varnode::isMark(), TransformManager::newConstant(), TransformManager::newPreexistingOp(), TransformManager::opSetInput(), and SubfloatFlow::setReplacement().

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

subflow.hh
subflow.cc

Classes

Public Member Functions

Private Member Functions

Private Attributes

Additional Inherited Members

Constructor & Destructor Documentation

Member Function Documentation