dcache_BlockBuilder.cpp File Reference

#include <otawa/hard/CacheConfiguration.h>
#include <otawa/hard/Cache.h>
#include <otawa/hard/Memory.h>
#include <otawa/hard/Platform.h>
#include <otawa/prog/WorkSpace.h>
#include <otawa/prog/Process.h>
#include <otawa/dcache/BlockBuilder.h>
#include <otawa/stack/AccessedAddress.h>

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

Functions
Identifier< Address >	otawa::dcache::INITIAL_SP ("otawa::dcache::INITIAL_SP", Address::null)
	Provide the address of the stack pointer at the start of the task. More...
p::feature	otawa::dcache::DATA_BLOCK_FEATURE ("otawa::dcache::DATA_BLOCK_FEATURE", new Maker< BlockBuilder >())
	This feature ensures that information about the data cache accesses has been provided on each basic block. More...
Identifier< const BlockCollection * >	otawa::dcache::DATA_BLOCK_COLLECTION ("otawa::dcache::DATA_BLOCK_COLLECTION", 0)
	Gives the list of used blocks in the data cache. More...
Identifier< Pair< int, BlockAccess * > >	otawa::dcache::DATA_BLOCKS ("otawa::dcache::DATA_BLOCKS", pair(0,(BlockAccess *) 0))
	Give the list of accesses to the data cache. More...
io::Output &	otawa::dcache::operator<< (io::Output &out, BlockAccess::action_t action)