23 #ifndef CACHE_EDGEACSBUILDER_H_
24 #define CACHE_EDGEACSBUILDER_H_
32 #include <elm/genstruct/Vector.h>
56 virtual void configure(
const PropList &props);
Feature< EdgeACSBuilder > ICACHE_EDGE_ACS_FEATURE
This feature represents the availability of Abstract Cache State informations.
fmlevel_t level
Definition: EdgeACSBuilder.h:48
Identifier< Vector< MUSTProblem::Domain * > * > CACHE_EDGE_ACS_MUST
This property represents the "must" Abstract Cache State of a basic block.
This processor builds the MUST and PERS cache states before each basic block.
Definition: EdgeACSBuilder.h:45
The processor class is implemented by all code processor.
Definition: Processor.h:49
bool unrolling
Definition: EdgeACSBuilder.h:50
Identifier< bool > PSEUDO_UNROLLING
This property represents the "persistence" Abstract Cache State of a basic block. ...
Definition: features.h:42
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
Identifier< fmlevel_t > FIRSTMISS_LEVEL
Specify the loop-level-precision of the First Miss computation (inner, outer, multi-level) ...
Definition: features.h:41
This class contains the configuration of a level of cache of processor.
Definition: Cache.h:34
Identifier< genstruct::Vector< MUSTProblem::Domain * > * > CACHE_ACS_MUST_ENTRY
This property allows us to set an entry must ACS.
Definition: features.h:43
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
Identifier< Vector< PERSProblem::Domain * > * > CACHE_EDGE_ACS_PERS
This property represents the "persistence" Abstract Cache State of a basic block. ...
This a list of properties.
Definition: PropList.h:63
genstruct::Vector< MUSTProblem::Domain * > * must_entry
Definition: EdgeACSBuilder.h:51
enum otawa::fmlevel fmlevel_t
A feature is a set of facilities, usually provided using properties, available on a framework...
Definition: Feature.h:46