cat_CATBuilder.cpp File Reference

#include <elm/io.h>
#include <otawa/cat/CATBuilder.h>
#include <otawa/cache/LBlock.h>
#include <otawa/cache/LBlockSet.h>
#include <otawa/cfg.h>
#include <otawa/hard/CacheConfiguration.h>
#include <otawa/util/LBlockBuilder.h>
#include <otawa/hard/Platform.h>
#include <otawa/util/ContextTree.h>
#include <otawa/dfa/XCFGVisitor.h>
#include <otawa/cat/CATDFA.h>
#include <otawa/prog/WorkSpace.h>
#include <otawa/proc/ProcessorException.h>
#include <otawa/prop/DeletableProperty.h>
#include <otawa/cache/categories.h>

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

Functions
Identifier< BasicBlock * >	otawa::cat::LOWERED_CATEGORY ("otawa::cat::LOWERED_CATEGORY", 0)
	This property is set for L-Block categories that has been lowered, that is, they was classified as first-miss but lowered to always-miss due to effect of a surrounding loop (whose header basic block is stored). More...