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