features.h File Reference

#include <otawa/proc/SilentFeature.h>
#include <otawa/cache/categories.h>
#include <otawa/prop/PropList.h>
#include <otawa/dfa/BitSet.h>
#include <otawa/hard/Cache.h>

Go to the source code of this file.

Classes
class	otawa::dcache::ACS
	Representation of an Abstract Cache State where each data cache block is represented by its age. More...
class	otawa::dcache::Block
	Represents a single block used by the data cache. More...
class	otawa::dcache::BlockCollection
	A block collections stores the list of data blocks used in a task for a specific line. More...
class	otawa::dcache::BlockAccess
	A block access represents a data memory access of an instruction. More...
class	otawa::dcache::DirtyManager
	A dirty manager allows to exploit the results of the dirty analysis (DIRTY_FEATURE). More...
struct	otawa::dcache::DirtyManager::t

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

Typedefs
typedef enum otawa::dcache::data_fmlevel_t	otawa::dcache::data_fmlevel_t
typedef genstruct::AllocatedTable< ACS * >	otawa::dcache::acs_stack_t
typedef genstruct::Vector< ACS * >	otawa::dcache::acs_table_t
typedef genstruct::Vector < acs_stack_t >	otawa::dcache::acs_stack_table_t

Enumerations
enum	otawa::dcache::data_fmlevel_t { otawa::dcache::DFML_INNER = 0, otawa::dcache::DFML_OUTER = 1, otawa::dcache::DFML_MULTI = 2, otawa::dcache::DFML_NONE }
enum	otawa::dcache::purge_t {   otawa::dcache::INV_PURGE = 0, otawa::dcache::NO_PURGE = 1, otawa::dcache::PERS_PURGE = 2, otawa::dcache::MAY_PURGE = 3,   otawa::dcache::MUST_PURGE = 4 }

Functions
io::Output &	otawa::dcache::operator<< (io::Output &out, const ACS &acs)
io::Output &	otawa::dcache::operator<< (io::Output &out, const Block &block)
io::Output &	otawa::dcache::operator<< (io::Output &out, const BlockAccess &acc)
io::Output &	otawa::dcache::operator<< (io::Output &out, const Pair< int, BlockAccess * > &v)
io::Output &	otawa::dcache::operator<< (io::Output &out, BlockAccess::action_t action)
io::Output &	otawa::dcache::operator<< (io::Output &out, const DirtyManager::t &v)
io::Output &	otawa::dcache::operator<< (io::Output &out, purge_t purge)

Variables
p::feature	otawa::dcache::DATA_BLOCK_FEATURE
	This feature ensures that information about the data cache accesses has been provided on each basic block. More...
p::feature	otawa::dcache::CLP_BLOCK_FEATURE
Identifier< Pair< int, BlockAccess * > >	otawa::dcache::DATA_BLOCKS
	Give the list of accesses to the data cache. More...
Identifier< const BlockCollection * >	otawa::dcache::DATA_BLOCK_COLLECTION
	Gives the list of used blocks in the data cache. More...
Identifier< Address >	otawa::dcache::INITIAL_SP
	Provide the address of the stack pointer at the start of the task. More...
p::feature	otawa::dcache::MUST_ACS_FEATURE
	This feature ensures that the ACS (Abstract Cache State) for the MUST data cache analysis has been built. More...
p::feature	otawa::dcache::PERS_ACS_FEATURE
	Feature ensuring that the persistence analysis has been performed. More...
Identifier< acs_table_t * >	otawa::dcache::MUST_ACS
	Provide for each basic block the ACS (Abstract Cache State) of the data cache for each set of the cache. More...
Identifier< acs_table_t * >	otawa::dcache::ENTRY_MUST_ACS
	This configuration property is shared by all processor implementing the MUST_ACS_FEATURE. More...
Identifier< acs_table_t * >	otawa::dcache::PERS_ACS
	This identifier gives an array of ACS for the persistence analysis. More...
Identifier< acs_table_t * >	otawa::dcache::ENTRY_PERS_ACS
	This configuration property allows to provide an non-empty ACS for the persistence analysis. More...
Identifier< acs_stack_table_t * >	otawa::dcache::LEVEL_PERS_ACS
	This identifier allows to get an array on a stack of ACS, one entry for each set of the analyzed cache. More...
Identifier< bool >	otawa::dcache::DATA_PSEUDO_UNROLLING
	This configuration property activates, if set to true (default), the pseudo-unrolling for the cache analysis of ACSBuilder. More...
Identifier< data_fmlevel_t >	otawa::dcache::DATA_FIRSTMISS_LEVEL
	According to its value, select the way the first-miss analysis is performed: – analysis of inner loop (average precision but costly in time),. More...
p::feature	otawa::dcache::CATEGORY_FEATURE
	This features ensures that a category each data block access have received a category describing its hit/miss behavior. More...
Identifier< cache::category_t >	otawa::dcache::CATEGORY
	Gives the category for a data cache block access. More...
Identifier< BasicBlock * >	otawa::dcache::CATEGORY_HEADER
	When a cache access has a category of cache::FIRST_MISS, the "first" part is relative to a particular loop whose header is given by this property. More...
p::feature	otawa::dcache::CONSTRAINTS_FEATURE
	This feature ensures that the constraints associated with each data cache block categories has been translated to ILP constraints and that miss count variables are declared. More...
Identifier< ilp::Var * >	otawa::dcache::MISS_VAR
	This property gives the variable counting the number of misses of a BlockAccess. More...
Identifier< Vector< ACS * > * >	otawa::dcache::ENTRY_MAY_ACS
	Configuration property giving the ACS at the startup of the task. More...
p::feature	otawa::dcache::MAY_ACS_FEATURE
	This feature that the MAY analysis has been performed for the L1 data cache and that the ACS are provided at the entry of each basic block. More...
Identifier< Vector< ACS * > * >	otawa::dcache::MAY_ACS
	Provide the ACS for the MAY analysis. More...
p::feature	otawa::dcache::DIRTY_FEATURE
	This feature is only useful for data cache with write-back mechanism. More...
Identifier< AllocatedTable < DirtyManager::t > >	otawa::dcache::DIRTY
	This property contains information about the dirty state of a block. More...
p::feature	otawa::dcache::PURGE_FEATURE
Identifier< purge_t >	otawa::dcache::PURGE
p::feature	otawa::dcache::WCET_FUNCTION_FEATURE
	This feature provides an easy and naive way to add data cache time to the WCET computation by adding to the objective function representing the WCET the miss time multiplied by the number of occurrences of the miss. More...