diff options
Diffstat (limited to 'test/Transforms/InstCombine/and-xor-merge.ll')
| -rw-r--r-- | test/Transforms/InstCombine/and-xor-merge.ll | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/test/Transforms/InstCombine/and-xor-merge.ll b/test/Transforms/InstCombine/and-xor-merge.ll index e432a9a..b9a6a53 100644 --- a/test/Transforms/InstCombine/and-xor-merge.ll +++ b/test/Transforms/InstCombine/and-xor-merge.ll @@ -1,8 +1,11 @@ -; RUN: opt < %s -instcombine -S | grep and | count 1 -; RUN: opt < %s -instcombine -S | grep xor | count 2 +; RUN: opt < %s -instcombine -S | FileCheck %s ; (x&z) ^ (y&z) -> (x^y)&z define i32 @test1(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @test1( +; CHECK-NEXT: %tmp61 = xor i32 %x, %y +; CHECK-NEXT: %tmp7 = and i32 %tmp61, %z +; CHECK-NEXT: ret i32 %tmp7 %tmp3 = and i32 %z, %x %tmp6 = and i32 %z, %y %tmp7 = xor i32 %tmp3, %tmp6 @@ -11,9 +14,11 @@ define i32 @test1(i32 %x, i32 %y, i32 %z) { ; (x & y) ^ (x|y) -> x^y define i32 @test2(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @test2( +; CHECK-NEXT: %tmp7 = xor i32 %y, %x +; CHECK-NEXT: ret i32 %tmp7 %tmp3 = and i32 %y, %x %tmp6 = or i32 %y, %x %tmp7 = xor i32 %tmp3, %tmp6 ret i32 %tmp7 } - |