From 3f10f1a5c77e932f9cab7e6cbb6750d2ac800bc8 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Sun, 26 Apr 2020 08:45:08 -0400 Subject: [PATCH] [InstCombine] updated test comments; NFC As suggested in review for: rG4abab5c5ca7b --- llvm/test/Transforms/InstCombine/and-or-icmps.ll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/llvm/test/Transforms/InstCombine/and-or-icmps.ll b/llvm/test/Transforms/InstCombine/and-or-icmps.ll index 56d5b04..a62790b 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 differ 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( -- 2.7.4