features.h File Reference

#include <otawa/proc/SilentFeature.h>
#include <elm/genstruct/FragTable.h>
#include <otawa/cfg/CFG.h>

Go to the source code of this file.

Classes
class	elm::genstruct::Tree< class >
class	otawa::CFGCollection
	Contains a collection of CFGs (used with INVOLVED_CFGS property). More...
class	otawa::CFGCollection::Iterator
	Iterator on the CFG contained in a CFGCollection. More...
class	otawa::CFGCollection::BBIterator

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

Typedefs
typedef elm::genstruct::Tree < SESERegion * >	otawa::PSTree

Variables
SilentFeature	otawa::PFG_FEATURE
	Feature providing the PFG of the application. More...
Identifier< pfg::PFG * >	otawa::PFG
	PFG of the program. More...
Identifier< pfg::BB * >	otawa::PFG_BB
	Link of pfg::BB on an in instruction. More...
Identifier< CFG * >	otawa::ENTRY_CFG
	This property may be used to pass the entry CFG to a CFG processor or is used by the CFG processor to record in the framework the entry CFG of the currently processed task. More...
SilentFeature	otawa::COLLECTED_CFG_FEATURE
	This feature asserts that all CFG involved in the current computation has been collected and accessible thanks to INVOLVED_CFGS property. More...
Identifier< const CFGCollection * >	otawa::INVOLVED_CFGS
	This property is used to link the current computation involved CFG on the framework. More...
Identifier< Edge * >	otawa::CALLED_BY
	This properties are put on a CFG to get the list of edges calling it. More...
p::feature	otawa::CFG_INFO_FEATURE
	Feature asserting that the CFG has been scanned in the program. More...
Identifier< CFGInfo * >	otawa::CFG_INFO
	Get the collection of CFG found in the program. More...
SilentFeature	otawa::REDUCED_LOOPS_FEATURE
SilentFeature	otawa::UNROLLED_LOOPS_FEATURE
	This feature that the loops have been unrolled at least once. More...
Identifier< BasicBlock * >	otawa::UNROLLED_FROM
	Put on the header ex-header of a loop, this property gives the BB of the unrolled loop. More...
SilentFeature	otawa::PST_FEATURE
	This feature represents the availability of the Program Structure Tree. More...
Identifier< BasicBlock * >	otawa::FROM_BB
	When we get the VirtualCFG associated with a SESE region, this property, hooked on a BB from the Virtual CFG, gives the corresponding BB on the original (physical) CFG. More...
Identifier< Edge * >	otawa::FROM_EDGE
	This property is like. More...
Identifier< PSTree * >	otawa::PROGRAM_STRUCTURE_TREE
	This property points to the Program Structure Tree of the CFG. More...
p::feature	otawa::VIRTUALIZED_CFG_FEATURE
	This features only show that the CFG has been virtualized. More...
Identifier< bool >	otawa::VIRTUAL_INLINING
	Configuration property of Virtualizer: it set the default behavior for inlining of function call during virtualization (default to true). More...
Identifier< BasicBlock * >	otawa::VIRTUAL_RETURN_BLOCK
	This property is put on a BB performing a function call that has been virtualized (inlined in the current CFG). More...
Identifier< CFG * >	otawa::CALLED_CFG
	A property with this identifier is hooked to the edges performing virtual calls and virtual returns when inlining is used. More...
Identifier< bool >	otawa::RECURSIVE_LOOP
	A property with this identifier is hooked to edge performing a recursive call when inlining is used. More...
Identifier< BasicBlock * >	otawa::RETURN_OF
	This property is put on a returning basic block and provides the matching entry block of the function. More...
SilentFeature	otawa::CFG_CHECKSUM_FEATURE
	This feature ensures that each CFG has hooked a checksum allowing to check binary modifications between launch of an OTAWA application. More...
Identifier< unsigned long >	otawa::CHECKSUM
	This property hooked on a CFG provides a checksum build on the instruction of the CFG. More...
SilentFeature	otawa::CHECKED_CFG_FEATURE
	This feature ensures that. More...
SilentFeature	otawa::DELAYED_CFG_FEATURE
	This feature informs that the current microprocessor supports delayed branches and that the CFG has been changed to reflect effect of delay branches. More...
Identifier< bool >	otawa::DELAYED_INST
	This property is set on instruction of a delayed branch. More...
Identifier< bool >	otawa::DELAYED_NOP
	This property is true on NOP instructions insserted due to branch delay. More...
SilentFeature	otawa::LOOP_HEADERS_FEATURE
	This feature ensures that all loop header are marked with a LOOP_HEADER property, and the backedges are marked with a BACK_EDGE property. More...
Identifier< bool >	otawa::LOOP_HEADER
	Identifier for marking basic blocks that are entries of loops. More...
Identifier< bool >	otawa::BACK_EDGE
	Identifier for marking back edges. More...
Identifier< BasicBlock * >	otawa::ENCLOSING_LOOP_HEADER
	Defined for any BasicBlock that is part of a loop. More...
Identifier< BasicBlock * >	otawa::LOOP_EXIT_EDGE
	Is defined for an Edge if this Edge is the exit-edge of any loop. More...
Identifier < elm::genstruct::Vector< Edge * > * >	otawa::EXIT_LIST
	Defined for any BasicBlock that is a loop header. More...
p::feature	otawa::LOOP_INFO_FEATURE
	This feature asserts that the loop info of the task is available in the framework. More...
Identifier< sys::Path >	otawa::CFG_IO_PATH
	This property allows to configure the file used by CFGLoader and CFGSaver. More...
Identifier< int >	otawa::WEIGHT
	Get the maximum weight for the basic block it is hooked to. More...
p::feature	otawa::WEIGHT_FEATURE
	This feature ensures that weight information has been hooked to any BB of the CFG. More...