|
Identifier< ot::time > | otawa::ipet::TIME ("otawa::ipet::TIME",-1, idLabel("time"), idDesc("execution time (in cycles)"), 0) |
| This identifier is used for storing the time of execution in cycles (int) of the program area it applies to. More...
|
|
Identifier< ilp::Var * > | otawa::ipet::VAR ("otawa::ipet::VAR", 0, idLabel("variable"), idDesc("variable in ILP system for IPET resolution"), 0) |
| This identifier is used for storing in basic blocks and edges the variables (otawa::ilp::Var *) used in ILP resolution. More...
|
|
Identifier< ot::time > | otawa::ipet::WCET ("otawa::ipet::WCET",-1, idLabel("WCET"), idDesc("WCET (in cycles)"), 0) |
| Identifier of annotation used for storing for storing the WCET value (int) in the CFG of the computed function. More...
|
|
Identifier< bool > | otawa::ipet::EXPLICIT ("otawa::ipet::EXPLICIT", false) |
| Identifier of a boolean property requiring that explicit names must be used. More...
|
|
Identifier< ot::time > | otawa::ipet::TIME_DELTA ("otawa::ipet::TIME_DELTA", 0, idLabel("time delta"), idDesc("time fix for an edge traversal (in cycles)"), 0) |
| This property is used to store time delta on edges. More...
|
|
Identifier< int > | otawa::ipet::COUNT ("otawa::ipet::COUNT",-1, idLabel("execution count"), idDesc("execution count in WCET"), 0) |
| This property is put on basic blocks and edge to record the execution count of these object on the WCET path. More...
|
|
ilp::System * | otawa::ipet::getSystem (WorkSpace *fw, CFG *cfg) |
| Get the system tied with the given CFG. More...
|
|
Feature< NoProcessor > | otawa::ipet::INTERBLOCK_SUPPORT_FEATURE ("otawa::ipet::INTERBLOCK_SUPPORT_FEATURE") |
| This feature ensures that effects of the inter-block have been modelized in the current ILP system. More...
|
|