TermOrder Class Reference

A class for ordering Varnode terms in an additive expression. More...

#include <coreaction.hh>

Public Member Functions
void	collect (void)
	Collect all the terms in the expression. More...
void	sortTerms (void)
	Sort the terms using additiveCompare()

Static Private Member Functions
static bool	additiveCompare (const PcodeOpEdge *op1, const PcodeOpEdge *op2)
	A comparison operator for ordering terms in a sum. More...

Private Attributes
PcodeOp *	root
	The final PcodeOp in the expression.
vector< PcodeOpEdge >	terms
	Collected terms.
vector< PcodeOpEdge * >	sorter
	An array of references to terms for quick sorting.

Detailed Description

A class for ordering Varnode terms in an additive expression.

Given the final PcodeOp in a data-flow expression that sums 2 or more Varnode terms, this class collects all the terms then allows sorting of the terms to facilitate constant collapse and factoring simplifications.

Member Function Documentation

additiveCompare()

bool TermOrder::additiveCompare ( const PcodeOpEdge *  op1, const PcodeOpEdge *  op2  )

inlinestaticprivate

A comparison operator for ordering terms in a sum.

This is based on Varnode::termOrder which groups constants terms and ignores multiplicative coefficients.

Parameters

op1	is the first term to compare
op2	is the second term

Returns

true if the first term is less than the second

collect()

void TermOrder::collect

(

void

)

Collect all the terms in the expression.

Assuming root->getOut() is the root of an expression formed with the CPUI_INT_ADD op, collect all the Varnode terms of the expression.

References CPUI_INT_ADD, CPUI_INT_MULT, and Varnode::loneDescend().

Referenced by RuleCollectTerms::applyOp().

---

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

• coreaction.hh
• coreaction.cc