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