dcache_CatBuilder.cpp File Reference

#include <otawa/hard/Platform.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/cfg/CFGCollector.h>
#include <otawa/dcache/CatBuilder.h>
#include <otawa/dcache/ACSMayBuilder.h>
#include <otawa/cache/categories.h>
#include <otawa/dcache/features.h>
#include <otawa/dcache/MUSTPERS.h>

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

Functions
p::feature	otawa::dcache::CATEGORY_FEATURE ("otawa::dcache::CATEGORY_FEATURE", new Maker< CATBuilder >())
	This features ensures that a category each data block access have received a category describing its hit/miss behavior. More...
Identifier< BasicBlock * >	otawa::dcache::CATEGORY_HEADER ("otawa::dcache::CATEGORY_HEADER", 0)
	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...
Identifier< cache::category_t >	otawa::dcache::CATEGORY ("otawa::dcache::category", cache::INVALID_CATEGORY)
	Gives the category for a data cache block access. More...