dcache_ACSBuilder.cpp File Reference

#include <elm/assert.h>
#include <otawa/prog/WorkSpace.h>
#include <otawa/util/HalfAbsInt.h>
#include <otawa/hard/Cache.h>
#include <otawa/util/UnrollingListener.h>
#include <otawa/util/DefaultListener.h>
#include <otawa/hard/Platform.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/dcache/ACSBuilder.h>
#include <otawa/dcache/BlockBuilder.h>
#include <otawa/dcache/MUSTPERS.h>

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

Macros
#define	MUST_DEBUG(x)

Functions
elm::io::Output &	otawa::dcache::operator<< (elm::io::Output &output, const MUSTProblem::Domain &dom)
p::feature	otawa::dcache::MUST_ACS_FEATURE ("otawa::dcache::MUST_ACS_FEATURE", new Maker< ACSBuilder >())
	This feature ensures that the ACS (Abstract Cache State) for the MUST data cache analysis has been built. More...
Identifier< genstruct::Vector < ACS * > * >	otawa::dcache::MUST_ACS ("otawa::dcache::MUST_ACS", 0)
	Provide for each basic block the ACS (Abstract Cache State) of the data cache for each set of the cache. More...
Identifier< Vector< ACS * > * >	otawa::dcache::ENTRY_MUST_ACS ("otawa::dcache::ENTRY_MUST_ACS", 0)
	This configuration property is shared by all processor implementing the MUST_ACS_FEATURE. More...
Identifier< bool >	otawa::dcache::DATA_PSEUDO_UNROLLING ("otawa::dcache::PSEUDO_UNROLLING", false)
	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 ("otawa::dcache::FIRSTMISS_LEVEL", DFML_MULTI)
	According to its value, select the way the first-miss analysis is performed: – analysis of inner loop (average precision but costly in time),. More...
elm::io::Output &	otawa::dcache::operator<< (elm::io::Output &output, const PERSProblem::Domain &dom)
p::feature	otawa::dcache::PERS_ACS_FEATURE ("otawa::dcache::PERS_ACS_FEATURE", new Maker< ACSBuilder >())
	Feature ensuring that the persistence analysis has been performed. More...
Identifier< genstruct::Vector < ACS * > * >	otawa::dcache::PERS_ACS ("otawa::dcache::PERS_ACS", 0)
	This identifier gives an array of ACS for the persistence analysis. More...
Identifier< genstruct::Vector < ACS * > * >	otawa::dcache::ENTRY_PERS_ACS ("otawa::dcache::ENTRY_PERS_ACS", 0)
	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 ("otawa::dcache::LEVEL_PERS_ACS", 0)
	This identifier allows to get an array on a stack of ACS, one entry for each set of the analyzed cache. More...

Macro Definition Documentation

#define MUST_DEBUG

(

x

)

Referenced by otawa::dcache::MUSTPERS::update(), and otawa::dcache::MUSTProblem::update().