Otawa  0.10
cache_FirstLastBuilder.cpp File Reference
#include <stdio.h>
#include <elm/io.h>
#include <elm/genstruct/Vector.h>
#include <elm/genstruct/Table.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/cfg.h>
#include <otawa/util/LoopInfoBuilder.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/hard/Platform.h>
#include <otawa/cache/FirstLastBuilder.h>

Namespaces

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

Functions

Feature< FirstLastBuilderotawa::ICACHE_FIRSTLAST_FEATURE ("otawa::ICACHE_FIRSTLAST_FEATURE")
 This feature represents the availability of the LAST_LBLOCK and LBLOCK_ISFIRST properties. More...
 
Identifier< LBlock ** > otawa::LAST_LBLOCK ("otawa::LAST_LBLOCK", NULL)
 This property gives the ID of the last lblock of a BasicBlock, for each line. More...
 
Identifier< bool > otawa::LBLOCK_ISFIRST ("otawa::LBLOCK_ISFIRST", false)
 This property tells if the lblock is the first of its BasicBlock (for its cache line) This information is useful, because if it's false, then, the lblock is always a miss. More...