Otawa  0.10
TrivialInstCacheManager.h
Go to the documentation of this file.
1 /*
2  * $Id$
3  * Copyright (c) 2005-07, IRIT UPS.
4  *
5  * TrivialInstCacheManager class interface
6  */
7 #ifndef OTAWA_IPET_TRIVIAL_INST_CACHE_MANAGER_H
8 #define OTAWA_IPET_TRIVIAL_INST_CACHE_MANAGER_H
9 
10 #include <otawa/proc/BBProcessor.h>
11 #include <otawa/proc/Feature.h>
12 
13 namespace otawa {
14 
15 namespace hard {
16  class Cache;
17 }
18 
19 namespace ipet {
20 
21 // TrivialInstCacheManager class
24 protected:
25  virtual void setup(WorkSpace *ws);
26  virtual void cleanup(WorkSpace *ws);
27  virtual void processBB(WorkSpace *ws, CFG *cfg, BasicBlock *bb);
28 
29 public:
31 };
32 
33 } } // otawa::ipet
34 
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