FileCheck-ize the tests.
authorBill Wendling <isanbard@gmail.com>
Mon, 11 Feb 2013 08:34:57 +0000 (08:34 +0000)
committerBill Wendling <isanbard@gmail.com>
Mon, 11 Feb 2013 08:34:57 +0000 (08:34 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174865 91177308-0d34-0410-b5e6-96231b3b80d8

test/Assembler/2008-09-02-FunctionNotes.ll
test/Transforms/ArgumentPromotion/2008-02-01-ReturnAttrs.ll
test/Transforms/DeadArgElim/2007-12-20-ParamAttrs.ll
test/Transforms/FunctionAttrs/2008-09-03-ReadNone.ll
test/Transforms/FunctionAttrs/2008-09-03-ReadOnly.ll
test/Transforms/SimplifyLibCalls/2009-01-04-Annotate.ll

index 761c91e864c4c84eed6a5ea39f1cc99607ad56de..6971138aeb828bca2e5d7a30ef6f136504496e78 100644 (file)
@@ -1,14 +1,18 @@
 ; Test function attributes
-; RUN: llvm-as < %s | llvm-dis | grep inline | count 2
+; RUN: llvm-as < %s | llvm-dis | FileCheck %s
 
+; CHECK: define void @fn1() alwaysinline
 define void @fn1() alwaysinline {
   ret void
 }
 
+; CHECK: define void @fn2() noinline
 define void @fn2() noinline {
   ret void
 }
 
+; CHECK: define void @fn3()
+; CHECK-NOT: define void @fn3(){{.*}}inline
 define void @fn3() {
   ret void
 }
index e740b29f9288b87489d5008b9657c0bd97669984..d81c8bd3fd60789928f56fadbd0e75de8bf66942 100644 (file)
@@ -1,15 +1,17 @@
-; RUN: opt < %s -argpromotion -S | grep nounwind | count 2
+; RUN: opt < %s -argpromotion -S | FileCheck %s
 
+; CHECK: define internal i32 @deref(i32 %x.val) nounwind {
 define internal i32 @deref(i32* %x) nounwind {
 entry:
-       %tmp2 = load i32* %x, align 4           ; <i32> [#uses=1]
-       ret i32 %tmp2
+  %tmp2 = load i32* %x, align 4
+  ret i32 %tmp2
 }
 
 define i32 @f(i32 %x) {
 entry:
-       %x_addr = alloca i32            ; <i32*> [#uses=2]
-       store i32 %x, i32* %x_addr, align 4
-       %tmp1 = call i32 @deref( i32* %x_addr ) nounwind                ; <i32> [#uses=1]
-       ret i32 %tmp1
+  %x_addr = alloca i32
+  store i32 %x, i32* %x_addr, align 4
+; CHECK: %tmp1 = call i32 @deref(i32 %x_addr.val) nounwind
+  %tmp1 = call i32 @deref( i32* %x_addr ) nounwind
+  ret i32 %tmp1
 }
index 7c6c575ea80f7e02580fdae6b492f193971365f3..20b5da529d12685531abc944f2f3b42182aa6e23 100644 (file)
@@ -1,20 +1,18 @@
-; RUN: opt < %s -deadargelim -S > %t
-; RUN: cat %t | grep nounwind | count 2
-; RUN: cat %t | grep signext | count 2
-; RUN: cat %t | not grep inreg
-; RUN: cat %t | not grep zeroext
-; RUN: cat %t | not grep byval
+; RUN: opt < %s -deadargelim -S | FileCheck %s
 
-       %struct = type { }
+%struct = type { }
 
 @g = global i8 0
 
+; CHECK: define internal void @foo(i8 signext %y) nounwind
+
 define internal zeroext i8 @foo(i8* inreg %p, i8 signext %y, ... )  nounwind {
-       store i8 %y, i8* @g
-       ret i8 0
+  store i8 %y, i8* @g
+  ret i8 0
 }
 
 define i32 @bar() {
-       %A = call zeroext i8(i8*, i8, ...)* @foo(i8* inreg null, i8 signext 1, %struct* byval null ) nounwind
-       ret i32 0
+; CHECK: call void @foo(i8 signext 1) nounwind
+  %A = call zeroext i8(i8*, i8, ...)* @foo(i8* inreg null, i8 signext 1, %struct* byval null ) nounwind
+  ret i32 0
 }
index 946453f586ede9a5dbddeaa7ee597dc69c6bad92..2e88a135a58aad53fc172ec2c1116ff55a7fd5f0 100644 (file)
@@ -1,17 +1,21 @@
-; RUN: opt < %s -basicaa -functionattrs -S | grep readnone | count 4
+; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s
 @x = global i32 0
 
+; CHECK: declare i32 @e() readnone
 declare i32 @e() readnone
 
+; CHECK: define i32 @f() readnone
 define i32 @f() {
        %tmp = call i32 @e( )           ; <i32> [#uses=1]
        ret i32 %tmp
 }
 
+; CHECK: define i32 @g() readnone
 define i32 @g() readonly {
        ret i32 0
 }
 
+; CHECK: define i32 @h() readnone
 define i32 @h() readnone {
        %tmp = load i32* @x             ; <i32> [#uses=1]
        ret i32 %tmp
index 22eca132041520020054a54fb6dcfbf2b1de27f4..0b03fc87dd11fd5aa46ba60674f4d1b60d363cd6 100644 (file)
@@ -1,9 +1,11 @@
-; RUN: opt < %s -basicaa -functionattrs -S | grep readonly | count 2
+; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s
 
+; CHECK: define i32 @f() readonly
 define i32 @f() {
 entry:
-       %tmp = call i32 @e( )           ; <i32> [#uses=1]
-       ret i32 %tmp
+  %tmp = call i32 @e( )
+  ret i32 %tmp
 }
 
+; CHECK: declare i32 @e() readonly
 declare i32 @e() readonly
index 73eb05b05e346ecb752b664050022c55fa42c860..f5f6d4c6be1634ffbeb6baa607f17a16320cd946 100644 (file)
@@ -1,12 +1,18 @@
-; RUN: opt < %s -simplify-libcalls -S > %t
-; RUN: grep noalias %t | count 2
-; RUN: grep nocapture %t | count 3
-; RUN: grep nounwind %t | count 3
-; RUN: grep readonly %t | count 1
+; RUN: opt < %s -simplify-libcalls -S | FileCheck %s
 
+; CHECK: declare noalias i8* @fopen(i8* nocapture, i8* nocapture) nounwind
 declare i8* @fopen(i8*, i8*)
+
+; CHECK: declare i8 @strlen(i8* nocapture) nounwind readonly
 declare i8 @strlen(i8*)
+
+; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) nounwind
 declare i32* @realloc(i32*, i32)
 
 ; Test deliberately wrong declaration
 declare i32 @strcpy(...)
+
+; CHECK-NOT: strcpy{{.*}}noalias
+; CHECK-NOT: strcpy{{.*}}nocapture
+; CHECK-NOT: strcpy{{.*}}nounwind
+; CHECK-NOT: strcpy{{.*}}readonly