otawa::stack Namespace Reference

Classes
class	Iter
	Iterator on the result of stack analysis. More...
class	Value
	Values in the StackAnalysis. More...

Enumerations
enum	kind_t {   NONE, REG, SP, CST,   ALL }

Functions
io::Output &	operator<< (io::Output &out, const Value &v)
io::Output &	operator<< (io::Output &out, const State &state)
p::feature	ADDRESS_FEATURE ("otawa::stack::ADDRESS_FEATURE", new Maker< AddressBuilder >())
	Feature ensuring that addresses are built from stack analysis. More...

Variables
p::feature	ADDRESS_FEATURE
	Feature ensuring that addresses are built from stack analysis. More...
Identifier< State * >	STATE ("otawa::stack::STATE", 0)
	Stack analysis state at entry of BBs. More...

Enumeration Type Documentation

enum otawa::stack::kind_t

Enumerator
NONE
REG
SP
CST
ALL

Function Documentation

p::feature otawa::stack::ADDRESS_FEATURE	(	"otawa::stack::ADDRESS_FEATURE"	,
		new Maker< AddressBuilder >	()
	)

Feature ensuring that addresses are built from stack analysis.

This features must always induce ADDRESS_ANALYSIS_FEATURE to be also provided.

io::Output& otawa::stack::operator<< ( io::Output &  out, const Value &  v  )

inline

References out, and otawa::stack::Value::print().

io::Output & otawa::stack::operator<<	(	io::Output &	out,
		const State &	state
	)

References out.

Variable Documentation

p::feature otawa::stack::ADDRESS_FEATURE("otawa::stack::ADDRESS_FEATURE", new Maker< AddressBuilder >())

Feature ensuring that addresses are built from stack analysis.

This features must always induce ADDRESS_ANALYSIS_FEATURE to be also provided.

Identifier<State *> otawa::stack::STATE("otawa::stack::STATE", 0)

Stack analysis state at entry of BBs.

Hooks

• BasicBlock

Feature

• otawa::STACK_ANALYSIS_FEATURE

Referenced by otawa::dfa::hai::DefaultFixPoint< Listener >::getMark(), otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::getMark(), otawa::dfa::hai::WideningFixPoint< Listener >::getMark(), otawa::dfa::hai::DefaultFixPoint< Listener >::markEdge(), otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::markEdge(), otawa::dfa::hai::WideningFixPoint< Listener >::markEdge(), otawa::StackAnalysis::processWorkSpace(), otawa::stack::Iter::start(), otawa::dfa::hai::DefaultFixPoint< Listener >::unmarkEdge(), otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::unmarkEdge(), and otawa::dfa::hai::WideningFixPoint< Listener >::unmarkEdge().