Otawa  0.10
otawa::cat Namespace Reference

Classes

class  CATBuilder
 Create a new CATBuilder processor. More...
 
class  CATConstraintBuilder
 This processor uses categories assigned to L-block of the instruction cache to add contraints and to modify maximized function to support the instruction cache. More...
 
class  CATDomain
 
class  CATNode
 
class  CATProblem
 

Functions

Identifier< BasicBlock * > LOWERED_CATEGORY ("otawa::cat::LOWERED_CATEGORY", 0)
 This property is set for L-Block categories that has been lowered, that is, they was classified as first-miss but lowered to always-miss due to effect of a surrounding loop (whose header basic block is stored). More...
 

Variables

Identifier< BasicBlock * > LOWERED_CATEGORY
 This property is set for L-Block categories that has been lowered, that is, they was classified as first-miss but lowered to always-miss due to effect of a surrounding loop (whose header basic block is stored). More...
 
Identifier< ilp::Var * > HIT_VAR ("otawa::cat::HIT_VAR_", 0)
 
Identifier< ilp::Var * > MISS_VAR ("otawa::cat::MISS_VAR_")
 Property giving the variable counting the number of misses. More...
 
Identifier< ilp::Var * > BB_VAR ("otawa::cat::BB_VAR_")
 
Identifier< CATNode * > NODE ("otawa::cat::NODE", 0)