21 #ifndef OTAWA_IPET_FEATURES_H
22 #define OTAWA_IPET_FEATURES_H
52 extern Identifier<ot::time>
TIME;
55 extern Identifier<int>
COUNT;
58 extern Identifier<ilp::Var *>
VAR;
61 extern Identifier<ot::time>
WCET;
73 extern Identifier<ilp::System *>
SYSTEM;
83 #endif // OTAWA_IPET_FEATURES_H
SilentFeature ILP_SYSTEM_FEATURE
This feature assert that an ILP is available for IPET computation.
SilentFeature FLOW_FACTS_CONSTRAINTS_FEATURE
This feature asserts that constraints tied to the flow fact information has been added to the ILP sys...
Feature< NoProcessor > INTERBLOCK_SUPPORT_FEATURE
This feature ensures that effects of the inter-block have been modelized in the current ILP system...
Identifier< string > ILP_PLUGIN_NAME
Select the name of the plugin to use as the ILP solver.
p::feature WCET_COUNT_RECORDED_FEATURE
This feature asserts that WCET execution count of basic block and of edge have been recorded...
Identifier< ot::time > TIME_DELTA
This property is used to store time delta on edges.
Identifier< ilp::System * > SYSTEM
Link the curerently ILP system.
p::feature INST_CACHE_SUPPORT_FEATURE
This feature ensurers that the instruction cache has been modelled in the IPET approach.
SilentFeature OBJECT_FUNCTION_FEATURE
This feature ensures that the object function of the ILP system to solve has been built...
p::feature CACHE_SUPPORT_FEATURE
This feature ensures that analysis for the cache configuration has been performed.
p::feature DATA_CACHE_SUPPORT_FEATURE
This feature ensures that the first-level data cache has been taken in account in the basic block tim...
Identifier< otawa::ilp::Constraint * > CALLING_CONSTRAINT
Used to record the constraint of a called CFG.
p::feature CONTROL_CONSTRAINTS_FEATURE
This feature ensures that control constraints has been added to the current ILP system.
SilentFeature ASSIGNED_VARS_FEATURE
This feature asserts that each block and each edge has a variable name asserted.
Identifier< ot::time > TIME
This identifier is used for storing the time of execution in cycles (int) of the program area it appl...
Identifier< ilp::Var * > VAR
This identifier is used for storing in basic blocks and edges the variables (otawa::ilp::Var *) used ...
SilentFeature WCET_FEATURE
This feature ensures that the WCET has been computed using IPET approach.
Identifier< ot::time > WCET
Identifier of annotation used for storing for storing the WCET value (int) in the CFG of the computed...
Identifier< int > COUNT
This property is put on basic blocks and edge to record the execution count of these object on the WC...
Identifier< bool > EXPLICIT
Identifier of a boolean property requiring that explicit names must be used.
SilentFeature BB_TIME_FEATURE
This feature ensures that the execution time of each basic block has been computed.
SilentFeature FLOW_FACTS_FEATURE
This feature ensures that flow facts information (at less the loop bounds) has been put on the CFG of...