22 #ifndef OTAWA_CFG_SUBCFGBUILDER_H_
23 #define OTAWA_CFG_SUBCFGBUILDER_H_
25 #include <elm/genstruct/Vector.h>
61 case FALSE:
return 'F';
62 case TRUE:
return 'T';
elm::genstruct::Vector< BasicBlock * > _stop_bbs
Definition: SubCFGBuilder.h:50
static const char BOTTOM
Definition: SubCFGBuilder.h:55
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition: cfg_SubCFGBuilder.cpp:201
BasicBlock * _start_bb
Definition: SubCFGBuilder.h:49
Address start
Definition: SubCFGBuilder.h:47
VirtualCFG * vcfg
Definition: SubCFGBuilder.h:51
Definition: Registration.h:138
static char toString(char c)
Definition: SubCFGBuilder.h:58
void floodBackward()
Definition: cfg_SubCFGBuilder.cpp:180
virtual void cleanup(WorkSpace *fw)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: cfg_SubCFGBuilder.cpp:342
WorkSpace * ws
Definition: Processor.h:185
static const char TRUE
Definition: SubCFGBuilder.h:57
Control Flow Graph representation.
Definition: CFG.h:42
The processor class is implemented by all code processor.
Definition: Processor.h:49
Identifier< Address > CFG_STOP
Configuration of otawa::SubCFGBuilder specifying a end of the sub-CFG to process. ...
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
Build a sub-CFG starting at the given otawa::START address and ending at the multiple otawa::STOP add...
Definition: SubCFGBuilder.h:38
The representation of an address in OTAWA.
Definition: base.h:54
SubCFGBuilder(void)
Definition: cfg_SubCFGBuilder.cpp:39
A virtual CFG is a CFG not-mapped to real code, that is, it may contains virtual nodes for inlining f...
Definition: VirtualCFG.h:29
Identifier< Address > CFG_START
Configuration of otawa::SubCFGBuilder specifying the start of the sub-CFG to process.
CFG * cfg
Definition: SubCFGBuilder.h:52
static Registration< SubCFGBuilder > reg
Definition: SubCFGBuilder.h:41
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
void floodForward()
Definition: cfg_SubCFGBuilder.cpp:163
elm::genstruct::Vector< Address > stops
Definition: SubCFGBuilder.h:48
This a list of properties.
Definition: PropList.h:63
static const char FALSE
Definition: SubCFGBuilder.h:56
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: cfg_SubCFGBuilder.cpp:153