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

[via llvm-commits]

elhewaty wrote:

(~A ^ B) s< ~A --> (A ^ B) s> A
https://alive2.llvm.org/ce/z/kptBzu

(~A ^ B) s> ~A --> (A ^ B) s< A
https://alive2.llvm.org/ce/z/3_86kB

(~A ^ B) s<= ~A --> (A ^ B) s>= A
https://alive2.llvm.org/ce/z/qS7atw

(~A ^ B) s>= ~A --> (A ^ B) s<= A
https://alive2.llvm.org/ce/z/qS7atw

(~A ^ B) u< ~A --> (A ^ B) u< A
https://alive2.llvm.org/ce/z/4Z5Mpi

(~A ^ B) u> ~A --> (A ^ B) u< A
https://alive2.llvm.org/ce/z/mpY1Vb

(~A ^ B) u<= ~A --> (A ^ B) u>= A
https://alive2.llvm.org/ce/z/udZM2U

(~A ^ B) u>= ~A --> (A ^ B) <= A
https://alive2.llvm.org/ce/z/22u3Zm



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