Member predicate BasicBlock::getImmediateDominator
Gets the basic block that immediately dominates this basic block, if any.
That is, the result is the unique basic block satisfying:
- The result strictly dominates this basic block.
- There exists no other basic block that is strictly dominated by the result and which strictly dominates this basic block.
All basic blocks, except entry basic blocks, have a unique immediate dominator.