[ConstraintElim] NE implies SLT if SLE and SGT if SGE#127663

citymarina wants to merge 2 commits intollvm:mainllvm/llvm-project:mainfrom

citymarina:ce-ne-zero-2citymarina/llvm-project:ce-ne-zero-2Copy head branch name to clipboard