Otawa  0.10
FirstLastBuilder.h
Go to the documentation of this file.
1 /*
2  * $Id$
3  * FirstLastBuilder processor implementation.
4  *
5  * This file is part of OTAWA
6  * Copyright (c) 2007, IRIT UPS.
7  *
8  * OTAWA is free software; you can redistribute it and/or modify
9  * it under the terms of the GNU General Public License as published by
10  * the Free Software Foundation; either version 2 of the License, or
11  * (at your option) any later version.
12  *
13  * OTAWA is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16  * GNU General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public License
19  * along with OTAWA; if not, write to the Free Software
20  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
21  * 02110-1301 USA
22  */
23 
24 #ifndef CACHE_FIRSTLASTBUILDER_H_
25 #define CACHE_FIRSTLASTBUILDER_H_
26 
28 #include <otawa/cache/LBlockSet.h>
29 #include <otawa/hard/Cache.h>
30 #include <otawa/proc/Feature.h>
31 #include <otawa/cache/LBlock.h>
32 
33 
34 namespace otawa {
35 
36 using namespace elm;
37 
38 
39 extern Identifier<LBlock**> LAST_LBLOCK;
40 
41 extern Identifier<bool> LBLOCK_ISFIRST;
42 
44 
45  void processLBlockSet(CFG *, LBlockSet *, const hard::Cache *);
46 
47  public:
48  FirstLastBuilder(void);
49  virtual void processCFG(otawa::WorkSpace*, otawa::CFG*);
50 
51 
52 };
53 
55 
56 }
57 
58 #endif /*CACHE_FIRSTLASTBUILDER_H_*/
Feature< FirstLastBuilder > ICACHE_FIRSTLAST_FEATURE
This feature represents the availability of the LAST_LBLOCK and LBLOCK_ISFIRST properties.
Identifier< bool > LBLOCK_ISFIRST
This property tells if the lblock is the first of its BasicBlock (for its cache line) This informatio...
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
Identifier< LBlock ** > LAST_LBLOCK
This property gives the ID of the last lblock of a BasicBlock, for each line.
This class contains the configuration of a level of cache of processor.
Definition: Cache.h:34
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
Definition: FirstLastBuilder.h:43
A feature is a set of facilities, usually provided using properties, available on a framework...
Definition: Feature.h:46