Member predicate IRBlock::postDominates
Holds if this block is a post-dominator of block
.
Block A
post-dominates block B
if any control flow path from B
to the exit block of the
function must pass through block A
. A block always post-dominates itself.
predicate postDominates(IRBlock block)