[llvm-commits] [llvm] r48417 - in /llvm/trunk/test/Verifier: 2002-04-13-RetTypes.ll 2002-11-05-GetelementptrPointers.ll 2005-03-21-UndefinedTypeReference.ll 2006-07-11-StoreStruct.ll 2006-12-12-IntrinsicDefine.ll AmbiguousPhi.ll PhiGrouping.ll
Nick Lewycky
nicholas at mxc.ca
Sun Mar 16 00:55:46 PDT 2008
Author: nicholas
Date: Sun Mar 16 02:55:46 2008
New Revision: 48417
URL: http://llvm.org/viewvc/llvm-project?rev=48417&view=rev
Log:
All of these tests had out of date syntax and were never even running through
llvm-upgrade because nobody noticed them failing.
Update to use new syntax and actually check for the right failure by looking at
the error message.
Modified:
llvm/trunk/test/Verifier/2002-04-13-RetTypes.ll
llvm/trunk/test/Verifier/2002-11-05-GetelementptrPointers.ll
llvm/trunk/test/Verifier/2005-03-21-UndefinedTypeReference.ll
llvm/trunk/test/Verifier/2006-07-11-StoreStruct.ll
llvm/trunk/test/Verifier/2006-12-12-IntrinsicDefine.ll
llvm/trunk/test/Verifier/AmbiguousPhi.ll
llvm/trunk/test/Verifier/PhiGrouping.ll
Modified: llvm/trunk/test/Verifier/2002-04-13-RetTypes.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/2002-04-13-RetTypes.ll?rev=48417&r1=48416&r2=48417&view=diff
==============================================================================
--- llvm/trunk/test/Verifier/2002-04-13-RetTypes.ll (original)
+++ llvm/trunk/test/Verifier/2002-04-13-RetTypes.ll Sun Mar 16 02:55:46 2008
@@ -1,11 +1,10 @@
-; RUN: not llvm-as -f %s -o /dev/null
+; RUN: not llvm-as < %s |& grep {return type does not match operand type}
; Verify the the operand type of the ret instructions in a function match the
; delcared return type of the function they live in.
;
-implementation
-uint "testfunc"()
+define i32 @testfunc()
begin
- ret int* null
+ ret i32* null
end
Modified: llvm/trunk/test/Verifier/2002-11-05-GetelementptrPointers.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/2002-11-05-GetelementptrPointers.ll?rev=48417&r1=48416&r2=48417&view=diff
==============================================================================
--- llvm/trunk/test/Verifier/2002-11-05-GetelementptrPointers.ll (original)
+++ llvm/trunk/test/Verifier/2002-11-05-GetelementptrPointers.ll Sun Mar 16 02:55:46 2008
@@ -1,9 +1,9 @@
-; RUN: not llvm-as -f %s -o /dev/null
+; RUN: not llvm-as < %s |& grep {Invalid getelementptr indices}
; This testcase is invalid because we are indexing into a pointer that is
; contained WITHIN a structure.
-void %test({int, int*} * %X) {
- getelementptr {int, int*} * %X, long 0, uint 1, long 0
+define void @test({i32, i32*} * %X) {
+ getelementptr {i32, i32*} * %X, i32 0, i32 1, i32 0
ret void
}
Modified: llvm/trunk/test/Verifier/2005-03-21-UndefinedTypeReference.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/2005-03-21-UndefinedTypeReference.ll?rev=48417&r1=48416&r2=48417&view=diff
==============================================================================
--- llvm/trunk/test/Verifier/2005-03-21-UndefinedTypeReference.ll (original)
+++ llvm/trunk/test/Verifier/2005-03-21-UndefinedTypeReference.ll Sun Mar 16 02:55:46 2008
@@ -1,5 +1,6 @@
-; RUN: not llvm-as -f %s -o /dev/null
-void %test() {
+; RUN: not llvm-as < %s |& grep {Reference to an undefined type}
+
+define void @test() {
malloc %InvalidType
ret void
}
Modified: llvm/trunk/test/Verifier/2006-07-11-StoreStruct.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/2006-07-11-StoreStruct.ll?rev=48417&r1=48416&r2=48417&view=diff
==============================================================================
--- llvm/trunk/test/Verifier/2006-07-11-StoreStruct.ll (original)
+++ llvm/trunk/test/Verifier/2006-07-11-StoreStruct.ll Sun Mar 16 02:55:46 2008
@@ -1,11 +1,9 @@
-; RUN: not llvm-as %s -o /dev/null -f
+; RUN: not llvm-as < %s |& grep {Instruction operands must be first-class}
; PR826
- %struct_4 = type { int }
+ %struct_4 = type { i32 }
-implementation ; Functions:
-
-void %test() {
+define void @test() {
store %struct_4 zeroinitializer, %struct_4* null
unreachable
}
Modified: llvm/trunk/test/Verifier/2006-12-12-IntrinsicDefine.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/2006-12-12-IntrinsicDefine.ll?rev=48417&r1=48416&r2=48417&view=diff
==============================================================================
--- llvm/trunk/test/Verifier/2006-12-12-IntrinsicDefine.ll (original)
+++ llvm/trunk/test/Verifier/2006-12-12-IntrinsicDefine.ll Sun Mar 16 02:55:46 2008
@@ -1,7 +1,7 @@
-; RUN: not llvm-as < %s
+; RUN: not llvm-as < %s |& grep {llvm intrinsics cannot be defined}
; PR1047
-void %llvm.memcpy.i32(sbyte*, sbyte*, uint, uint) {
+define void @llvm.memcpy.i32(i8*, i8*, i32, i32) {
entry:
ret void
}
Modified: llvm/trunk/test/Verifier/AmbiguousPhi.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/AmbiguousPhi.ll?rev=48417&r1=48416&r2=48417&view=diff
==============================================================================
--- llvm/trunk/test/Verifier/AmbiguousPhi.ll (original)
+++ llvm/trunk/test/Verifier/AmbiguousPhi.ll Sun Mar 16 02:55:46 2008
@@ -1,10 +1,10 @@
-; RUN: not llvm-as -f %s -o /dev/null
+; RUN: not llvm-as < %s |& grep {multiple entries for the same basic block}
-int "test"(int %i, int %j, bool %c) {
- br bool %c, label %A, label %A
+define i32 @test(i32 %i, i32 %j, i1 %c) {
+ br i1 %c, label %A, label %A
A:
- %a = phi int [%i, %0], [%j, %0] ; Error, different values from same block!
- ret int %a
+ %a = phi i32 [%i, %0], [%j, %0] ; Error, different values from same block!
+ ret i32 %a
}
Modified: llvm/trunk/test/Verifier/PhiGrouping.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/PhiGrouping.ll?rev=48417&r1=48416&r2=48417&view=diff
==============================================================================
--- llvm/trunk/test/Verifier/PhiGrouping.ll (original)
+++ llvm/trunk/test/Verifier/PhiGrouping.ll Sun Mar 16 02:55:46 2008
@@ -1,17 +1,17 @@
-; RUN: not llvm-as -f %s -o /dev/null
+; RUN: not llvm-as < %s |& grep {PHI nodes not grouped at top}
-int "test"(int %i, int %j, bool %c) {
- br bool %c, label %A, label %B
+define i32 @test(i32 %i, i32 %j, i1 %c) {
+ br i1 %c, label %A, label %B
A:
br label %C
B:
br label %C
C:
- %a = phi int [%i, %A], [%j, %B]
- %x = add int %a, 0 ; Error, PHI's should be grouped!
- %b = phi int [%i, %A], [%j, %B]
- ret int %x
+ %a = phi i32 [%i, %A], [%j, %B]
+ %x = add i32 %a, 0 ; Error, PHI's should be grouped!
+ %b = phi i32 [%i, %A], [%j, %B]
+ ret i32 %x
}
More information about the llvm-commits
mailing list