features.h File Reference

#include <otawa/proc/Feature.h>

Go to the source code of this file.

Classes
class	otawa::DelayedInfo
	Provide information on delayed branches. More...

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr

Typedefs
typedef enum otawa::delayed_t	otawa::delayed_t

Enumerations
enum	otawa::delayed_t { otawa::DELAYED_None = 0, otawa::DELAYED_Always = 1, otawa::DELAYED_Taken = 2 }
	Enumeration giving the type of delayed modes used by control instruction. More...

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