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

[Nikita Popov via llvm-commits]

================

----------------
nikic wrote:

This needs a lot more test cases. Especially negative tests where the transform is invalid (e.g. due to incorrect control flow, incorrect impliciations, etc. Generally there needs to be a test for every possible failing precondition).

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