dcache_CatConstraintBuilder.cpp File Reference

#include <otawa/ilp.h>
#include <otawa/ipet/VarAssignment.h>
#include <otawa/util/Dominance.h>
#include <otawa/ipet/IPET.h>
#include <otawa/ipet/TrivialDataCacheManager.h>
#include <otawa/hard/Platform.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/hard/Cache.h>
#include <otawa/cfg/CFGCollector.h>
#include <otawa/dcache/CatBuilder.h>
#include <otawa/dcache/CatConstraintBuilder.h>
#include <otawa/cache/categories.h>
#include <otawa/ipet/ILPSystemGetter.h>
#include <otawa/stats/BBStatCollector.h>

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

Functions
p::feature	otawa::dcache::CONSTRAINTS_FEATURE ("otawa::dcache::CONSTRAINTS_FEATURE", new Maker< CatConstraintBuilder >())
	This feature ensures that the constraints associated with each data cache block categories has been translated to ILP constraints and that miss count variables are declared. More...
Identifier< ilp::Var * >	otawa::dcache::MISS_VAR ("otawa::dcache::MISS_VAR", 0)
	This property gives the variable counting the number of misses of a BlockAccess. More...