[llvm] [SimplifyCFG] Hoist out implied conditions from successor (PR #158773)

[Vedant Paranjape via llvm-commits]

VedantParanjape wrote:

@nikic looking at the failing testcases, should I stop this optimization if basic blocks are part of a loop?

https://github.com/llvm/llvm-project/pull/158773