#include <otawa/util/Dominance.h>
#include <otawa/util/PostDominance.h>
#include <otawa/util/HalfAbsInt.h>
#include <otawa/util/UnrollingListener.h>
#include <otawa/util/FirstUnrollingFixPoint.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/features.h>
#include <otawa/ilp.h>
#include <otawa/ipet.h>
#include <otawa/branch/ConsBuilder.h>
#include <otawa/branch/BranchBuilder.h>
#include <otawa/hard/BHT.h>
#include <otawa/branch/CondNumber.h>

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

	otawa::branch

Functions
p::feature	otawa::branch::SUPPORT_FEATURE ("otawa::branch::SUPPORT_FEATURE", new Maker< ConsBuilder >())
	This feature adds to the objective function of the ILP system the raw cost of the BHT behaviour (that is the branch misprediction penalties multiplied by the number of occurences). More...

p::feature	otawa::branch::CONSTRAINTS_FEATURE ("otawa::branch::CONSTRAINTS_FEATURE", new Maker< OnlyConsBuilder >)
	This feature adds to the ILP system the constraints modelling the number of misspredictions and a variable representing this number. More...

Identifier< ilp::Var * >	otawa::branch::MISSPRED_VAR ("otawa::branch::MISSPRED_VAR", NULL)
	This properties gives the variables counting the number of miss-prediction for a basic block ending with a control instruction. More...

Namespaces

Functions