23 #ifndef OTAWA_CACHE_CAT2BUILDER_H_
24 #define OTAWA_CACHE_CAT2BUILDER_H_
int total_cnt
Definition: CAT2Builder.h:50
This class is used to store statistics about the categories about cache accesses. ...
Definition: categories.h:49
static Registration< CAT2Builder > reg
Definition: CAT2Builder.h:40
Abstract class to represent the registered processors.
Definition: Registration.h:80
fmlevel_t firstmiss_level
Definition: CAT2Builder.h:48
Definition: Registration.h:138
int nc_cnt
Definition: CAT2Builder.h:50
void processLBlockSet(otawa::CFG *, LBlockSet *, const hard::Cache *)
!!TODO!!
Definition: cache_CAT2Builder.cpp:105
int am_cnt
Definition: CAT2Builder.h:50
CAT2Builder(AbstractRegistration ®istration=reg)
Definition: cache_CAT2Builder.cpp:52
Control Flow Graph representation.
Definition: CFG.h:42
virtual void configure(const PropList &props)
Configure the current processor.
Definition: cache_CAT2Builder.cpp:207
virtual void processCFG(WorkSpace *, otawa::CFG *)
Definition: cache_CAT2Builder.cpp:221
const AbstractRegistration & registration(void)
Definition: Registry.h:54
This processor produces categorization information for each l-block.
Definition: CAT2Builder.h:37
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
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
int pers_cnt
Definition: CAT2Builder.h:50
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
cache::CategoryStats * cstats
Definition: CAT2Builder.h:49
int ah_cnt
Definition: CAT2Builder.h:50
This a list of properties.
Definition: PropList.h:63
enum otawa::fmlevel fmlevel_t
virtual void setup(WorkSpace *)
!!TODO!!
Definition: cache_CAT2Builder.cpp:201