[llvm] 3f10f1a - [InstCombine] updated test comments; NFC

Sanjay Patel via llvm-commits llvm-commits at lists.llvm.org
Sun Apr 26 08:12:15 PDT 2020


Author: Sanjay Patel
Date: 2020-04-26T11:11:00-04:00
New Revision: 3f10f1a5c77e932f9cab7e6cbb6750d2ac800bc8

URL: https://github.com/llvm/llvm-project/commit/3f10f1a5c77e932f9cab7e6cbb6750d2ac800bc8
DIFF: https://github.com/llvm/llvm-project/commit/3f10f1a5c77e932f9cab7e6cbb6750d2ac800bc8.diff

LOG: [InstCombine] updated test comments; NFC

As suggested in review for:
rG4abab5c5ca7b

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/and-or-icmps.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/and-or-icmps.ll b/llvm/test/Transforms/InstCombine/and-or-icmps.ll
index 56d5b04c50c7..a62790bd57f4 100644
--- a/llvm/test/Transforms/InstCombine/and-or-icmps.ll
+++ b/llvm/test/Transforms/InstCombine/and-or-icmps.ll
@@ -38,7 +38,7 @@ define i1 @PR2330(i32 %a, i32 %b) {
 }
 
 ; if LHSC and RHSC 
diff er only by one bit:
-; (X == C1 || X == C2) -> (X | (C1 ^ C2)) == C2
+; (X == C1 || X == C2) -> (X & ~(C1 ^ C2)) == C1 (C1 has 1 less set bit)
 ; PR14708: https://bugs.llvm.org/show_bug.cgi?id=14708
 
 define i1 @or_eq_with_one_bit_
diff _constants1(i32 %x) {
@@ -53,7 +53,7 @@ define i1 @or_eq_with_one_bit_
diff _constants1(i32 %x) {
   ret i1 %or
 }
 
-; (X != C1 && X != C2) -> (X | (C1 ^ C2)) != C2
+; (X != C1 && X != C2) -> (X & ~(C1 ^ C2)) != C1 (C1 has 1 less set bit)
 
 define i1 @and_ne_with_one_bit_
diff _constants1(i32 %x) {
 ; CHECK-LABEL: @and_ne_with_one_bit_
diff _constants1(


        


More information about the llvm-commits mailing list