cfg_LoopUnroller.cpp File Reference

#include <elm/io.h>
#include <elm/genstruct/Vector.h>
#include <elm/genstruct/HashTable.h>
#include <elm/genstruct/VectorQueue.h>
#include <otawa/ipet/FlowFactLoader.h>
#include <otawa/ipet/IPET.h>
#include <otawa/util/Dominance.h>
#include <otawa/cfg.h>
#include <otawa/util/LoopInfoBuilder.h>
#include <otawa/cfg/CFGCollector.h>
#include <elm/util/Pair.h>
#include <otawa/cfg/LoopUnroller.h>
#include <otawa/cfg/Virtualizer.h>

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

Functions
SilentFeature	otawa::UNROLLED_LOOPS_FEATURE ("otawa::UNROLLED_LOOPS_FEATURE", UNROLLED_LOOPS_MAKER)
	This feature that the loops have been unrolled at least once. More...
Identifier< BasicBlock * >	otawa::UNROLLED_FROM ("otawa::UNROLLED_FROM", 0)
	Put on the header ex-header of a loop, this property gives the BB of the unrolled loop. More...