Compare symbolic expression This class define three type of compare expression: condition (if): SECmp(operator, expression) undetermined compare: SECmp(CMP, exp1, exp2) determined compare: SECmp(operator, exp1, exp2) More...

#include <otawa/data/clp/SymbolicExpr.h>

Inheritance diagram for otawa::se::SECmp:

Public Member Functions
	SECmp (op_t op, SymbExpr a=NULL, SymbExpr b=NULL, SymbExpr *parent=NULL)
	Constructors. More...

	SECmp (const SECmp &expr)
	Copy constructor. More...

virtual SECmp *	copy (void)
	Operators. More...

virtual SymbExpr &	operator= (const SECmp &expr)
	Affectation operator. More...

virtual bool	operator== (const SymbExpr &expr) const
	Not equal operator. More...

virtual String	asString (const hard::Platform *pf=0)
	Operation. More...

virtual void	canonize (void)
	Try to recursively transform the expression into it its canonized form. More...

SECmp *	logicalNot (void)

bool	operator!= (const SymbExpr &expr) const
	Not equal operator. More...

op_t	op (void) const
	Accessors. More...

SymbExpr *	a (void) const

SymbExpr *	b (void) const

V	val (void) const

SymbExpr *	parent (void) const

void	replace (SymbExpr searched_se, SymbExpr new_se)
	Operation. More...

void	print (io::Output &out, const hard::Platform *pf=0)
	Output a string representation of the expression. More...

virtual Vector< V >	used_reg (void)
	Return the list of registers used (recursively) in this expression. More...

virtual Vector< V >	used_addr (void)
	Return the list of memory addresses used (recursively) in this expression. More...

void	set_a (SymbExpr *a)
	Setters. More...

void	set_b (SymbExpr *b)
	Set the second child expression (b) More...

void	set_parent (SymbExpr *parent)
	Set the reference to the parent of this. More...

Protected Attributes
op_t	_op
	Attributes. More...

SymbExpr *	_a

SymbExpr *	_b

V	_val

SymbExpr *	_parent

Detailed Description

Compare symbolic expression This class define three type of compare expression: condition (if): SECmp(operator, expression) undetermined compare: SECmp(CMP, exp1, exp2) determined compare: SECmp(operator, exp1, exp2)

Constructor & Destructor Documentation

otawa::se::SECmp::SECmp	(	op_t	op,
		SymbExpr *	a = `NULL`,
		SymbExpr *	b = `NULL`,
		SymbExpr *	parent = `NULL`
	)

inline

Constructors.

Build a new Addition Symbolic Expression]

Parameters

a	is a pointer to the first child expression. This pointer will be used as is (no copy), so make sure you 'new' or '->copy()' the expression before.
b	is a pointer to the second child expression. This pointer will be used as is (no copy), so make sure you 'new' or '->copy()' the expression before.
parent	a pointer to the parent

This class can reprensts three forms of expressions: (oplog is in [LE, LT, GE, GT, EQ, NE])

[oplog a] for a condition (sem instr 'if')
[CMP a b] for an undetermined compare (sem instr 'cmp')
[oplog a b] for a determined compare (result of canonize)

Referenced by copy().

otawa::se::SECmp::SECmp ( const SECmp & expr )

inline

Copy constructor.

Parameters

expr	the expression to copy

Member Function Documentation

SymbExpr* otawa::se::SymbExpr::a ( void ) const

inlineinherited

Returns: a pointer to the first child (a) of the expression (or NULL)

Referenced by otawa::se::SENeg::canonize(), otawa::se::SEAdd::canonize(), otawa::se::getFilterForAddr(), otawa::se::getFilterForReg(), otawa::se::FilterBuilder::makeFilters(), otawa::se::SENeg::operator==(), otawa::se::SEAdd::operator==(), and operator==().

String otawa::se::SECmp::asString ( const hard::Platform * pf = 0 )

virtual

Operation.

Returns: a string reprensentation of the expression

Reimplemented from otawa::se::SymbExpr.

References otawa::se::SymbExpr::_op, otawa::se::CMP, otawa::se::CMPU, otawa::se::GE, otawa::se::GT, otawa::se::LE, otawa::se::LT, and otawa::se::OR.

Referenced by otawa::se::getFilterForAddr(), otawa::se::getFilterForReg(), and otawa::se::FilterBuilder::makeFilters().

SymbExpr* otawa::se::SymbExpr::b ( void ) const

inlineinherited

Returns: a pointer to the second child (b) of the expression (or NULL)

Referenced by otawa::se::SENeg::canonize(), otawa::se::SEAdd::canonize(), otawa::se::getFilterForAddr(), otawa::se::getFilterForReg(), otawa::se::FilterBuilder::makeFilters(), otawa::se::SEAdd::operator==(), and operator==().

void otawa::se::SECmp::canonize ( void )

virtual

Try to recursively transform the expression into it its canonized form.

Reimplemented from otawa::se::SymbExpr.

Referenced by otawa::se::getFilterForAddr(), otawa::se::getFilterForReg(), and otawa::se::FilterBuilder::makeFilters().

SECmp * otawa::se::SECmp::copy ( void )

virtual

Operators.

Copy operator

Returns: a pointer to a copy of this

Reimplemented from otawa::se::SymbExpr.

References otawa::se::SymbExpr::_a, otawa::se::SymbExpr::_b, otawa::se::SymbExpr::_op, otawa::se::SymbExpr::copy(), and SECmp().

Referenced by otawa::se::FilterBuilder::makeFilters().

SECmp * otawa::se::SECmp::logicalNot ( void )

Returns: the logical not condition

References otawa::se::EQ, otawa::se::GE, otawa::se::GT, otawa::se::LE, otawa::se::LT, otawa::se::NE, otawa::clp::NONE, otawa::se::OR, otawa::se::UGE, otawa::se::UGT, otawa::se::ULE, and otawa::se::ULT.

op_t otawa::se::SymbExpr::op ( void ) const

inlineinherited

Accessors.

Returns: the operator of the expression

Referenced by otawa::se::SENeg::canonize(), otawa::se::SEAdd::canonize(), otawa::se::getFilterForAddr(), otawa::se::getFilterForReg(), otawa::se::FilterBuilder::makeFilters(), otawa::se::SEConst::operator==(), otawa::se::SEAddr::operator==(), otawa::se::SEReg::operator==(), otawa::se::SENeg::operator==(), otawa::se::SEAdd::operator==(), and operator==().

bool otawa::se::SymbExpr::operator!= ( const SymbExpr & expr ) const

inherited

Not equal operator.

Parameters

expr	the expression to be compared with this

Returns: if the expression doesn't reprensents the same as expr

References otawa::se::SymbExpr::operator==().

SymbExpr & otawa::se::SECmp::operator= ( const SECmp & expr )

virtual

Affectation operator.

Parameters

expr	the expression to be copied in this

Returns: this

References otawa::se::SymbExpr::_a, otawa::se::SymbExpr::_b, otawa::se::SymbExpr::_op, otawa::se::SymbExpr::set_a(), and otawa::se::SymbExpr::set_b().

bool otawa::se::SECmp::operator== ( const SymbExpr & expr ) const

virtual

Not equal operator.

Parameters

expr	the expression to be compared with this

Returns: if the expression doesn't reprensents the same as expr

Reimplemented from otawa::se::SymbExpr.

References otawa::se::SymbExpr::_a, otawa::se::SymbExpr::_b, otawa::se::SymbExpr::_op, otawa::se::SymbExpr::a(), otawa::se::SymbExpr::b(), and otawa::se::SymbExpr::op().

SymbExpr* otawa::se::SymbExpr::parent ( void ) const

inlineinherited

Returns: a pointer to the parent of this (or NULL)

void otawa::se::SymbExpr::print	(	io::Output &	out,
		const hard::Platform *	pf = `0`
	)

inherited

Output a string representation of the expression.

Parameters

out	the output channel
pf	current plarform

References otawa::se::SymbExpr::asString().

Referenced by otawa::se::FilterBuilder::makeFilters(), and operator<<().

void otawa::se::SymbExpr::replace	(	SymbExpr *	searched_se,
		SymbExpr *	new_se
	)

inherited

Operation.

Recursively replace in this the searched_se expression by new_se

Parameters

searched_se	the researched expression
new_se	the expression that will replace searched_se

new_se will be copied each time it replace a searched_se.

References otawa::se::SymbExpr::_a, otawa::se::SymbExpr::_b, otawa::se::SymbExpr::replace(), otawa::se::SymbExpr::set_a(), and otawa::se::SymbExpr::set_b().

Referenced by otawa::se::getFilterForAddr(), otawa::se::getFilterForReg(), otawa::se::FilterBuilder::makeFilters(), and otawa::se::SymbExpr::replace().

void otawa::se::SymbExpr::set_a ( SymbExpr * a )

inlineinherited

Setters.

Set the first child expression (a)

Parameters

a	a pointer to the new first child

A copy of a will be set as first child. If there was a first child in this expression, it will be delete, but after the copy of a (so it's safe to set_a() a child expression of this->a()).

References otawa::se::SymbExpr::copy(), and otawa::se::SymbExpr::set_parent().

Referenced by otawa::se::SENeg::canonize(), otawa::se::SEAdd::canonize(), otawa::se::SymbExpr::operator=(), otawa::se::SENeg::operator=(), otawa::se::SEAdd::operator=(), operator=(), and otawa::se::SymbExpr::replace().

void otawa::se::SymbExpr::set_b ( SymbExpr * b )

inlineinherited

Set the second child expression (b)

Parameters

b	a pointer to the new second child

A copy of b will be set as second child. If there was a second child in this expression, it will be delete, but after the copy of b (so it's safe to set_b() a child expression of this->b()).

References otawa::se::SymbExpr::copy(), and otawa::se::SymbExpr::set_parent().

Referenced by otawa::se::SENeg::canonize(), otawa::se::SEAdd::canonize(), otawa::se::SymbExpr::operator=(), otawa::se::SEAdd::operator=(), operator=(), and otawa::se::SymbExpr::replace().