21 #ifndef OTAWA_CFG_VIRTUAL_CFG_H
22 #define OTAWA_CFG_VIRTUAL_CFG_H
34 virtual void scan(
void);
46 #endif // OTAWA_CFG_VIRTUAL_CFG_H
virtual void scan(void)
Scan the CFG for finding exit and builds virtual edges with entry and exit.
Definition: cfg_VirtualCFG.cpp:195
void addBB(BasicBlock *bb)
Adds a basic block.
Definition: cfg_VirtualCFG.cpp:53
BasicBlock * entry(void)
Get the entry basic block of the CFG.
Definition: CFG.h:63
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
void removeBB(BasicBlock *bb)
Remove a basic block.
Definition: cfg_VirtualCFG.cpp:65
Control Flow Graph representation.
Definition: CFG.h:42
BasicBlock * exit(void)
Get the exit basic block of the CFG.
Definition: CFG.h:65
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
struct otawa::call_t call_t
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
void numberBBs(void)
Give a number to each basic block of the virtual CFG.
Definition: cfg_VirtualCFG.cpp:90
VirtualCFG(CFG *cfg, bool inlined=true)
Build a new virtual CFG from the given CFG.
Definition: cfg_VirtualCFG.cpp:218
void virtualize(struct call_t *stack, CFG *cfg, BasicBlock *entry, BasicBlock *exit)
Build the virtual CFG.
Definition: cfg_VirtualCFG.cpp:101
CFG * _cfg
Definition: VirtualCFG.h:30
CFG * cfg(void) const
Get the base CFG of the current virtual CFG.
Definition: VirtualCFG.h:38