[llvm] [InstCombine] Fold xored one-complemented operand comparisons (PR #69882)
Yingwei Zheng via llvm-commits
llvm-commits at lists.llvm.org
Sun Oct 22 08:24:17 PDT 2023
================
@@ -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
More information about the llvm-commits
mailing list