HalfAbsInt.h File Reference

#include <elm/assert.h>
#include <elm/genstruct/VectorQueue.h>
#include <elm/genstruct/Vector.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/BasicBlock.h>
#include <otawa/cfg/Edge.h>
#include <otawa/util/Dominance.h>
#include <otawa/util/LoopInfoBuilder.h>
#include <otawa/prop/Identifier.h>
#include <otawa/prog/WorkSpace.h>

Go to the source code of this file.

Classes
class	otawa::dfa::hai::HalfAbsInt< FixPoint >
	Implements abstract interpretation. More...

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

Macros
#define	HAI_TRACE(x)

Typedefs
typedef enum otawa::dfa::hai::hai_context_t	otawa::dfa::hai::hai_context_t

Enumerations
enum	otawa::dfa::hai::hai_context_t { otawa::dfa::hai::CTX_LOOP = 0, otawa::dfa::hai::CTX_FUNC = 1 }

Variables
Identifier< bool >	otawa::dfa::hai::FIXED
	This property is attached to the loop headers, and is true if the FixPoint for the associated loop has been reached. More...
Identifier< bool >	otawa::dfa::hai::FIRST_ITER
	This property is attached for the loop header, and is true if the first iteration of the associated loop is not done yet. More...
Identifier< bool >	otawa::dfa::hai::HAI_DONT_ENTER
	This property, when set to TRUE on a BasicBlock or a CFG, prevents HalfAbsInt from following edges to this BasicBlock or CFG. More...
Identifier< BasicBlock * >	otawa::dfa::hai::HAI_BYPASS_SOURCE
	This property enables the user to create a virtual "bypass" edge from the source block to the target block. More...
Identifier< BasicBlock * >	otawa::dfa::hai::HAI_BYPASS_TARGET

Macro Definition Documentation

#define HAI_TRACE

(

x

)

Referenced by otawa::dfa::hai::HalfAbsInt< FixPoint >::addSuccessors(), otawa::dfa::hai::HalfAbsInt< FixPoint >::backEdgeUnion(), otawa::dfa::hai::HalfAbsInt< FixPoint >::entryEdgeUnion(), otawa::dfa::hai::HalfAbsInt< FixPoint >::inputProcessing(), otawa::dfa::hai::HalfAbsInt< FixPoint >::outputProcessing(), otawa::dfa::hai::HalfAbsInt< FixPoint >::solve(), and otawa::dfa::hai::HalfAbsInt< FixPoint >::tryAddToWorkList().