Use FileCheck instead of grep. Change by Ankur Garg.

Differential Revision: http://reviews.llvm.org/D6430


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222879 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Suyog Sarda 2014-11-27 11:22:49 +00:00
parent 4646580bc8
commit 578b3ccd8f
2 changed files with 14 additions and 5 deletions

View File

@ -1,11 +1,15 @@
; RUN: opt < %s -instcombine -S | \
; RUN: grep and | count 1
; RUN: FileCheck %s
; Should be optimized to one and.
define i1 @test1(i32 %a, i32 %b) {
; CHECK-LABEL: @test1(
; CHECK-NEXT: %1 = xor i32 %a, %b
; CHECK-NEXT: %2 = and i32 %1, 65280
; CHECK-NEXT: %tmp = icmp ne i32 %2, 0
; CHECK-NEXT: ret i1 %tmp
%tmp1 = and i32 %a, 65280 ; <i32> [#uses=1]
%tmp3 = and i32 %b, 65280 ; <i32> [#uses=1]
%tmp = icmp ne i32 %tmp1, %tmp3 ; <i1> [#uses=1]
ret i1 %tmp
}

View File

@ -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
}