[llvm] [ConstraintElim] NE implies SLT if SLE and SGT if SGE (PR #127663)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

The motivating case has been handled by CVP/SCCP: https://godbolt.org/z/qE9srErGx
I am drafting a patch in LVI to perform missed optimizations exposed by this PR.


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