diff options
65 files changed, 863 insertions, 787 deletions
diff --git a/test/CodeGen/Alpha/jmp_table.ll b/test/CodeGen/Alpha/jmp_table.ll index 04182a7cdd..d7b61163e7 100644 --- a/test/CodeGen/Alpha/jmp_table.ll +++ b/test/CodeGen/Alpha/jmp_table.ll @@ -4,6 +4,7 @@ ; RUN: llvm-as < %s | llc -march=alpha | grep gprel32 ; RUN: llvm-as < %s | llc -march=alpha | grep ldl ; RUN: llvm-as < %s | llc -march=alpha | grep rodata +; END. target datalayout = "e-p:64:64" target triple = "alphaev67-unknown-linux-gnu" diff --git a/test/Linker/2002-07-17-GlobalFail.ll b/test/Linker/2002-07-17-GlobalFail.ll index d950e4019f..d3283106f6 100644 --- a/test/Linker/2002-07-17-GlobalFail.ll +++ b/test/Linker/2002-07-17-GlobalFail.ll @@ -1,8 +1,8 @@ -; RUN: llvm-upgrade < %s | llvm-as > %t.bc +; RUN: llvm-as < %s > %t.bc ; RUN: echo | llvm-as > %t.tmp.bc ; RUN: llvm-link %t.tmp.bc %t.bc -%X = constant int 5 -%Y = internal global [2 x int*] [ int* %X, int * %X] +@X = constant i32 5 ; <i32*> [#uses=2] +@Y = internal global [2 x i32*] [ i32* @X, i32* @X ] ; <[2 x i32*]*> [#uses=0] diff --git a/test/Linker/2002-07-17-LinkTest2.ll b/test/Linker/2002-07-17-LinkTest2.ll index 312b9b90d2..fa986f1572 100644 --- a/test/Linker/2002-07-17-LinkTest2.ll +++ b/test/Linker/2002-07-17-LinkTest2.ll @@ -1,9 +1,10 @@ ; This fails linking when it is linked with an empty file as the first object file ; RUN: llvm-as > %t1.bc < /dev/null -; RUN: llvm-upgrade < %s | llvm-as > %t2.bc +; RUN: llvm-as < %s > %t2.bc ; RUN: llvm-link %t1.bc %t2.bc -%work = global int (int, int)* %zip +@work = global i32 (i32, i32)* @zip ; <i32 (i32, i32)**> [#uses=0] + +declare i32 @zip(i32, i32) -declare int %zip(int, int) diff --git a/test/Linker/2002-08-20-ConstantExpr.ll b/test/Linker/2002-08-20-ConstantExpr.ll index 03b178e96d..5672014ff6 100644 --- a/test/Linker/2002-08-20-ConstantExpr.ll +++ b/test/Linker/2002-08-20-ConstantExpr.ll @@ -1,9 +1,9 @@ ; This fails linking when it is linked with an empty file as the first object file ; RUN: llvm-as > %t.LinkTest.bc < /dev/null -; RUN: llvm-upgrade < %s | llvm-as > %t.bc +; RUN: llvm-as < %s > %t.bc ; RUN: llvm-link %t.LinkTest.bc %t.bc -%work = global int 4 -%test = global int* getelementptr( int* %work, long 1) +@work = global i32 4 ; <i32*> [#uses=1] +@test = global i32* getelementptr (i32* @work, i64 1) ; <i32**> [#uses=0] diff --git a/test/Linker/2003-04-26-NullPtrLinkProblem.ll b/test/Linker/2003-04-26-NullPtrLinkProblem.ll index 029bce264a..c384eadd57 100644 --- a/test/Linker/2003-04-26-NullPtrLinkProblem.ll +++ b/test/Linker/2003-04-26-NullPtrLinkProblem.ll @@ -1,19 +1,17 @@ ; This one fails because the LLVM runtime is allowing two null pointers of ; the same type to be created! -; RUN: echo {%T = type int} | llvm-upgrade | llvm-as > %t.2.bc -; RUN: llvm-upgrade < %s | llvm-as -f > %t.1.bc +; RUN: echo {%T = type i32} | llvm-as > %t.2.bc +; RUN: llvm-as < %s -f > %t.1.bc ; RUN: llvm-link %t.1.bc %t.2.bc %T = type opaque -declare %T* %create() +declare %T* @create() -implementation - -void %test() { - %X = call %T* %create() - %v = seteq %T* %X, null +define void @test() { + %X = call %T* @create( ) ; <%T*> [#uses=1] + %v = icmp eq %T* %X, null ; <i1> [#uses=0] ret void } diff --git a/test/Linker/2003-05-15-TypeProblem.ll b/test/Linker/2003-05-15-TypeProblem.ll index 2c7576fe07..e914a69e34 100644 --- a/test/Linker/2003-05-15-TypeProblem.ll +++ b/test/Linker/2003-05-15-TypeProblem.ll @@ -2,9 +2,9 @@ ; the same type to be created! ; RUN: echo {%S = type \{ %T*\} %T = type opaque} | llvm-as > %t.2.bc -; RUN: llvm-upgrade < %s | llvm-as > %t.1.bc +; RUN: llvm-as < %s > %t.1.bc ; RUN: llvm-link %t.1.bc %t.2.bc -%S = type { %T* } -%T = type int +%S = type { i32* } +%T = type i32 diff --git a/test/Linker/2003-06-02-TypeResolveProblem.ll b/test/Linker/2003-06-02-TypeResolveProblem.ll index 9b1c6f4230..86979f60d1 100644 --- a/test/Linker/2003-06-02-TypeResolveProblem.ll +++ b/test/Linker/2003-06-02-TypeResolveProblem.ll @@ -1,7 +1,7 @@ -; RUN: echo {%T = type opaque} | llvm-upgrade | llvm-as > %t.2.bc -; RUN: llvm-upgrade < %s | llvm-as > %t.1.bc +; RUN: echo {%T = type opaque} | llvm-as > %t.2.bc +; RUN: llvm-as < %s > %t.1.bc ; RUN: llvm-link %t.1.bc %t.2.bc %T = type opaque -%a = constant { %T* } { %T* null } +@a = constant { %T* } zeroinitializer ; <{ %T* }*> [#uses=0] diff --git a/test/Linker/2003-06-02-TypeResolveProblem2.ll b/test/Linker/2003-06-02-TypeResolveProblem2.ll index 0dcca98ac3..42cc0403ae 100644 --- a/test/Linker/2003-06-02-TypeResolveProblem2.ll +++ b/test/Linker/2003-06-02-TypeResolveProblem2.ll @@ -1,8 +1,7 @@ -; RUN: echo {%T = type int} | llvm-upgrade | llvm-as > %t.1.bc -; RUN: llvm-upgrade < %s | llvm-as > %t.2.bc +; RUN: echo {%T = type i32} | llvm-as > %t.1.bc +; RUN: llvm-as < %s > %t.2.bc ; RUN: llvm-link %t.1.bc %t.2.bc %T = type opaque - -%X = constant {%T*} {%T* null } +@X = constant { %T* } zeroinitializer ; <{ %T* }*> [#uses=0] diff --git a/test/Linker/2003-08-20-OpaqueTypeResolve.ll b/test/Linker/2003-08-20-OpaqueTypeResolve.ll index b659b1ab77..a4d4bd543a 100644 --- a/test/Linker/2003-08-20-OpaqueTypeResolve.ll +++ b/test/Linker/2003-08-20-OpaqueTypeResolve.ll @@ -1,7 +1,8 @@ -; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc -; RUN: echo {%S = type \{ int, int* \} } | llvm-upgrade | llvm-as > %t.out2.bc +; RUN: llvm-as < %s > %t.out1.bc +; RUN: echo {%S = type \{ i32, i32* \} } | llvm-as > %t.out2.bc ; RUN: llvm-link %t.out1.bc %t.out2.bc +%S = type { i32, %T* } %T = type opaque -%S = type { int, %T* } + ;%X = global { int, %T* } { int 5, %T* null } diff --git a/test/Linker/2003-08-23-GlobalVarLinking.ll b/test/Linker/2003-08-23-GlobalVarLinking.ll index 45d77745a2..fd36d0422a 100644 --- a/test/Linker/2003-08-23-GlobalVarLinking.ll +++ b/test/Linker/2003-08-23-GlobalVarLinking.ll @@ -1,10 +1,10 @@ -; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc -; RUN: echo {%S = external global \{ int, opaque* \} declare void %F(opaque*)}\ -; RUN: | llvm-upgrade | llvm-as > %t.out2.bc +; RUN: llvm-as < %s > %t.out1.bc +; RUN: echo {@S = external global \{ i32, opaque* \} declare void @F(opaque*)}\ +; RUN: | llvm-as > %t.out2.bc ; RUN: llvm-link %t.out1.bc %t.out2.bc | llvm-dis | not grep opaque ; After linking this testcase, there should be no opaque types left. The two ; S's should cause the opaque type to be resolved to 'int'. -%S = global { int, int* } { int 5, int* null } +@S = global { i32, i32* } { i32 5, i32* null } ; <{ i32, i32* }*> [#uses=0] -declare void %F(int*) +declare void @F(i32*) diff --git a/test/Linker/2003-08-23-RecursiveOpaqueTypeResolve.ll b/test/Linker/2003-08-23-RecursiveOpaqueTypeResolve.ll index 50aae13cce..5041467604 100644 --- a/test/Linker/2003-08-23-RecursiveOpaqueTypeResolve.ll +++ b/test/Linker/2003-08-23-RecursiveOpaqueTypeResolve.ll @@ -1,8 +1,9 @@ ; It's a bad idea to go recursively traipsing through types without a safety ; net. -; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc -; RUN: echo "%S = type { %S*, int* }" | llvm-upgrade | llvm-as > %t.out2.bc +; RUN: llvm-as < %s > %t.out1.bc +; RUN: echo "%S = type { %S*, i32* }" | llvm-as > %t.out2.bc ; RUN: llvm-link %t.out1.bc %t.out2.bc %S = type { %S*, opaque* } + diff --git a/test/Linker/2003-08-28-TypeResolvesGlobal.ll b/test/Linker/2003-08-28-TypeResolvesGlobal.ll index 41aef3230b..5526b87ce7 100644 --- a/test/Linker/2003-08-28-TypeResolvesGlobal.ll +++ b/test/Linker/2003-08-28-TypeResolvesGlobal.ll @@ -1,12 +1,12 @@ -; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc -; RUN: echo "%S = type int" | llvm-upgrade | llvm-as > %t.out2.bc +; RUN: llvm-as < %s > %t.out1.bc +; RUN: echo "%S = type i32" | llvm-as > %t.out2.bc ; RUN: llvm-link %t.out2.bc %t.out1.bc %S = type opaque -void %foo(int* %V) { - ret void +define void @foo(i32* %V) { + ret void } -declare void %foo(%S*) +declare void @foo.upgrd.1(%S*) diff --git a/test/Linker/2003-08-28-TypeResolvesGlobal2.ll b/test/Linker/2003-08-28-TypeResolvesGlobal2.ll index 212ef2bd1f..3f306b167b 100644 --- a/test/Linker/2003-08-28-TypeResolvesGlobal2.ll +++ b/test/Linker/2003-08-28-TypeResolvesGlobal2.ll @@ -1,17 +1,18 @@ -; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc -; RUN: echo "%S = type int" | llvm-upgrade | llvm-as > %t.out2.bc +; RUN: llvm-as < %s > %t.out1.bc +; RUN: echo "%S = type i32" | llvm-as > %t.out2.bc ; RUN: llvm-link %t.out2.bc %t.out1.bc %S = type opaque -void %foo(int* %V) { - ret void +define void @foo(i32* %V) { + ret void } -declare void %foo(%S*) +declare void @foo.upgrd.1(%S*) -void %other() { - call void %foo(%S* null) ; Add a use of the unresolved proto - call void %foo(int* null) ; Add a use of the resolved function +define void @other() { + call void @foo.upgrd.1( %S* null ) + call void @foo( i32* null ) ret void } + diff --git a/test/Linker/2003-08-28-TypeResolvesGlobal3.ll b/test/Linker/2003-08-28-TypeResolvesGlobal3.ll index 5a52f9c1af..38b7851ab8 100644 --- a/test/Linker/2003-08-28-TypeResolvesGlobal3.ll +++ b/test/Linker/2003-08-28-TypeResolvesGlobal3.ll @@ -1,15 +1,15 @@ -; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc -; RUN: echo "%S = type int" | llvm-upgrade | llvm-as > %t.out2.bc +; RUN: llvm-as < %s > %t.out1.bc +; RUN: echo "%S = type i32" | llvm-as > %t.out2.bc ; RUN: llvm-link %t.out2.bc %t.out1.bc %S = type opaque ; GLobal using the resolved function prototype -global void(%S*)* %foo +global void (%S*)* @foo ; <void (%S*)**>:0 [#uses=0] -void %foo(int* %V) { - ret void +define void @foo.upgrd.1(i32* %V) { + ret void } -declare void %foo(%S*) +declare void @foo(%S*) diff --git a/test/Linker/2003-10-21-ConflictingTypesTolerance.ll b/test/Linker/2003-10-21-ConflictingTypesTolerance.ll index 07d4b2d900..b3e64da35b 100644 --- a/test/Linker/2003-10-21-ConflictingTypesTolerance.ll +++ b/test/Linker/2003-10-21-ConflictingTypesTolerance.ll @@ -1,7 +1,7 @@ -; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc +; RUN: llvm-as < %s > %t.out1.bc ; RUN: echo { %S = type \[8 x i32\] external global %S } | llvm-as > %t.out2.bc ; RUN: llvm-link %t.out1.bc %t.out2.bc | llvm-dis | grep %S | grep \{ -%S = type { int } +%S = type { i32 } diff --git a/test/Linker/2003-10-27-LinkOncePromote.ll b/test/Linker/2003-10-27-LinkOncePromote.ll index a4e5aa6cdd..f2d465ed80 100644 --- a/test/Linker/2003-10-27-LinkOncePromote.ll +++ b/test/Linker/2003-10-27-LinkOncePromote.ll @@ -1,8 +1,8 @@ ; The linker should merge link-once globals into strong external globals, ; just like it does for weak symbols! -; RUN: echo "%X = global int 7" | llvm-upgrade | llvm-as > %t.2.bc -; RUN: llvm-upgrade < %s | llvm-as > %t.1.bc +; RUN: echo "@X = global i32 7" | llvm-as > %t.2.bc +; RUN: llvm-as < %s > %t.1.bc ; RUN: llvm-link %t.1.bc %t.2.bc -%X = linkonce global int 7 +@X = linkonce global i32 7 diff --git a/test/Transforms/IndVarsSimplify/variable-stride-ivs.ll b/test/Transforms/IndVarsSimplify/variable-stride-ivs.ll index dc86f1eec5..759ba8e177 100644 --- a/test/Transforms/IndVarsSimplify/variable-stride-ivs.ll +++ b/test/Transforms/IndVarsSimplify/variable-stride-ivs.ll @@ -3,6 +3,7 @@ ; Test that -indvars can reduce variable stride IVs. If it can reduce variable ; stride iv's, it will make %iv. and %m.0.0 isomorphic to each other without ; cycles, allowing the tmp.21 subtraction to be eliminated. +; END. define void @vnum_test8(i32* %data) { entry: diff --git a/test/Transforms/InstCombine/2002-05-14-TouchDeletedInst.ll b/test/Transforms/InstCombine/2002-05-14-TouchDeletedInst.ll index 1c93d2457d..4ebbe2470f 100644 --- a/test/Transforms/InstCombine/2002-05-14-TouchDeletedInst.ll +++ b/test/Transforms/InstCombine/2002-05-14-TouchDeletedInst.ll @@ -6,6 +6,8 @@ ; ; RUN: llvm-as < %s | opt -instcombine ; +; END. + @.LC0 = internal global [21 x i8] c"hbMakeCodeLengths(1)\00" ; <[21 x i8]*> [#uses=1] @.LC1 = internal global [21 x i8] c"hbMakeCodeLengths(2)\00" ; <[21 x i8]*> [#uses=1] diff --git a/test/Transforms/InstCombine/2003-07-21-ExternalConstant.ll b/test/Transforms/InstCombine/2003-07-21-ExternalConstant.ll index 14140018f9..09732d3f63 100644 --- a/test/Transforms/InstCombine/2003-07-21-ExternalConstant.ll +++ b/test/Transforms/InstCombine/2003-07-21-ExternalConstant.ll @@ -11,7 +11,7 @@ ; ; Extra code: ; RUN: llvm-as < %s | opt -instcombine -; +; END. target datalayout = "e-p:32:32" @silly = external constant i32 ; <i32*> [#uses=1] diff --git a/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll b/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll index 836d1eb27a..afb573b6ef 100644 --- a/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll +++ b/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll @@ -11,7 +11,7 @@ ; ; RUN: llvm-as < %s -o - | opt -instcombine | llvm-dis | \ ; RUN: notcast .*int - +; END. define i1 @lt_signed_to_large_unsigned(i8 %SB) { %Y = sext i8 %SB to i32 ; <i32> [#uses=1] %C = icmp ult i32 %Y, 1024 ; <i1> [#uses=1] diff --git a/test/Transforms/InstCombine/2006-04-01-InfLoop.ll b/test/Transforms/InstCombine/2006-04-01-InfLoop.ll index 1a26b63c5d..6ea3d11120 100644 --- a/test/Transforms/InstCombine/2006-04-01-InfLoop.ll +++ b/test/Transforms/InstCombine/2006-04-01-InfLoop.ll @@ -1,4 +1,5 @@ ; RUN: llvm-as < %s | opt -instcombine -disable-output +; END. %struct.DecRefPicMarking_s = type { i32, i32, i32, i32, i32, %struct.DecRefPicMarking_s* } %struct.datapartition = type { %typedef.Bitstream*, %typedef.DecodingEnvironment, i32 (%struct.syntaxelement*, %struct.img_par*, %struct.inp_par*, %struct.datapartition*)* } %struct.img_par = type { i32, i32, i32, i32, i32*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [16 x [16 x i16]], [6 x [32 x i32]], [16 x [16 x i32]], [4 x [12 x [4 x [4 x i32]]]], [16 x i32], i32**, i32*, i32***, i32**, i32, i32, i32, i32, %typedef.Slice*, %struct.macroblock*, i32, i32, i32, i32, i32, i32, i32**, %struct.DecRefPicMarking_s*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [3 x i32], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32***, i32***, i32****, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.timeb, %struct.timeb, i32, i32, i32, i32, i32, i32, i32, i32 } diff --git a/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll b/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll index 4506bf0a4e..1b9df405c5 100644 --- a/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll +++ b/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll @@ -1,4 +1,5 @@ ; RUN: llvm-as < %s | opt -instcombine -disable-output +; END. define void @test() { bb38.i: diff --git a/test/Transforms/InstCombine/2006-05-06-Infloop.ll b/test/Transforms/InstCombine/2006-05-06-Infloop.ll index b1c48ecba7..ec67d7178e 100644 --- a/test/Transforms/InstCombine/2006-05-06-Infloop.ll +++ b/test/Transforms/InstCombine/2006-05-06-Infloop.ll @@ -1,4 +1,5 @@ ; RUN: llvm-as < %s | opt -instcombine -disable-output +; END. %struct.gs_matrix = type { float, i32, float, i32, float, i32, float, i32, float, i32, float, i32 } %struct.gx_bitmap = type { i8*, i32, i32, i32 } %struct.gx_device = type { i32, %struct.gx_device_procs*, i8*, i32, i32, float, float, i32, i16, i32, i32 } diff --git a/test/Transforms/InstCombine/2006-09-11-EmptyStructCrash.ll b/test/Transforms/InstCombine/2006-09-11-EmptyStructCrash.ll index 7ed59c2fd5..bf9252a349 100644 --- a/test/Transforms/InstCombine/2006-09-11-EmptyStructCrash.ll +++ b/test/Transforms/InstCombine/2006-09-11-EmptyStructCrash.ll @@ -1,5 +1,6 @@ ; PR905 ; RUN: llvm-as < %s | opt -instcombine -disable-output +; END. %RPYTHON_EXCEPTION = type { %RPYTHON_EXCEPTION_VTABLE* } %RPYTHON_EXCEPTION_VTABLE = type { %RPYTHON_EXCEPTION_VTABLE*, i32, i32, %RPyOpaque_RuntimeTypeInfo*, %arraytype_Char*, %functiontype_12* } diff --git a/test/Transforms/InstCombine/2006-12-08-Phi-ICmp-Op-Fold.ll b/test/Transforms/InstCombine/2006-12-08-Phi-ICmp-Op-Fold.ll index 16dbd2196e..1508a523b7 100644 --- a/test/Transforms/InstCombine/2006-12-08-Phi-ICmp-Op-Fold.ll +++ b/test/Transforms/InstCombine/2006-12-08-Phi-ICmp-Op-Fold.ll @@ -1,5 +1,6 @@ ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \ ; RUN: grep {icmp sgt} +; END. target datalayout = "e-p:32:32" target triple = "i686-pc-linux-gnu" %struct.point = type { i32, i32 } diff --git a/test/Transforms/InstCombine/2006-12-08-Select-ICmp.ll b |