features.h File Reference

#include <elm/io.h>

Go to the source code of this file.

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

Typedefs
typedef enum otawa::branch::category_t	otawa::branch::category_t

Enumerations
enum	otawa::branch::category_t {   otawa::branch::UNDEF = 0, otawa::branch::ALWAYS_D = 1, otawa::branch::ALWAYS_H = 2, otawa::branch::FIRST_UNKNOWN = 3,   otawa::branch::NOT_CLASSIFIED = 4, otawa::branch::MAX = 5 }

Functions
io::Output &	otawa::branch::operator<< (io::Output &out, category_t cat)

Variables
Identifier< int >	otawa::branch::COND_NUMBER
	Property giving the number of the control in its BHT set. More...
Identifier< int * >	otawa::branch::COND_MAX
	This features returns an array integer giving, for each BHT set, the maximum number of branches in the workspace. More...
p::feature	otawa::branch::NUMBERED_CONDITIONS_FEATURE
	This feature assign numbers to branch present in a workspace for next processing. More...
Identifier< category_t >	otawa::branch::CATEGORY
	Branch prediction category: it is put on the BB containing the branch instruction. More...
Identifier< BasicBlock * >	otawa::branch::HEADER
	Loop header of FIRST_UNKNOWN branch prediction category. More...
p::feature	otawa::branch::CATEGORY_FEATURE
	This category assigns to each branch a category according to its branch prediction behavior. More...
p::feature	otawa::branch::CONSTRAINTS_FEATURE
	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
	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
	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...