- Generated on Mon Dec 28 2015 17:50:57 for Otawa by
1.8.7
|
Otawa
0.10
|
#include <otawa/prop/Identifier.h>#include <otawa/proc/SilentFeature.h>#include <otawa/ipet/ILPSystemGetter.h>#include <otawa/prog/WorkSpace.h>Go to the source code of this file.
Namespaces | |
| otawa | |
| $Id$ Copyright (c) 2007, IRIT - UPS casse@irit.fr | |
| otawa::ilp | |
| otawa::ipet | |
Variables | |
| Identifier< bool > | otawa::ipet::EXPLICIT |
| Identifier of a boolean property requiring that explicit names must be used. More... | |
| Identifier< string > | otawa::ipet::ILP_PLUGIN_NAME |
| Select the name of the plugin to use as the ILP solver. More... | |
| Feature< NoProcessor > | otawa::ipet::INTERBLOCK_SUPPORT_FEATURE |
| This feature ensures that effects of the inter-block have been modelized in the current ILP system. More... | |
| SilentFeature | otawa::ipet::BB_TIME_FEATURE |
| This feature ensures that the execution time of each basic block has been computed. More... | |
| Identifier< ot::time > | otawa::ipet::TIME |
| This identifier is used for storing the time of execution in cycles (int) of the program area it applies to. More... | |
| Identifier< ot::time > | otawa::ipet::TIME_DELTA |
| This property is used to store time delta on edges. More... | |
| Identifier< int > | otawa::ipet::COUNT |
| This property is put on basic blocks and edge to record the execution count of these object on the WCET path. More... | |
| SilentFeature | otawa::ipet::ASSIGNED_VARS_FEATURE |
| This feature asserts that each block and each edge has a variable name asserted. More... | |
| Identifier< ilp::Var * > | otawa::ipet::VAR |
| This identifier is used for storing in basic blocks and edges the variables (otawa::ilp::Var *) used in ILP resolution. More... | |
| SilentFeature | otawa::ipet::WCET_FEATURE |
| This feature ensures that the WCET has been computed using IPET approach. More... | |
| Identifier< ot::time > | otawa::ipet::WCET |
| Identifier of annotation used for storing for storing the WCET value (int) in the CFG of the computed function. More... | |
| SilentFeature | otawa::ipet::OBJECT_FUNCTION_FEATURE |
| This feature ensures that the object function of the ILP system to solve has been built. More... | |
| p::feature | otawa::ipet::CONTROL_CONSTRAINTS_FEATURE |
| This feature ensures that control constraints has been added to the current ILP system. More... | |
| Identifier < otawa::ilp::Constraint * > | otawa::ipet::CALLING_CONSTRAINT |
| Used to record the constraint of a called CFG. More... | |
| SilentFeature | otawa::ipet::FLOW_FACTS_CONSTRAINTS_FEATURE |
| This feature asserts that constraints tied to the flow fact information has been added to the ILP system. More... | |
| SilentFeature | otawa::ipet::FLOW_FACTS_FEATURE |
| This feature ensures that flow facts information (at less the loop bounds) has been put on the CFG of the current task. More... | |
| SilentFeature | otawa::ipet::ILP_SYSTEM_FEATURE |
| This feature assert that an ILP is available for IPET computation. More... | |
| Identifier< ilp::System * > | otawa::ipet::SYSTEM |
| Link the curerently ILP system. More... | |
| p::feature | otawa::ipet::DATA_CACHE_SUPPORT_FEATURE |
| This feature ensures that the first-level data cache has been taken in account in the basic block timing. More... | |
| p::feature | otawa::ipet::INST_CACHE_SUPPORT_FEATURE |
| This feature ensurers that the instruction cache has been modelled in the IPET approach. More... | |
| p::feature | otawa::ipet::CACHE_SUPPORT_FEATURE |
| This feature ensures that analysis for the cache configuration has been performed. More... | |
| p::feature | otawa::ipet::WCET_COUNT_RECORDED_FEATURE |
| This feature asserts that WCET execution count of basic block and of edge have been recorded. More... | |
1.8.7