branch_ConsBuilder.cpp File Reference

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

Namespaces
	otawa
	Development Note Letting the ToDo / ToDoList class visible in the header is clumsy.
	otawa::branch

Functions
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...
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 occurrences). More...