DominatorTreesAndDominanceFrontiers
Types
Name |
Description |
This class constructs a control flow graph for a given function definition. It builds off of information provided by CFGImpl.h, and adds some additional bookkeeping information (such as entry and exit points, as well as having a separate node for each statement in the graph). |
|
This class is a node in the CFG. It can either be an SgNode or it can be a special entry or exit node (since there are some empty blocks in the CFG). |
|
This class provides a uniform view of the CFG dissregarding the direction of the CFG‐traversal (forward/backward) |
|
TemplatedDominatorTree constructs a dominator/postdominator tree for a cfg. For the template parameter any cfg following Jeremias interface may be used |
|
STD‐Dominator‐Tree |
Enums
Name |
Created with MrDocs