7 #ifndef OTAWA_IPET_TRIVIAL_INST_CACHE_MANAGER_H
8 #define OTAWA_IPET_TRIVIAL_INST_CACHE_MANAGER_H
35 #endif // OTAWA_IPET_TRIVIAL_INST_CACHE_MANAGER_H
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
This processor is a trivial manager of instruction cache for IPET approach.
Definition: TrivialInstCacheManager.h:22
virtual void setup(WorkSpace *ws)
This method is called before an anlysis to let the processor do some initialization.
Definition: ipet_CacheSupport.cpp:70
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
const hard::Cache * cache
Definition: TrivialInstCacheManager.h:23
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This class contains the configuration of a level of cache of processor.
Definition: Cache.h:34
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_CacheSupport.cpp:80
virtual void processBB(WorkSpace *ws, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: ipet_CacheSupport.cpp:87
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
TrivialInstCacheManager(void)
Definition: ipet_CacheSupport.cpp:64