[llvm] [InstSimplify] Simplify the select with integer comparison relationship (PR #66668)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Please add an alive2 proof to the patch description. This should also needs additional tests (preferably more minimal than the example you added), e.g. that this does not fold without nsw, wrong constant, etc.

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