Otawa  0.10
Namespaces | Functions
cache_ACSBuilder.cpp File Reference
#include <stdio.h>
#include <elm/io.h>
#include <elm/genstruct/Vector.h>
#include <otawa/cache/LBlockSet.h>
#include <otawa/util/LBlockBuilder.h>
#include <otawa/ilp.h>
#include <otawa/ipet.h>
#include <otawa/util/Dominance.h>
#include <otawa/util/HalfAbsInt.h>
#include <otawa/cfg.h>
#include <otawa/util/LoopInfoBuilder.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/hard/Platform.h>
#include <otawa/cache/cat2/MUSTProblem.h>
#include <otawa/cache/FirstLastBuilder.h>
#include <otawa/cache/cat2/PERSProblem.h>
#include <otawa/cache/cat2/ACSBuilder.h>
#include <otawa/cache/cat2/MUSTPERS.h>
#include <otawa/util/UnrollingListener.h>
#include <otawa/util/DefaultListener.h>
#include <elm/rtti.h>

Namespaces

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

Functions

 VALUE (FML_INNER)
 
 VALUE (FML_OUTER)
 
 VALUE (FML_MULTI)
 
p::feature otawa::ICACHE_ACS_FEATURE ("otawa::ICACHE_ACS_FEATURE", new Maker< ACSBuilder >())
 This feature represents the availability of Abstract Cache State informations. More...
 
Identifier< genstruct::Vector
< MUSTProblem::Domain * > * > 		otawa::CACHE_ACS_MUST ("otawa::CACHE_ACS_MUST", NULL)
 This property represents the "must" Abstract Cache State of a basic block. More...
 
Identifier< Vector
< MUSTProblem::Domain * > * > 		otawa::CACHE_ACS_MUST_ENTRY ("otawa::CACHE_ACS_MUST_ENTRY", NULL)
 This property allows us to set an entry must ACS. More...
 
Identifier< genstruct::Vector
< PERSProblem::Domain * > * > 		otawa::CACHE_ACS_PERS ("otawa::CACHE_ACS_PERS", NULL)
 This property represents the "persistence" Abstract Cache State of a basic block. More...
 
Identifier< bool > otawa::PSEUDO_UNROLLING ("otawa::PSEUDO_UNROLLING", true)
 This property represents the "persistence" Abstract Cache State of a basic block. More...
 
Identifier< fmlevel_t > otawa::FIRSTMISS_LEVEL ("otawa::FIRSTMISS_LEVEL", FML_MULTI)
 Specify the loop-level-precision of the First Miss computation (inner, outer, multi-level) More...
 
otawa::Output & otawa::operator<< (otawa::Output &out, const fmlevel_t &fml)
 

Function Documentation

VALUE ( FML_INNER  )
VALUE ( FML_OUTER  )
VALUE ( FML_MULTI  )