Predicate bbIPostDominates
Holds if postDominator
is an immediate post-dominator of node
in the control-flow
graph of basic blocks.
Import path
import cpp
predicate bbIPostDominates(BasicBlock pDom, BasicBlock node)
Holds if postDominator
is an immediate post-dominator of node
in the control-flow
graph of basic blocks.
import cpp
predicate bbIPostDominates(BasicBlock pDom, BasicBlock node)