FlowFactLoader.h File Reference

#include <elm/string.h>
#include <elm/utility.h>
#include <elm/io.h>
#include <elm/system/Path.h>
#include <otawa/base.h>
#include <otawa/prop/Identifier.h>
#include <otawa/proc/Feature.h>
#include <elm/genstruct/Vector.h>
#include <otawa/prop/ContextualProperty.h>
#include <elm/types.h>
#include <otawa/dfa/State.h>

Go to the source code of this file.

Classes
class	otawa::FlowFactLoader
	This class is an abstract class to monitor the load of flow facts. More...

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

Functions
int	util_fft_parse (otawa::FlowFactLoader *loader)
void	util_fft_error (otawa::FlowFactLoader *loader, const char *msg)

Variables
Identifier< 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
	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...
Identifier< bool >	otawa::FLOW_FACTS_MANDATORY
	In configuration of the FlowFactLoader, makes it fail if no flow fact fail is available. More...
Feature< FlowFactLoader >	otawa::FLOW_FACTS_FEATURE
	This feature ensures that the flow facts has been loaded. More...
Feature< FlowFactLoader >	otawa::MKFF_PRESERVATION_FEATURE
	This feature ensures that preservation information used by mkff is put on instruction. More...
Identifier< bool >	otawa::IS_RETURN
	Put on a control flow instruction, this shows that this instruction is equivalent to a function return. More...
Identifier< bool >	otawa::NO_RETURN
	This annotation is put on the first instruction of functions that does not never return. More...
Identifier< int >	otawa::MAX_ITERATION
	Put on the first instruction of a loop, it gives the maximum number of iteration of this loop. More...
Identifier< int >	otawa::MIN_ITERATION
	Put on the first instruction of a loop, it gives the minimal number of iterations. More...
Identifier< int >	otawa::TOTAL_ITERATION
	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::NO_CALL
	Put on the first instruction of a function that must be no called. More...
Identifier< bool >	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
	Put on the first instruction of a function to set default inlining behavior during its virtualization. More...
Identifier< bool >	otawa::IGNORE_CONTROL
	Put on a control instruction to prevent it to be interpreted as is. More...
Identifier< bool >	otawa::IGNORE_SEQ
	Put on a control instruction to prevent to pass in sequence. More...
Identifier< Address >	otawa::BRANCH_TARGET
	Put on instruction that may branch to several targets or whose target computation cannot computed. More...
Identifier< bool >	otawa::PRESERVED
	Put on instruction that must preserved from the mkff special flow-fact detection. More...
Identifier< bool >	otawa::IGNORE_ENTRY
	Put on function symbol that must be ignored as function entry. More...
Identifier< Address >	otawa::CALL_TARGET
	Put on instruction that may call to several targets or whose target computation cannot computed. More...
Identifier< Pair< Address, Address > >	otawa::ACCESS_RANGE
	Put on a memory access instruction, provides a range of possible accesses. More...

Function Documentation

void util_fft_error	(	otawa::FlowFactLoader *	loader,
		const char *	msg
	)

References otawa::FlowFactLoader::onError().

int util_fft_parse

(

otawa::FlowFactLoader *

loader

)

Referenced by otawa::FlowFactLoader::loadF4().