Member predicate IRBlock :: immediatelyDominates
Holds if this block immediately dominates block
.
Block A
immediate dominates block B
if block A
strictly dominates block B
and block B
is a direct successor of block A
.
predicate
immediatelyDominates
(
IRBlock
block
)