util_Dominance.cpp File Reference

#include <elm/deprecated.h>
#include <otawa/util/Dominance.h>
#include <otawa/dfa/IterativeDFA.h>
#include <otawa/dfa/BitSet.h>
#include <otawa/cfg.h>
#include <otawa/prop/DeletableProperty.h>
#include <otawa/cfg/features.h>
#include <otawa/proc/BBProcessor.h>

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

Functions
Identifier< BitSet * >	otawa::REVERSE_DOM ("otawa::REVERSE_DOM", 0)
	Identifier of annotation containing reverse-dominance information. More...
Identifier< bool >	otawa::LOOP_HEADER ("otawa::LOOP_HEADER", false)
	Identifier for marking basic blocks that are entries of loops. More...
Identifier< bool >	otawa::BACK_EDGE ("otawa::BACK_EDGE", false)
	Identifier for marking back edges. More...
SilentFeature	otawa::DOMINANCE_FEATURE ("otawa::DOMINANCE_FEATURE", DOMINANCE_MAKER)
	This feature ensures that information about domination between nodes of a CFG is vailable. More...
SilentFeature	otawa::LOOP_HEADERS_FEATURE ("otawa::LOOP_HEADERS_FEATURE", LOOP_HEADERS_MAKER)
	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...