21 #ifndef OTAWA_DCACHE_WCETFUNCTIONBUILDER_H_
22 #define OTAWA_DCACHE_WCETFUNCTIONBUILDER_H_
29 namespace ilp {
class System; }
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
const hard::Memory * mem
Definition: WCETFunctionBuilder.h:44
Class to declare simple a processor.
Definition: Registration.h:213
WorkSpace * ws
Definition: Processor.h:185
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
Class to represent the whole memory of the platform.
Definition: Memory.h:173
virtual void processBB(WorkSpace *ws, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: dcache_WCETFunctionBuilder.cpp:69
ot::time worst_read
Definition: WCETFunctionBuilder.h:45
WCETFunctionBuilder(p::declare &r=reg)
Definition: dcache_WCETFunctionBuilder.cpp:47
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: WCETFunctionBuilder.h:43
static p::declare reg
Definition: WCETFunctionBuilder.h:35
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
ot::time worst_write
Definition: WCETFunctionBuilder.h:45
Default implementation of feature WCET_FUNCTION_FEATURE.
Definition: WCETFunctionBuilder.h:33
virtual void setup(WorkSpace *ws)
This method is called before an anlysis to let the processor do some initialization.
Definition: dcache_WCETFunctionBuilder.cpp:53
t::int64 time
Definition: base.h:47
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42