Otawa  0.10
Namespaces | Macros | Functions
cache_EdgeACSBuilder.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/EdgeACSBuilder.h>
#include <otawa/cache/cat2/MUSTPERS.h>
#include <otawa/util/UnrollingListener.h>
#include <otawa/util/DefaultListener.h>

Namespaces

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

Macros

#define STORE_MUST
 
#define STORE_MUSTPERS
 

Functions

Feature< EdgeACSBuilder > otawa::ICACHE_EDGE_ACS_FEATURE ("otawa::ICACHE_EDGE_ACS_FEATURE")
 This feature represents the availability of Abstract Cache State informations. More...
 
Identifier< Vector
< MUSTProblem::Domain * > * > 		otawa::CACHE_EDGE_ACS_MUST ("otawa::cache_edge_acs_must", NULL)
 This property represents the "must" Abstract Cache State of a basic block. More...
 
Identifier< Vector
< PERSProblem::Domain * > * > 		otawa::CACHE_EDGE_ACS_PERS ("otawa::cache_edge_acs_pers", NULL)
 This property represents the "persistence" Abstract Cache State of a basic block. More...
 

Macro Definition Documentation

#define STORE_MUST
Value:
for (CFGCollection::Iterator cfg(INVOLVED_CFGS(fw)); cfg; cfg++) { \
for (CFG::BBIterator bb(cfg); bb; bb++) { \
AllocatedTable<LBlock*> &lblocks = *BB_LBLOCKS(bb); \
if (BB_LBLOCKS(bb) != NULL) { \
Vector<MUSTProblem::Domain *> must; \
for (BasicBlock::InIterator inedge(bb); inedge; inedge++) \
must.add(mustList.results_out[cfg->number()][inedge->source()->number()]); \
for (int i = 0; i < lblocks.count(); i++) { \
if (cache->line(lblocks[i]->address()) == line) { \
int pred = 0; \
CACHE_EDGE_ACS_MUST(lblocks[i]) = new Vector<MUSTProblem::Domain*>(); \
for (BasicBlock::InIterator inedge(bb); inedge; inedge++) { \
CACHE_EDGE_ACS_MUST(lblocks[i])->add(new MUSTProblem::Domain(*must[pred])); \
mustProb.updateLBlock(*must[pred], lblocks[i]); \
pred++; \
} \
} \
} \
} \
} \
}
otawa::CFG::BBIterator
Definition: CFG.h:48
otawa::CACHE_EDGE_ACS_MUST
Identifier< Vector< MUSTProblem::Domain * > * > CACHE_EDGE_ACS_MUST("otawa::cache_edge_acs_must", NULL)
This property represents the "must" Abstract Cache State of a basic block.
otawa::cfgio::bb
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
cache
StringOption cache(command, 'c',"cache","used cache","path","")
otawa::CFGCollection::Iterator
Iterator on the CFG contained in a CFGCollection.
Definition: features.h:54
otawa::INVOLVED_CFGS
Identifier< const CFGCollection * > INVOLVED_CFGS
This property is used to link the current computation involved CFG on the framework.
if
if(!(yy_init))
Definition: ipet_lexer.cc:734
otawa::cfgio::cfg
dtd::Element cfg(dtd::make("cfg", _CFG).attr(id).content((entry,*bb, exit,*edge)))
otawa::BB_LBLOCKS
Identifier< genstruct::AllocatedTable< LBlock * > * > BB_LBLOCKS
This property is used for storing the list of L-Blocks of a BasicBlock.

Referenced by otawa::EdgeACSBuilder::processLBlockSet().

#define STORE_MUSTPERS
Value:
for (CFGCollection::Iterator cfg(INVOLVED_CFGS(fw)); cfg; cfg++) { \
for (CFG::BBIterator bb(cfg); bb; bb++) { \
AllocatedTable<LBlock*> &lblocks = *BB_LBLOCKS(bb); \
if (BB_LBLOCKS(bb) != NULL) { \
Vector<MUSTPERS::Domain *> mustpersAcs; \
for (BasicBlock::InIterator inedge(bb); inedge; inedge++) \
mustpersAcs.add(mustpersList.results_out[cfg->number()][inedge->source()->number()]); \
for (int i = 0; i < lblocks.count(); i++) { \
if (cache->line(lblocks[i]->address()) == line) { \
int pred = 0; \
CACHE_EDGE_ACS_MUST(lblocks[i]) = new Vector<MUSTProblem::Domain*>(); \
CACHE_EDGE_ACS_PERS(lblocks[i]) = new Vector<PERSProblem::Domain*>(); \
for (BasicBlock::InIterator inedge(bb); inedge; inedge++) { \
CACHE_EDGE_ACS_MUST(lblocks[i])->add(new MUSTProblem::Domain(mustpersAcs[pred]->getMust())); \
CACHE_EDGE_ACS_PERS(lblocks[i])->add(new PERSProblem::Domain(mustpersAcs[pred]->getPers())); \
mustpers.updateLBlock(*mustpersAcs[pred], lblocks[i]); \
pred++; \
} \
} \
} \
} \
} \
}
otawa::CFG::BBIterator
Definition: CFG.h:48
otawa::CACHE_EDGE_ACS_MUST
Identifier< Vector< MUSTProblem::Domain * > * > CACHE_EDGE_ACS_MUST("otawa::cache_edge_acs_must", NULL)
This property represents the "must" Abstract Cache State of a basic block.
otawa::cfgio::bb
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
cache
StringOption cache(command, 'c',"cache","used cache","path","")
otawa::CFGCollection::Iterator
Iterator on the CFG contained in a CFGCollection.
Definition: features.h:54
otawa::INVOLVED_CFGS
Identifier< const CFGCollection * > INVOLVED_CFGS
This property is used to link the current computation involved CFG on the framework.
if
if(!(yy_init))
Definition: ipet_lexer.cc:734
otawa::cfgio::cfg
dtd::Element cfg(dtd::make("cfg", _CFG).attr(id).content((entry,*bb, exit,*edge)))
otawa::BB_LBLOCKS
Identifier< genstruct::AllocatedTable< LBlock * > * > BB_LBLOCKS
This property is used for storing the list of L-Blocks of a BasicBlock.
otawa::CACHE_EDGE_ACS_PERS
Identifier< Vector< PERSProblem::Domain * > * > CACHE_EDGE_ACS_PERS("otawa::cache_edge_acs_pers", NULL)
This property represents the "persistence" Abstract Cache State of a basic block. ...
otawa::PERSProblem::Domain
Definition: PERSProblem.h:168

Referenced by otawa::EdgeACSBuilder::processLBlockSet().