22 #ifndef OTAWA_TSIM_DELTA_H
23 #define OTAWA_TSIM_DELTA_H
static Identifier< int > SEQ_COMPLETION
This identifier is used for storing the time for the first instruction to fetch after all instruction...
Definition: Delta.h:65
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
static Identifier< TreePath< BasicBlock *, BBPath * > * > TREE
This identifier is used for storing in a BasicBlock a TreePath storing all BBPath starting from this ...
Definition: Delta.h:64
int max_length
Definition: Delta.h:45
static Identifier< double > MEAN_LENGTH
Property used to return statistics about the Delta processor about the mean sequence length in instru...
Definition: Delta.h:67
Definition: Registration.h:138
Control Flow Graph representation.
Definition: CFG.h:42
int levels
Definition: Delta.h:42
int completion
Definition: Delta.h:43
Delta(void)
Build a new delta calculator.
Definition: tsim_Delta.cpp:75
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
bool explicitNames
Definition: Delta.h:44
virtual void configure(const PropList &props)
Configures the delta calculator.
Definition: tsim_Delta.cpp:85
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
static Identifier< double > MAX_LENGTH
Property used to return statistics about the Delta processor about the maximal sequence length in ins...
Definition: Delta.h:66
static Identifier< int > LEVELS
This identifier is used for forcing the depth of the Delta algorith.
Definition: Delta.h:62
int length_sum
Definition: Delta.h:46
virtual void processCFG(WorkSpace *fw, CFG *cfg)
Process the given CFG.
Definition: tsim_Delta.cpp:176
Feature< Delta > DELTA_SEQUENCES_FEATURE
Feature ensure that sequences have been built to achieve the Delta interblock effect support...
This a list of properties.
Definition: PropList.h:63
virtual void cleanup(WorkSpace *fw)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: tsim_Delta.cpp:104
int length_cnt
Definition: Delta.h:47
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
static Registration< Delta > reg
Definition: Delta.h:58
static int delta(BBPath &bbp, WorkSpace *fw)
Calculate the delta of the given BBPath.
Definition: tsim_Delta.cpp:242
static Identifier< int > DELTA
This identifier is used for storing the delta value of a path.
Definition: Delta.h:63
virtual void setup(WorkSpace *fw)
This method is called before an anlysis to let the processor do some initialization.
Definition: tsim_Delta.cpp:95
A feature is a set of facilities, usually provided using properties, available on a framework...
Definition: Feature.h:46
void processBBPath(WorkSpace *fw, ilp::System *system, BBPath *bbpath)
Build the constraints for the given BB path.
Definition: tsim_Delta.cpp:120