22 #ifndef OTAWA_CACHE_CAT2_FEATURES_H_
23 #define OTAWA_CACHE_CAT2_FEATURES_H_
The usual Feature class has as drawback to exhibit completely the processing of the feature and there...
Definition: SilentFeature.h:32
Identifier< genstruct::Vector< MAYProblem::Domain * > * > CACHE_ACS_MAY_ENTRY
This property allows us to set an entry may ACS.
Definition: features.h:35
Definition: features.h:36
p::feature ICACHE_ACS_FEATURE
This feature represents the availability of Abstract Cache State informations.
Identifier< ilp::Var * > MISS_VAR
Property giving the variable counting the number of misses.
SilentFeature ICACHE_CATEGORY2_FEATURE
This feature ensures that the categories for instruction cache according to the following method has ...
Identifier< genstruct::Vector< MAYProblem::Domain * > * > CACHE_ACS_MAY
This property represents the "may" Abstract Cache State of a basic block.
elm::io::Output & operator<<(elm::io::Output &out, Address addr)
Definition: base.cpp:188
Definition: features.h:34
Identifier< bool > PSEUDO_UNROLLING
This property represents the "persistence" Abstract Cache State of a basic block. ...
Definition: features.h:42
Identifier< fmlevel_t > FIRSTMISS_LEVEL
Specify the loop-level-precision of the First Miss computation (inner, outer, multi-level) ...
Definition: features.h:41
p::feature ICACHE_ACS_MAY_FEATURE
This feature represents the availability of MAY Abstract Cache State informations.
p::feature ICACHE_CONSTRAINT2_FEATURE
Ensures that the constraints for cache analysis by categories 2 has been built and that the term of i...
Identifier< genstruct::Vector< PERSProblem::Domain * > * > CACHE_ACS_PERS
This property represents the "persistence" Abstract Cache State of a basic block. ...
Identifier< genstruct::Vector< MUSTProblem::Domain * > * > CACHE_ACS_MUST_ENTRY
This property allows us to set an entry must ACS.
Definition: features.h:43
sys::SystemOutStream & out
p::feature ICACHE_ONLY_CONSTRAINT2_FEATURE
Ensures that the constraints for cache analysis by categories 2 has been built.
fmlevel
Definition: features.h:33
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
Identifier< genstruct::Vector< MUSTProblem::Domain * > * > CACHE_ACS_MUST
This property represents the "must" Abstract Cache State of a basic block.
Definition: features.h:37
enum otawa::fmlevel fmlevel_t
Shortcut to create a feature with a maker (without the mess of SilentFeature).
Definition: AbstractFeature.h:51