Predicate dominatingEdge
Holds if (bb1, bb2)
is an edge that dominates bb2
, that is, all other
predecessors of bb2
are dominated by bb2
. This implies that bb1
is the
immediate dominator of bb2
.
This is a necessary and sufficient condition for an edge to dominate anything,
and in particular dominatingEdge(bb1, bb2) and bb2.bbDominates(bb3)
means
that the edge (bb1, bb2)
dominates bb3
.
Import path
import java
predicate dominatingEdge(BasicBlock bb1, BasicBlock bb2)