[llvm] r299725 - [InstCombine] Add a few cases for OR we fail to optimize due to missing commuted patterns checks.

[Craig Topper via llvm-commits]

Author: ctopper
Date: Thu Apr  6 18:00:22 2017
New Revision: 299725

URL: http://llvm.org/viewvc/llvm-project?rev=299725&view=rev
Log:
[InstCombine] Add a few cases for OR we fail to optimize due to missing commuted patterns checks.

Modified:
    llvm/trunk/test/Transforms/InstCombine/or.ll

Modified: llvm/trunk/test/Transforms/InstCombine/or.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/or.ll?rev=299725&r1=299724&r2=299725&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/or.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/or.ll Thu Apr  6 18:00:22 2017
@@ -797,3 +797,48 @@ final:
   %value = or <2 x i32> %A, <i32 123, i32 333>
   ret <2 x i32> %value
 }
+
+define i8 @test51(i8 %a, i8 %b, i8 %c) {
+; CHECK-LABEL: @test51(
+; CHECK-NEXT:    [[W:%.*]] = mul i8 [[B:%.*]], [[C:%.*]]
+; CHECK-NEXT:    [[Z:%.*]] = xor i8 [[A:%.*]], -1
+; CHECK-NEXT:    [[Y:%.*]] = and i8 [[W]], [[Z]]
+; CHECK-NEXT:    [[X:%.*]] = or i8 [[Y]], [[A]]
+; CHECK-NEXT:    ret i8 [[X]]
+;
+  %w = mul i8 %b, %c
+  %z = xor i8 %a, -1
+  %y = and i8 %w, %z
+  %x = or i8 %y, %a
+  ret i8 %x
+}
+
+define i8 @test52(i8 %a, i8 %b, i8 %c) {
+; CHECK-LABEL: @test52(
+; CHECK-NEXT:    [[W:%.*]] = mul i8 [[B:%.*]], [[C:%.*]]
+; CHECK-NEXT:    [[Z:%.*]] = xor i8 [[W]], -1
+; CHECK-NEXT:    [[Y:%.*]] = and i8 [[Z]], [[A:%.*]]
+; CHECK-NEXT:    [[X:%.*]] = or i8 [[W]], [[Y]]
+; CHECK-NEXT:    ret i8 [[X]]
+;
+  %w = mul i8 %b, %c
+  %z = xor i8 %w, -1
+  %y = and i8 %z, %a
+  %x = or i8 %w, %y
+  ret i8 %x
+}
+
+define i8 @test53(i8 %a, i8 %b, i8 %c) {
+; CHECK-LABEL: @test53(
+; CHECK-NEXT:    [[W:%.*]] = mul i8 [[B:%.*]], [[C:%.*]]
+; CHECK-NEXT:    [[Z:%.*]] = xor i8 [[W]], -1
+; CHECK-NEXT:    [[Y:%.*]] = and i8 [[Z]], [[A:%.*]]
+; CHECK-NEXT:    [[X:%.*]] = or i8 [[W]], [[Y]]
+; CHECK-NEXT:    ret i8 [[X]]
+;
+  %w = mul i8 %b, %c
+  %z = xor i8 %w, -1
+  %y = and i8 %z, %a
+  %x = or i8 %w, %y
+  ret i8 %x
+}