21 #ifndef OTAWA_CAT_CATBUILDER_H
22 #define OTAWA_CAT_CATBUILDER_H
24 #include <elm/assert.h>
59 #endif // OTAWA_CAT_CATBUILDER_H
CATBuilder(p::declare &r=reg)
Definition: cat_CATBuilder.cpp:158
Create a new CATBuilder processor.
Definition: CATBuilder.h:41
static Identifier< bool > NON_CONFLICT
Does anybody know anything about this?
Definition: CATBuilder.h:43
Class to declare simple a processor.
Definition: Registration.h:213
This class implements a set as a bit vector.
Definition: BitSet.h:82
void worst(LBlock *line, ContextTree *S, LBlockSet *cacheline, int dec)
Definition: cat_CATBuilder.cpp:220
Control Flow Graph representation.
Definition: CFG.h:42
The processor class is implemented by all code processor.
Definition: Processor.h:49
static p::declare reg
Definition: CATBuilder.h:44
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
dfa::BitSet * buildLBLOCKSET(LBlockSet *lcache, ContextTree *root)
Annotate all the loop headers with the set of the l-blocks contained in the loop. ...
Definition: cat_CATBuilder.cpp:368
Identifier< BasicBlock * > LOWERED_CATEGORY
This property is set for L-Block categories that has been lowered, that is, they was classified as fi...
The l-block is an abstraction allowing to split the basic block according to the bound of the cache b...
Definition: LBlock.h:43
virtual void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: cat_CATBuilder.cpp:117
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
Definition: ContextTree.h:37
void setCATEGORISATION(LBlockSet *lineset, ContextTree *S, int dec)
Definition: cat_CATBuilder.cpp:169
void processLBlockSet(WorkSpace *fw, LBlockSet *lbset)
Definition: cat_CATBuilder.cpp:79