|
Identifier< Path > | otawa::FLOW_FACTS_PATH ("otawa::FLOW_FACTS_PATH","") |
| This property may be used in the configuration of a code processor to pass the path of an flow fact file containing flow facts. More...
|
|
Identifier< xom::Element * > | otawa::FLOW_FACTS_NODES ("otawa::FLOW_FACTS_NODES") |
| This property may be used in the configuration of a code processor to directly pass an xml element containing flow facts in Flow Fact XML format format. More...
|
|
Feature< FlowFactLoader > | otawa::FLOW_FACTS_FEATURE ("otawa::FLOW_FACTS_FEATURE") |
| This feature ensures that the flow facts has been loaded. More...
|
|
Feature< FlowFactLoader > | otawa::MKFF_PRESERVATION_FEATURE ("otawa::MKFF_PRESERVATION_FEATURE") |
| This feature ensures that preservation information used by mkff is put on instruction. More...
|
|
Identifier< bool > | otawa::IS_RETURN ("otawa::IS_RETURN", false) |
| Put on a control flow instruction, this shows that this instruction is equivalent to a function return. More...
|
|
Identifier< bool > | otawa::NO_RETURN ("otawa::NO_RETURN", false) |
| This annotation is put on the first instruction of functions that does not never return. More...
|
|
Identifier< int > | otawa::MAX_ITERATION ("otawa::MAX_ITERATION",-1) |
| Put on the first instruction of a loop, it gives the maximum number of iteration of this loop. More...
|
|
Identifier< bool > | otawa::FLOW_FACTS_MANDATORY ("otawa::FLOW_FACTS_MANDATORY", false) |
| In configuration of the FlowFactLoader, makes it fail if no flow fact fail is available. More...
|
|
Identifier< bool > | otawa::NO_CALL ("otawa::NO_CALL", false) |
| Put on the first instruction of a function that must be no called. More...
|
|
Identifier< bool > | otawa::NO_INLINE ("otawa::NO_INLINE") |
| Put on the first instruction of a function to indicate whether it should be inlined or not during virtualization. More...
|
|
Identifier< bool > | otawa::INLINING_POLICY ("otawa::INLINING_POLICY") |
| Put on the first instruction of a function to set default inlining behavior during its virtualization. More...
|
|
Identifier< bool > | otawa::IGNORE_CONTROL ("otawa::IGNORE_CONTROL", false) |
| Put on a control instruction to prevent it to be interpreted as is. More...
|
|
Identifier< bool > | otawa::IGNORE_SEQ ("otawa::IGNORE_SEQ", false) |
| Put on a control instruction to prevent to pass in sequence. More...
|
|
Identifier< Address > | otawa::BRANCH_TARGET ("otawa::BRANCH_TARGET", Address()) |
| Put on instruction that may branch to several targets or whose target computation cannot computed. More...
|
|
Identifier< Address > | otawa::CALL_TARGET ("otawa::CALL_TARGET", Address()) |
| Put on instruction that may call to several targets or whose target computation cannot computed. More...
|
|
Identifier< bool > | otawa::PRESERVED ("otawa::PRESERVED", false) |
| Put on instruction that must preserved from the mkff special flow-fact detection. More...
|
|
Identifier< int > | otawa::MIN_ITERATION ("otawa::MIN_ITERATION",-1) |
| Put on the first instruction of a loop, it gives the minimal number of iterations. More...
|
|
Identifier< int > | otawa::TOTAL_ITERATION ("otawa::TOTAL_ITERATION",-1) |
| Put on the first instruction of a loop, it gives the total number of iterations during the whole execution of the program. More...
|
|
Identifier< bool > | otawa::IGNORE_ENTRY ("otawa::IGNORE_ENTRY", false) |
| Put on function symbol that must be ignored as function entry. More...
|
|
Identifier< Pair< Address,
Address > > | otawa::ACCESS_RANGE ("otawa::ACCESS_RANGE") |
| Put on a memory access instruction, provides a range of possible accesses. More...
|
|