Struct llvm_ir_analysis::PostDominatorTree [−][src]
pub struct PostDominatorTree<'m> { /* fields omitted */ }
Expand description
The postdominator tree for a particular function.
To construct a PostDominatorTree
, use
FunctionAnalysis
, which you can get
from ModuleAnalysis
.
Implementations
Get the immediate postdominator of the basic block with the given Name
.
This will be None
for unreachable blocks, and Some
for all other
blocks.
A block bbX is the immediate postdominator of bbY if and only if:
- bbX strictly postdominates bbY, i.e., bbX appears on every control-flow path from bbY to the function exit (but bbX =/= bbY)
- Of the blocks that strictly postdominate bbY, bbX is the closest to bbY (farthest from exit) along paths from bbY to the function exit
If the immediate postdominator is CFGNode::Return
, that indicates that
there is no single basic block that postdominates the given block.
Get the children of the given basic block in the postdominator tree, i.e.,
get all the blocks which are immediately postdominated by block
.
See notes on ipostdom()
.
Get the children of CFGNode::Return
in the postdominator tree, i.e.,
get all the blocks which are immediately postdominated by CFGNode::Return
.
See notes on ipostdom()
.
Does node_a
postdominate node_b
?
Note that every node postdominates itself by definition, so if
node_a == node_b
, this returns true
.
See also strictly_postdominates()
Does node_a
strictly postdominate node_b
?
This is the same as postdominates()
, except that if
node_a == node_b
, this returns false
.