cfg_LoopInfoBuilder.cpp File Reference

#include <otawa/cfg/features.h>
#include <otawa/util/Dominance.h>
#include <elm/genstruct/Vector.h>
#include <elm/genstruct/SortedSLList.h>
#include <otawa/cfg.h>
#include <otawa/dfa/IterativeDFA.h>
#include <otawa/dfa/BitSet.h>

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

Functions
p::feature	otawa::LOOP_INFO_FEATURE ("otawa::LOOP_INFO_FEATURE", new Maker< LoopInfoBuilder >())
	This feature asserts that the loop info of the task is available in the framework. More...
Identifier< BasicBlock * >	otawa::ENCLOSING_LOOP_HEADER ("otawa::ENCLOSING_LOOP_HEADER", 0)
	Defined for any BasicBlock that is part of a loop. More...
Identifier< BasicBlock * >	otawa::LOOP_EXIT_EDGE ("otawa::LOOP_EXIT_EDGE", 0)
	Is defined for an Edge if this Edge is the exit-edge of any loop. More...
Identifier < elm::genstruct::Vector< Edge * > * >	otawa::EXIT_LIST ("otawa::EXIT_LIST", 0)
	Defined for any BasicBlock that is a loop header. More...