Member predicate IRBlock::dominanceFrontier
Gets a block on the dominance frontier of this block.
The dominance frontier of block A
is the set of blocks B
such that block A
does not
dominate block B
, but block A
does dominate an immediate predecessor of block B
.