Available Features and Processors

This page provides quick access to analyzes proposed by OTAWA core. More...

This page provides quick access to analyzes proposed by OTAWA core.

It contains mainly common features and sometimes, when no feature is provided, processor for specific facilities (marked as processors).

Flow Fact Features

• otawa::FLOW_FACTS_FEATURE
• otawa::MKFF_PRESERVATION_FEATURE

CFG Features

Includes otawa/cfg/features.h

• otawa::CFG_CHECKSUM_FEATURE
• otawa::CFG_INFO_FEATURE
• otawa::CHECKED_CFG_FEATURE
• otawa::COLLECTED_CFG_FEATURE
• otawa::CONTEXT_TREE_FEATURE
• otawa::DEAD_CODE_ANALYSIS_FEATURE
• otawa::DELAYED_CFG_FEATURE
• otawa::DOMINANCE_FEATURE
• otawa::LOOP_HEADERS_FEATURE
• otawa::LOOP_INFO_FEATURE
• otawa::NORMALIZED_CFGS_FEATURE
• otawa::PCG_FEATURE
• otawa::POSTDOMINANCE_FEATURE
• otawa::PST_FEATURE
• otawa::REDUCED_LOOPS_FEATURE
• otawa::UNROLLED_LOOPS_FEATURE
• otawa::VIRTUALIZED_CFG_FEATURE

IPET Features

• otawa::ipet::ASSIGNED_VARS_FEATURE
• otawa::ipet::BB_TIME_FEATURE
• otawa::ipet::CONTROL_CONSTRAINTS_FEATURE
• otawa::ipet::DATA_CACHE_SUPPORT_FEATURE
• otawa::ipet::DELTA_SEQUENCES_FEATURE
• otawa::ipet::FLOW_FACTS_CONSTRAINTS_FEATURE
• otawa::ipet::FLOW_FACTS_FEATURE
• otawa::ipet::ILP_SYSTEM_FEATURE
• otawa::ipet::INST_CACHE_SUPPORT_FEATURE
• otawa::ipet::INTERBLOCK_SUPPORT_FEATURE
• otawa::ipet::OBJECT_FUNCTION_FEATURE
• otawa::ipet::WCET_COUNT_RECORDED_FEATURE
• otawa::ipet::WCET_FEATURE

Output Features

• otawa::display::CFGOutput (processor)
• otawa::display::ILPSystemDisplayer (processor)
• otawa::ilp::OUTPUT_FEATURE

Instruction Cache features

• otawa::CCG_FEATURE
• otawa::COLLECTED_LBLOCKS_FEATURE
• otawa::ICACHE_ACS_FEATURE
• otawa::ICACHE_ACS_MAY_FEATURE
• otawa::ICACHE_CATEGORY_FEATURE
• otawa::ICACHE_CATEGORY2_FEATURE
• otawa::ICACHE_CONSTRAINT2_FEATURE;
• otawa::ICACHE_EDGE_ACS_FEATURE
• otawa::ICACHE_EDGE_CATEGORY2_FEATURE
• otawa::ICACHE_FIRSTLAST_FEATURE
• otawa::ICACHE_ONLY_CONSTRAINT2_FEATURE

Process Features

• otawa::CONTROL_DECODING_FEATURE
• otawa::DECODED_TEXT
• otawa::DELAYED_FEATURE
• otawa::DELAYED2_FEATURE
• otawa::FLOAT_MEMORY_ACCESS_FEATURE
• otawa::MEMORY_ACCESS
• otawa::MEMORY_ACCESS_FEATURE
• otawa::FLOAT_MEMORY_ACCESS_FEATURE
• otawa::REGISTER_USAGE_FEATURE
• otawa::SEMANTICS_INFO
• otawa::SEMANTICS_INFO_EXTENDED
• otawa::SEMANTICS_INFO_FLOAT
• otawa::SOURCE_LINE_FEATURE
• otawa::VLIW_SUPPORTED

Hardware Configuration Features

• otawa::hard::BHT_FEATURE
• otawa::hard::CACHE_CONFIGURATION_FEATURE
• otawa::hard::MEMORY_FEATURE
• otawa::hard::PROCESSOR_FEATURE

Data Cache Features (module dcache)

Include otawa/dcache/features.h

• otawa::dcache::CATEGORY_FEATURE
• otawa::dcache::CONSTRAINTS_FEATURE
• otawa::dcache::DATA_BLOCK_FEATURE
• otawa::dcache::DIRTY_FEATURE
• otawa::dcache::MAY_ACS_FEATURE
• otawa::dcache::MUST_ACS_FEATURE
• otawa::dcache::PERS_ACS_FATURE

Branch Features (module branch)

• otawa::branch::CATEGORY_FEATURE
• otawa::branch::CONSTRAINTS_FEATURE
• otawa::branch::NUMBERED_CONDITIONS_FEATURE
• otawa::branch::SUPPORT_FEATURE

Data Flow Features

• otawa::ADDRESS_ANALYSIS_FEATURE
• otawa::clp::FEATURE
• otawa::STACK_ANALYSIS_FEATURE