[llvm] [InstCombine] Fold xored one-complemented operand comparisons (PR #69882)

[Yingwei Zheng via llvm-commits]

================
@@ -7127,6 +7144,18 @@ Instruction *InstCombinerImpl::visitICmpInst(ICmpInst &I) {
       return new ICmpInst(I.getInversePredicate(), Builder.CreateAnd(A, B),
                           Op1);
 
+    // Transform (~A ^ B) s< ~A --> (A ^ B) s> A,
----------------
dtcxzyw wrote:

Please provide alive2 proofs (Just attach the link to the PR description).

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