Otawa  0.10
features.h File Reference

Go to the source code of this file.

Classes

class  otawa::etime::Event
 An event represents a time variation in the execution of an instruction. More...
 

Namespaces

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

Typedefs

typedef enum otawa::etime::type_t otawa::etime::type_t
 

Enumerations

enum  otawa::etime::kind_t {
  otawa::etime::NONE, otawa::etime::FETCH, otawa::etime::MEM, otawa::etime::BRANCH,
  otawa::etime::STAGE, otawa::etime::FU
}
 
enum  otawa::etime::occurrence_t { otawa::etime::NEVER = 0, otawa::etime::SOMETIMES = 1, otawa::etime::ALWAYS = 2 }
 
enum  otawa::etime::type_t { otawa::etime::EDGE, otawa::etime::BLOCK }
 

Variables

p::feature otawa::etime::STANDARD_EVENTS_FEATURE
 This feature ensures that events of the following analyses has been hooked to the task basic blocks: More...
 
p::feature otawa::etime::EVENTS_FEATURE
 This feature ensures that all timing events on pipeline has been recorded. More...
 
Identifier< Event * > otawa::etime::EVENT
 Allows to hook an event to a basic block. More...
 
Identifier< bool > otawa::etime::PREDUMP
 This property is used to configure the EDGE_TIME_FEATURE and ask to dump the generated execution graphs. More...
 
Identifier< int > otawa::etime::EVENT_THRESHOLD
 This property is used to configure the EDGE_TIME_FEATURE and determine the maximum number of events to consider to time a block. More...
 
p::feature otawa::etime::EDGE_TIME_FEATURE
 This feature ensures that block cost has been computed according to the context of edges. More...