24 #ifndef CFG_LOOPREDUCTOR_H_
25 #define CFG_LOOPREDUCTOR_H_
void depthFirstSearch(otawa::BasicBlock *bb, Vector< BasicBlock * > *ancestors)
Definition: cfg_LoopReductor.cpp:147
static Identifier< dfa::BitSet * > IN_LOOPS
Definition: LoopReductor.h:53
static Identifier< BasicBlock * > DUPLICATE_OF
Definition: LoopReductor.h:52
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
Definition: LoopReductor.h:38
virtual void processWorkSpace(WorkSpace *)
Process the given framework.
Definition: cfg_LoopReductor.cpp:73
The processor class is implemented by all code processor.
Definition: Processor.h:49
bool reduce_loops
Definition: LoopReductor.h:55
Vector< VirtualCFG * > vcfgvec
Definition: LoopReductor.h:49
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
void reduce(otawa::VirtualCFG *vcfg, otawa::CFG *cfg)
Definition: cfg_LoopReductor.cpp:192
static Identifier< bool > MARK
Definition: LoopReductor.h:50
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
dtd::Element cfg(dtd::make("cfg", _CFG).attr(id).content((entry,*bb, exit,*edge)))
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
int idx
Definition: LoopReductor.h:54
LoopReductor(bool _reduce_loops=true)
Definition: cfg_LoopReductor.cpp:59