|
p::feature | otawa::DELAYED_FEATURE ("otawa::DELAYED_FEATURE", new Maker< NoProcessor >()) |
| This feature is put on processes by the loader to inform that the control instruction of the current instruction contains delayed branches. More...
|
|
elm::io::Output & | otawa::operator<< (elm::io::Output &out, Process *proc) |
|
p::feature | otawa::MEMORY_ACCESS_FEATURE ("otawa::MEMORY_ACCESS_FEATURE", new Maker< NoProcessor >()) |
| This feature is usually asserted by processes that provides access to the memory segment of the program. More...
|
|
p::feature | otawa::FLOAT_MEMORY_ACCESS_FEATURE ("otawa::FLOAT_MEMORY_ACCES_FEATURE", new Maker< NoProcessor >()) |
| This feature is usually asserted by processes that provides access to the memory segment of the program with float values. More...
|
|
p::feature | otawa::REGISTER_USAGE_FEATURE ("otawa::REGISTER_USAGE_FEATURE", new Maker< NoProcessor >()) |
| This feature is usually asserted by processes that provides access to the register usage information. More...
|
|
p::feature | otawa::CONTROL_DECODING_FEATURE ("otawa::CONTROL_DECODING_FEATURE", new Maker< NoProcessor >()) |
| This feature is usually provided by the loader providing decoding facility for control instructions. More...
|
|
p::feature | otawa::SOURCE_LINE_FEATURE ("otawa::SOURCE_LINE_FEATURE", new Maker< NoProcessor >()) |
| This feature asserts that a table matching program address and source (file, lines) is available. More...
|
|
p::feature | otawa::VLIW_SUPPORTED ("otawa::VLIW_SUPPORTED", new Maker< NoProcessor >()) |
| This feature is provided on Process objects by architecture implementing VLIW facilities. More...
|
|
Identifier< Address > | otawa::ARGV_ADDRESS ("otawa::ARGV_ADDRESS", Address::null) |
| This feature is put on the process object whose image supports Unix-like argument passing. More...
|
|
Identifier< Address > | otawa::ENVP_ADDRESS ("otawa::ENVP_ADDRESS", Address::null) |
| This feature is put on the process object whose image supports Unix-like argument passing. More...
|
|
Identifier< Address > | otawa::AUXV_ADDRESS ("otawa::AUXV_ADDRESS", Address::null) |
| This feature is put on the process object whose image supports Unix-like argument passing. More...
|
|
Identifier< Address > | otawa::SP_ADDRESS ("otawa::SP_ADDRESS", Address::null) |
| This feature is put on the process to get information about the built image. More...
|
|
p::feature | otawa::MEMORY_ACCESSES ("otawa::MEMORY_ACCESSES", new Maker< NoProcessor >()) |
| This feature, put on a process, informs that the functional simulator provides the ability to give information about memory accesses. More...
|
|
p::feature | otawa::SEMANTICS_INFO ("otawa::SEMANTICS_INFO", new Maker< NoProcessor >()) |
| This feature is present when the loader provides implementation of semantics information. More...
|
|
p::feature | otawa::SEMANTICS_INFO_EXTENDED ("otawa::SEMANTICS_INFO_EXTENDED", new Maker< NoProcessor >()) |
| This feature is present when the loader provides implementation of extended semantics information. More...
|
|
p::feature | otawa::SEMANTICS_INFO_FLOAT ("otawa::SEMANTICS_INFO_FLOAT", new Maker< NoProcessor >()) |
| This feature is present when the loader provides implementation of floating-point semantic instructions. More...
|
|
Identifier< delayed_t > | otawa::DELAYED ("otawa::DELAYED", DELAYED_None) |
| This kind of property is put on control branch to know if the following instruction is executed as part of a delayed branch. More...
|
|
p::feature | otawa::DELAYED2_FEATURE ("otawa::DELAYED2_FEATURE", new Maker< NoProcessor >()) |
| This Process feature informs that the actual architecture supports delayed branch. More...
|
|
Identifier< DelayedInfo * > | otawa::DELAYED_INFO ("otawa::DELAYED_INFO", 0) |
| This property provides access to delayed branch information of the current program. More...
|
|