Otawa  0.10
TrivialBBTime.h
Go to the documentation of this file.
1 /*
2  * TrivialBBTime processor interface
3  *
4  * This file is part of OTAWA
5  * Copyright (c) 2005, IRIT UPS.
6  *
7  * OTAWA is free software; you can redistribute it and/or modify
8  * it under the terms of the GNU General Public License as published by
9  * the Free Software Foundation; either version 2 of the License, or
10  * (at your option) any later version.
11  *
12  * OTAWA is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with OTAWA; if not, write to the Free Software
19  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20  */
21 #ifndef OTAWA_IPET_TRIVIALBBTIME_H
22 #define OTAWA_IPET_TRIVIALBBTIME_H
23 
24 #include <elm/assert.h>
25 #include <otawa/proc/BBProcessor.h>
26 #include <otawa/proc/Feature.h>
27 
28 namespace otawa { namespace ipet {
29 
30 // TrivialBBTime class
31 class TrivialBBTime: public BBProcessor {
32 public:
33  static p::declare reg;
35 
36 protected:
37  virtual void configure(const PropList& props);
38  void processBB(WorkSpace *fw, CFG *cfg, BasicBlock *bb);
39 
40 private:
41  unsigned dep;
42 };
43 
44 // Configuration Properties
46 
47 } } // otawa::ipet
48 
49 #endif // OTAWA_IPET_TRIVIALBBTIME_H
void processBB(WorkSpace *fw, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: ipet_TrivialBBTime.cpp:65
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
Identifier< unsigned > PIPELINE_DEPTH
This property is used to configure the TrivialBBTime processor with the depth of the used pipeline...
TrivialBBTime(p::declare &r=reg)
Build the processor.
Definition: ipet_TrivialBBTime.cpp:51
Class to declare simple a processor.
Definition: Registration.h:213
virtual void configure(const PropList &props)
Configure the current processor.
Definition: ipet_TrivialBBTime.cpp:57
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
static p::declare reg
Definition: TrivialBBTime.h:33
Control Flow Graph representation.
Definition: CFG.h:42
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This processor is used for computing execution of basic blocks in a trivial way, that is...
Definition: TrivialBBTime.h:31
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
This a list of properties.
Definition: PropList.h:63
unsigned dep
Definition: TrivialBBTime.h:41