categories.h File Reference

#include <elm/assert.h>
#include <otawa/prop/Identifier.h>
#include <otawa/proc/Feature.h>

Go to the source code of this file.

Classes
class	otawa::cache::CategoryStats
	This class is used to store statistics about the categories about cache accesses. More...

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

Typedefs
typedef enum otawa::cache::category_t	otawa::cache::category_t
typedef otawa::cache::category_t	otawa::category_t
typedef cache::CategoryStats	otawa::CategoryStats

Enumerations
enum	otawa::cache::category_t {   otawa::cache::INVALID_CATEGORY = 0, otawa::cache::ALWAYS_HIT = 1, otawa::cache::FIRST_HIT = 2, otawa::cache::FIRST_MISS = 3,   otawa::cache::ALWAYS_MISS = 4, otawa::cache::NOT_CLASSIFIED = 5 }

Functions
io::Output &	otawa::cache::operator<< (io::Output &out, category_t cat)
io::Output &	otawa::cache::operator<< (io::Output &out, const CategoryStats &stats)

Variables
Identifier< category_t >	otawa::cache::CATEGORY
	This property stores the instruction cache access category of L-Blocks. More...
Identifier< BasicBlock * >	otawa::cache::CATEGORY_HEADER
	In the case of a FIRST_HIT (or FIRST_MISS) property, contains the header of the loop causing the HIT (or MISS) at the first iteration. More...
Identifier< CategoryStats * >	otawa::cache::CATEGORY_STATS
	Put in the statistics to get statistics about cache categories. More...
p::feature	otawa::cache::ICACHE_CATEGORY_FEATURE
	This feature asserts that a category is assigned at each l-block involved in the current task. More...
const category_t	otawa::INVALID_CATEGORY = otawa::cache::INVALID_CATEGORY
const category_t	otawa::ALWAYS_HIT = otawa::cache::ALWAYS_HIT
const category_t	otawa::FIRST_HIT = otawa::cache::FIRST_HIT
const category_t	otawa::FIRST_MISS = otawa::cache::FIRST_MISS
const category_t	otawa::ALWAYS_MISS = otawa::cache::ALWAYS_MISS
const category_t	otawa::NOT_CLASSIFIED = otawa::cache::NOT_CLASSIFIED
Identifier< category_t > &	otawa::CATEGORY = cache::CATEGORY
Identifier< BasicBlock * > &	otawa::CATEGORY_HEADER = cache::CATEGORY_HEADER
Identifier< CategoryStats * > &	otawa::CATEGORY_STATS = cache::CATEGORY_STATS