ipet_CacheSupport.cpp File Reference

#include <otawa/cache/cat2/features.h>
#include <otawa/cfg.h>
#include <otawa/cfg/CFGCollector.h>
#include <otawa/dcache/features.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/hard/Platform.h>
#include <otawa/ipet.h>
#include <otawa/ipet/IPET.h>
#include <otawa/ipet/TrivialDataCacheManager.h>
#include <otawa/ipet/TrivialInstCacheManager.h>
#include <otawa/ipet/TrivialBBTime.h>
#include <otawa/proc/BBProcessor.h>
#include <otawa/proc/DynFeature.h>
#include <otawa/proc/Feature.h>
#include <otawa/prog/WorkSpace.h>

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

Functions
p::feature	otawa::ipet::INST_CACHE_SUPPORT_FEATURE ("otawa::ipet::INST_CACHE_SUPPORT_FEATURE", new Maker< TrivialInstCacheManager >)
	This feature ensurers that the instruction cache has been modelled in the IPET approach. More...
p::feature	otawa::ipet::DATA_CACHE_SUPPORT_FEATURE ("otawa::ipet::DATA_CACHE_SUPPORT_FEATURE", new Maker< TrivialDataCacheManager >())
	This feature ensures that the first-level data cache has been taken in account in the basic block timing. More...
p::feature	otawa::ipet::CACHE_SUPPORT_FEATURE ("otawa::ipet::CACHE_SUPPORT_FEATURE", new Maker< CacheSupport >())
	This feature ensures that analysis for the cache configuration has been performed. More...