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

[via llvm-commits]

vfdff wrote:

> 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.

Thanks, Added [alive2 proof link](https://alive2.llvm.org/ce/z/aGAC3j) and 2 extra negative test cases.


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