ets_ETS.cpp File Reference

#include <otawa/ets/features.h>
#include <otawa/ets/ACSComputation.h>
#include <otawa/ets/CacheFirstMissComputation.h>
#include <otawa/ets/CacheHitComputation.h>
#include <otawa/ets/CacheMissComputation.h>
#include <otawa/ets/FlowFactLoader.h>
#include <otawa/ets/TrivialAstBlockTime.h>
#include <otawa/ets/WCETComputation.h>

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

Functions
SilentFeature	otawa::ets::ACS_FEATURE ("otawa::ets::ACS_FEATURE", acs_maker)
	Compute the Abstract Cache State at entry of each AST for L1 instruction cache. More...
Identifier< AbstractCacheState * >	otawa::ets::ACS ("otawa::ets::ACS", 0)
	This identifier (AbstractCacheState *) is used for storing the abstract cache line for each node. More...
SilentFeature	otawa::ets::CACHE_FIRST_MISS_FEATURE ("otawa::ets::CACHE_FIRST_MISS_FEATURE", fmiss_maker)
	Provide the computation of occurrences of first-misses of instruction cache. More...
Identifier< int >	otawa::ets::FIRST_MISSES ("otawa::ets::FIRST_MISSES", 0)
	This identifier (int) is used for storing the number of first miss accesses for each node. More...
SilentFeature	otawa::ets::CACHE_HIT_FEATURE ("otawa::ets::CACHE_HIT_FEATURE", hit_maker)
	Provided the computation of the number of hits for the L1 instruction cache. More...
Identifier< int >	otawa::ets::HITS ("otawa::ets::HITS",-1)
	This identifier (int) is used for storing the number of hit accesses for each node. More...
SilentFeature	otawa::ets::CACHE_MISS_FEATURE ("otawa::ets::CACHE_MISS_FEATURE", miss_maker)
	Provide the number of misses for a L1 instruction cache. More...
Identifier< int >	otawa::ets::MISSES ("otawa::ets::misses", 0)
	This identifier (int) is used for storing the number of miss accesses for each node. More...
SilentFeature	otawa::ets::FLOWFACT_FEATURE ("otawa::ets::FLOWFACT_FEATURE", ff_maker)
	Provide flow facts in the AST. More...
Identifier< int >	otawa::ets::LOOP_COUNT ("otawa::ets::LOOP_COUNT",-1)
	This identifier (int) is used for storing the number of iteration for each loop of the program. More...
SilentFeature	otawa::ets::BLOCK_TIME_FEATURE ("otawa::ets::BLOCK_TIME_FEATURE", bt_maker)
	Provide WCET for each AST. More...
SilentFeature	otawa::ets::WCET_FEATURE ("otawa::ets::WCET_FEATURE", w_maker)
	Provide the WCET of a task using the ETS approach. More...
Identifier< int >	otawa::ets::WCET ("otawa::ets::wcet",-1)
	Identifier of annotation (int) used for storing the WCET value in the ETS of the computed function. More...
Identifier< int >	otawa::ets::CONFLICTS ("otawa::ets::conflicts", 0)
	This identifier (int) is used for storing the number of conflict accesses for each node. More...