OSDN Git Service

Convert a few tests to FileCheck for PR5307.
authorEdward O'Callaghan <eocallaghan@auroraux.org>
Sun, 22 Nov 2009 11:45:44 +0000 (11:45 +0000)
committerEdward O'Callaghan <eocallaghan@auroraux.org>
Sun, 22 Nov 2009 11:45:44 +0000 (11:45 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89584 91177308-0d34-0410-b5e6-96231b3b80d8

test/CodeGen/ARM/bic.ll
test/CodeGen/ARM/fptoint.ll
test/CodeGen/ARM/fsubs.ll
test/CodeGen/ARM/mls.ll
test/CodeGen/PIC16/2009-07-17-PR4566-pic16.ll
test/CodeGen/PowerPC/bswap-load-store.ll
test/CodeGen/X86/2009-03-13-PHIElimBug.ll
test/CodeGen/X86/2009-03-16-PHIElimInLPad.ll
test/CodeGen/X86/fp_constant_op.ll
test/CodeGen/X86/tailcall-stackalign.ll
test/CodeGen/X86/trunc-to-bool.ll

index b16dcc6..5c6044d 100644 (file)
@@ -6,8 +6,12 @@ define i32 @f1(i32 %a, i32 %b) {
     ret i32 %tmp1
 }
 
+; CHECK: bic   r0, r0, r1
+
 define i32 @f2(i32 %a, i32 %b) {
     %tmp = xor i32 %b, 4294967295
     %tmp1 = and i32 %tmp, %a
     ret i32 %tmp1
 }
+
+; CHECK: bic   r0, r0, r1
index 4cacc5d..f4906ff 100644 (file)
@@ -1,5 +1,4 @@
-; RUN: llc < %s -march=arm -mattr=+v6,+vfp2 | grep -E {vmov\\W*r\[0-9\]+,\\W*s\[0-9\]+} | count 1
-; RUN: llc < %s -march=arm -mattr=+v6,+vfp2 | not grep fmrrd
+; RUN: llc < %s -march=arm -mattr=+v6,+vfp2 | FileCheck %s
 
 @i = weak global i32 0         ; <i32*> [#uses=2]
 @u = weak global i32 0         ; <i32*> [#uses=2]
@@ -45,3 +44,7 @@ define void @foo9(double %x) {
        store i16 %tmp, i16* null
        ret void
 }
+
+; CHECK: vmov  d0, r0, r1
+; CHECK-NOT: fmrrd
+
index f84ccdd..ae98be3 100644 (file)
@@ -1,6 +1,6 @@
-; RUN: llc < %s -march=arm -mattr=+vfp2 | grep -E {vsub.f32\\W*s\[0-9\]+,\\W*s\[0-9\]+,\\W*s\[0-9\]+} | count 1
-; RUN: llc < %s -march=arm -mattr=+neon -arm-use-neon-fp=1 | grep -E {vsub.f32\\W*d\[0-9\]+,\\W*d\[0-9\]+,\\W*d\[0-9\]+} | count 1
-; RUN: llc < %s -march=arm -mattr=+neon -arm-use-neon-fp=0 | grep -E {vsub.f32\\W*s\[0-9\]+,\\W*s\[0-9\]+,\\W*s\[0-9\]+} | count 1
+; RUN: llc < %s -march=arm -mattr=+vfp2 | FileCheck %s -check-prefix=VFP2
+; RUN: llc < %s -march=arm -mattr=+neon -arm-use-neon-fp=1 | FileCheck %s -check-prefix=NFP1
+; RUN: llc < %s -march=arm -mattr=+neon -arm-use-neon-fp=0 | FileCheck %s -check-prefix=NFP0
 
 define float @test(float %a, float %b) {
 entry:
@@ -8,3 +8,6 @@ entry:
        ret float %0
 }
 
+; VFP2: vsub.f32       s0, s1, s0
+; NFP1: vsub.f32       d0, d1, d0
+; NFP0: vsub.f32       s0, s1, s0
index 85407fa..a6cdba4 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: llc < %s -march=arm -mattr=+v6t2 | grep {mls\\W*r\[0-9\],\\W*r\[0-9\],\\W*r\[0-9\],\\W*r\[0-9\]} | count 1
+; RUN: llc < %s -march=arm -mattr=+v6t2 | FileCheck %s
 
 define i32 @f1(i32 %a, i32 %b, i32 %c) {
     %tmp1 = mul i32 %a, %b
@@ -12,3 +12,5 @@ define i32 @f2(i32 %a, i32 %b, i32 %c) {
     %tmp2 = sub i32 %tmp1, %c
     ret i32 %tmp2
 }
+
+; CHECK: mls   r0, r0, r1, r2
index d7072dd..b508026 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: llc < %s -march=pic16 | grep {movf \\+@i + 0, \\+W}
+; RUN: llc < %s -march=pic16 | FileCheck %s
 
 target datalayout = "e-p:16:8:8-i8:8:8-i16:8:8-i32:8:8-f32:32:32"
 target triple = "pic16-"
@@ -27,3 +27,5 @@ entry:
        store i8 %conv8, i8* %tmp9
        ret void
 }
+
+; CHECK: movf @i + 0, W
index 7eb3bbb..3d45b7f 100644 (file)
@@ -1,11 +1,6 @@
-; RUN: llc < %s -march=ppc32 | \
-; RUN:   grep {stwbrx\\|lwbrx\\|sthbrx\\|lhbrx} | count 4
-; RUN: llc < %s -march=ppc32 | not grep rlwinm
-; RUN: llc < %s -march=ppc32 | not grep rlwimi
-; RUN: llc < %s -march=ppc64 | \
-; RUN:   grep {stwbrx\\|lwbrx\\|sthbrx\\|lhbrx} | count 4
-; RUN: llc < %s -march=ppc64 | not grep rlwinm
-; RUN: llc < %s -march=ppc64 | not grep rlwimi
+; RUN: llc < %s -march=ppc32 | FileCheck %s -check-prefix=X32
+; RUN: llc < %s -march=ppc64 | FileCheck %s -check-prefix=X64
+
 
 define void @STWBRX(i32 %i, i8* %ptr, i32 %off) {
         %tmp1 = getelementptr i8* %ptr, i32 %off                ; <i8*> [#uses=1]
@@ -43,3 +38,18 @@ declare i32 @llvm.bswap.i32(i32)
 
 declare i16 @llvm.bswap.i16(i16)
 
+
+; X32: stwbrx 3, 4, 5
+; X32: lwbrx 3, 3, 4
+; X32: sthbrx 3, 4, 5
+; X32: lhbrx 3, 3, 4
+; X32-NOT: rlwinm
+; X32-NOT: rlwimi
+
+; X32: stwbrx 3, 4, 5
+; X32: lwbrx 3, 3, 4
+; X32: sthbrx 3, 4, 5
+; X32: lhbrx 3, 3, 4
+; X64-NOT: rlwinm
+; X64-NOT: rlwimi
+
index 878fa51..ad7f9f7 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: llc < %s -march=x86 | grep -A 2 {call.*f} | grep movl
+; RUN: llc < %s -march=x86 | FileCheck %s
 ; Check the register copy comes after the call to f and before the call to g
 ; PR3784
 
@@ -26,3 +26,7 @@ lpad:         ; preds = %cont, %entry
        %y = phi i32 [ %a, %entry ], [ %aa, %cont ]             ; <i32> [#uses=1]
        ret i32 %y
 }
+
+; CHECK: call{{.*}}f
+; CHECK-NEXT: Llabel1:
+; CHECK-NEXT: movl %eax, %esi
index adbd241..11c4101 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: llc < %s -march=x86 -asm-verbose | grep -A 1 lpad | grep Llabel
+; RUN: llc < %s -march=x86 -asm-verbose | FileCheck %s
 ; Check that register copies in the landing pad come after the EH_LABEL
 
 declare i32 @f()
@@ -19,3 +19,6 @@ lpad:         ; preds = %cont, %entry
        %v = phi i32 [ %x, %entry ], [ %a, %cont ]              ; <i32> [#uses=1]
        ret i32 %v
 }
+
+; CHECK: lpad
+; CHECK-NEXT: Llabel
index 8e823ed..e7bcce1 100644 (file)
@@ -1,6 +1,4 @@
-; RUN: llc < %s -march=x86 -x86-asm-syntax=intel -mcpu=i486 | \
-; RUN:   grep {fadd\\|fsub\\|fdiv\\|fmul} | not grep -i ST
-
+; RUN: llc < %s -march=x86 -x86-asm-syntax=intel -mcpu=i486 | FileCheck %s
 ; Test that the load of the constant is folded into the operation.
 
 
@@ -8,11 +6,14 @@ define double @foo_add(double %P) {
        %tmp.1 = fadd double %P, 1.230000e+02           ; <double> [#uses=1]
        ret double %tmp.1
 }
+; CHECK: fadd {{[^sS][^tT]}}
+; CHECK: fadd {{[^sS][^tT]}}
 
 define double @foo_mul(double %P) {
        %tmp.1 = fmul double %P, 1.230000e+02           ; <double> [#uses=1]
        ret double %tmp.1
 }
+; CHECK: fmul {{[^sS][^tT]}}
 
 define double @foo_sub(double %P) {
        %tmp.1 = fsub double %P, 1.230000e+02           ; <double> [#uses=1]
@@ -33,3 +34,9 @@ define double @foo_divr(double %P) {
        %tmp.1 = fdiv double 1.230000e+02, %P           ; <double> [#uses=1]
        ret double %tmp.1
 }
+
+
+; CHECK: fsub {{[^sS][^tT]}}
+; CHECK: fdiv {{[^sS][^tT]}}
+; CHECK: fdiv {{[^sS][^tT]}}
+
index 110472c..0233139 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: llc < %s  -mtriple=i686-unknown-linux  -tailcallopt | grep -A 1 call | grep -A 1 tailcaller | grep subl | grep 12
+; RUN: llc < %s  -mtriple=i686-unknown-linux  -tailcallopt | FileCheck %s
 ; Linux has 8 byte alignment so the params cause stack size 20 when tailcallopt
 ; is enabled, ensure that a normal fastcc call has matching stack size
 
@@ -19,6 +19,5 @@ define i32 @main(i32 %argc, i8** %argv) {
  ret i32 0
 }
 
-
-
-
+; CHECK: call tailcaller
+; CHECK-NEXT: subl $12
index 374d404..4cdf478 100644 (file)
@@ -1,13 +1,13 @@
 ; An integer truncation to i1 should be done with an and instruction to make
 ; sure only the LSBit survives. Test that this is the case both for a returned
 ; value and as the operand of a branch.
-; RUN: llc < %s -march=x86 | grep {\\(and\\)\\|\\(test.*\\\$1\\)} | \
-; RUN:   count 5
+; RUN: llc < %s -march=x86 | FileCheck %s
 
 define i1 @test1(i32 %X) zeroext {
     %Y = trunc i32 %X to i1
     ret i1 %Y
 }
+; CHECK: andl $1, %eax
 
 define i1 @test2(i32 %val, i32 %mask) {
 entry:
@@ -20,6 +20,7 @@ ret_true:
 ret_false:
     ret i1 false
 }
+; CHECK: testb $1, %al
 
 define i32 @test3(i8* %ptr) {
     %val = load i8* %ptr
@@ -30,6 +31,7 @@ cond_true:
 cond_false:
     ret i32 42
 }
+; CHECK: testb $1, %al
 
 define i32 @test4(i8* %ptr) {
     %tmp = ptrtoint i8* %ptr to i1
@@ -39,6 +41,7 @@ cond_true:
 cond_false:
     ret i32 42
 }
+; CHECK: testb $1, %al
 
 define i32 @test6(double %d) {
     %tmp = fptosi double %d to i1
@@ -48,4 +51,4 @@ cond_true:
 cond_false:
     ret i32 42
 }
-
+; CHECK: testb $1, %al