cfg_Virtualizer.cpp File Reference

#include <elm/io.h>
#include <otawa/cfg.h>
#include <otawa/proc/CFGProcessor.h>
#include <otawa/cfg/Virtualizer.h>
#include <otawa/ipet/FlowFactLoader.h>
#include <otawa/cfg/CFGCollector.h>
#include <otawa/prog/Manager.h>
#include <otawa/prop/info.h>
#include <otawa/util/FlowFactLoader.h>

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

Functions
p::feature	otawa::VIRTUALIZED_CFG_FEATURE ("otawa::VIRTUALIZED_CFG_FEATURE", new Maker< Virtualizer >())
	This features only show that the CFG has been virtualized. More...
Identifier< BasicBlock * >	otawa::VIRTUAL_RETURN_BLOCK ("otawa::VIRTUAL_RETURN_BLOCK", 0)
	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 ("otawa::CALLED_CFG", 0)
	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 ("otawa::RECURSIVE_LOOP", false)
	A property with this identifier is hooked to edge performing a recursive call when inlining is used. More...
Identifier< BasicBlock * >	otawa::RETURN_OF ("otawa::RETURN_OF", 0)
	This property is put on a returning basic block and provides the matching entry block of the function. More...
Identifier< bool >	otawa::VIRTUAL_INLINING ("otawa::VIRTUAL_INLINING", true)
	Configuration property of Virtualizer: it set the default behavior for inlining of function call during virtualization (default to true). More...