22 #ifndef OTAWA_IPET_VARASSIGNMENT_H
23 #define OTAWA_IPET_VARASSIGNMENT_H
31 namespace ilp {
class System; }
58 #endif // OTAWA_IPET_VARASSIGNMENT_H
bool _explicit
Definition: VarAssignment.h:37
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
dtd::Element edge(dtd::make("edge", _EDGE).attr(source).attr(target).attr(called))
virtual void processBB(WorkSpace *fw, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: ipet_VarAssignment.cpp:100
This processor ensures that each basic block and each edge of the CFG has a variable associated with ...
Definition: VarAssignment.h:36
virtual void cleanup(WorkSpace *ws)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: ipet_VarAssignment.cpp:132
Definition: Registration.h:138
WorkSpace * ws
Definition: Processor.h:185
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
VarAssignment(void)
Build a new variable assignment processor.
Definition: ipet_VarAssignment.cpp:142
Control Flow Graph representation.
Definition: CFG.h:42
Identifier< String * > FORCE_NAME
Force the ilp variable name of an edge or basic block.
virtual void configure(const PropList &props)
Configure the current processor.
Definition: ipet_VarAssignment.cpp:149
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
ilp::System * sys
Definition: VarAssignment.h:38
String makeNodeVar(BasicBlock *bb, CFG *cfg)
Build a node variable name.
Definition: ipet_VarAssignment.cpp:162
This class represents edges in the CFG representation.
Definition: Edge.h:33
String makeEdgeVar(Edge *edge, CFG *cfg)
Build an edge variable name.
Definition: ipet_VarAssignment.cpp:184
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
This a list of properties.
Definition: PropList.h:63
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
bool _recursive
Definition: VarAssignment.h:37
virtual void setup(WorkSpace *ws)
This method is called before an anlysis to let the processor do some initialization.
Definition: ipet_VarAssignment.cpp:93
static Registration< VarAssignment > reg
Definition: VarAssignment.h:50