[llvm-commits] [llvm] r142793 - in /llvm/trunk: include/llvm/Analysis/BranchProbabilityInfo.h lib/Analysis/BranchProbabilityInfo.cpp test/Analysis/BranchProbabilityInfo/noreturn.ll

[David Blaikie]

> However, the return heuristic was flagging one very important case:
> unreachable. Unfortunately it still gave a 1/4 chance of the
> branch-to-unreachable occuring. It also didn't do a rigorous job of
> finding those blocks which post-dominate an unreachable block.

When does this actually come up? When I was experimenting with some
opt issues a few weeks ago I found unreachable blocks were being
stripped out very early (in the SimplifyCFG pass), though I expect
other passes could possibly introduce new ones later on.

- David