[llvm] [InstCombine] Fold xored one-complemented operand comparisons (PR #69882)
    Yingwei Zheng via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Tue Oct 24 08:26:56 PDT 2023
    
    
  
================
@@ -7127,6 +7127,21 @@ 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:
```suggestion
    // Transform (~A ^ B) s< ~C  --> (A ^ B) s> C,
```
https://github.com/llvm/llvm-project/pull/69882
    
    
More information about the llvm-commits
mailing list