21 #ifndef OTAWA_DCACHE_BLOCKBUILDER_H_
22 #define OTAWA_DCACHE_BLOCKBUILDER_H_
36 namespace clp {
class Manager; }
clp::Manager * man
Definition: BlockBuilder.h:57
virtual void processBB(WorkSpace *ws, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: dcache_BlockBuilder.cpp:106
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
Class to declare simple a processor.
Definition: Registration.h:213
BlockBuilder(p::declare &r=reg)
Definition: dcache_BlockBuilder.cpp:64
static p::declare reg
Definition: BlockBuilder.h:43
Address sp
Definition: BlockBuilder.h:55
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
const hard::Cache * cache
Definition: BlockBuilder.h:52
BlockCollection * colls
Definition: BlockBuilder.h:56
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
Build the list of blocks used for L1 data cache analysis and decorate each basic block with the list ...
Definition: BlockBuilder.h:41
The representation of an address in OTAWA.
Definition: base.h:54
This class allows to exploit the result of a CLP analysis.
Definition: features.h:34
virtual void configure(const PropList &props)
Configure the current processor.
Definition: dcache_BlockBuilder.cpp:70
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
genstruct::Vector< BlockAccess > blocks
Definition: BlockBuilder.h:54
This a list of properties.
Definition: PropList.h:63
virtual void setup(WorkSpace *ws)
This method is called before an anlysis to let the processor do some initialization.
Definition: dcache_BlockBuilder.cpp:78
A block collections stores the list of data blocks used in a task for a specific line.
Definition: features.h:108
const hard::Memory * mem
Definition: BlockBuilder.h:53