diff options
author | Tanya Lattner <tonic@nondot.org> | 2008-02-14 06:56:27 +0000 |
---|---|---|
committer | Tanya Lattner <tonic@nondot.org> | 2008-02-14 06:56:27 +0000 |
commit | dcd188d33fdaff8cea019ebd64e3a3d2b1a700c0 (patch) | |
tree | e443e360baad1556849b2bb86d4296b4c011b83e | |
parent | eb05f90c71fc7b42e52d4f363fd8325bace9a0e7 (diff) |
Remove llvm-upgrade.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47110 91177308-0d34-0410-b5e6-96231b3b80d8
43 files changed, 561 insertions, 597 deletions
diff --git a/test/Analysis/Andersens/arg-must-alias.ll b/test/Analysis/Andersens/arg-must-alias.ll index d19b381e4a..9680bb5fa9 100644 --- a/test/Analysis/Andersens/arg-must-alias.ll +++ b/test/Analysis/Andersens/arg-must-alias.ll @@ -1,17 +1,15 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | not grep ARG +; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | not grep ARG -%G = internal constant int* null +@G = internal constant i32* null -implementation - -internal int %internal(int* %ARG) { +define internal i32 @internal(i32* %ARG) { ;; The 'Arg' argument must-aliases the null pointer, so it can be subsituted ;; directly here, making it dead. - store int* %ARG, int** %G - ret int 0 + store i32* %ARG, i32** @G + ret i32 0 } -int %foo() { - %V = call int %internal(int* null) - ret int %V +define i32 @foo() { + %V = call i32 @internal(i32* null) + ret i32 %V } diff --git a/test/Analysis/Andersens/basictest.ll b/test/Analysis/Andersens/basictest.ll index 5730f75b5b..d84c8feaaa 100644 --- a/test/Analysis/Andersens/basictest.ll +++ b/test/Analysis/Andersens/basictest.ll @@ -1,30 +1,28 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -aa-eval +; RUN: llvm-as < %s | opt -anders-aa -aa-eval -implementation - -void %test1() { - %X = malloc int* - %Y = malloc int - %Z = cast int* %Y to int - %W = cast int %Z to int* - store int* %W, int** %X +define void @test1() { + %X = malloc i32* + %Y = malloc i32 + %Z = ptrtoint i32* %Y to i32 + %W = inttoptr i32 %Z to i32* + store i32* %W, i32** %X ret void } -void %test2(int* %P) { - %X = malloc int* - %Y = malloc int - store int* %P, int** %X +define void @test2(i32* %P) { + %X = malloc i32* + %Y = malloc i32 + store i32* %P, i32** %X ret void } -internal int *%test3(int* %P) { - ret int* %P +define internal i32 *@test3(i32* %P) { + ret i32* %P } -void %test4() { - %X = malloc int - %Y = call int* %test3(int* %X) - %ZZ = getelementptr int* null, int 17 +define void @test4() { + %X = malloc i32 + %Y = call i32* @test3(i32* %X) + %ZZ = getelementptr i32* null, i32 17 ret void } diff --git a/test/Analysis/Andersens/external.ll b/test/Analysis/Andersens/external.ll index a829999f44..183319513e 100644 --- a/test/Analysis/Andersens/external.ll +++ b/test/Analysis/Andersens/external.ll @@ -1,22 +1,20 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | grep store | not grep null +; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | grep store | not grep null ; Because the 'internal' function is passed to an external function, we don't ; know what the incoming values will alias. As such, we cannot do the ; optimization checked by the 'arg-must-alias.llx' test. -declare void %external(int(int*)*) -%G = internal constant int* null +declare void @external(i32(i32*)*) +@G = internal constant i32* null -implementation - -internal int %internal(int* %ARG) { +define internal i32 @internal(i32* %ARG) { ;;; We *DON'T* know that ARG always points to null! - store int* %ARG, int** %G - ret int 0 + store i32* %ARG, i32** @G + ret i32 0 } -int %foo() { - call void %external(int(int*)* %internal) - %V = call int %internal(int* null) - ret int %V +define i32 @foo() { + call void @external(i32(i32*)* @internal) + %V = call i32 @internal(i32* null) + ret i32 %V } diff --git a/test/Analysis/Andersens/modreftest.ll b/test/Analysis/Andersens/modreftest.ll index 0716614219..b5c60cd790 100644 --- a/test/Analysis/Andersens/modreftest.ll +++ b/test/Analysis/Andersens/modreftest.ll @@ -1,15 +1,15 @@ -; RUN: llvm-upgrade < %s | llvm-as | \ -; RUN: opt -anders-aa -load-vn -gcse -instcombine | llvm-dis | \ -; RUN: grep {ret i1 true} +; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -instcombine | llvm-dis \ +; RUN: | grep {ret i1 true} -%G = internal global int* null -declare int *%ext() -bool %bar() { - %V1 = load int** %G - %X2 = call int *%ext() - %V2 = load int** %G - store int* %X2, int** %G +@G = internal global i32* null +declare i32 *@ext() - %C = seteq int* %V1, %V2 - ret bool %C +define i1 @bar() { + %V1 = load i32** @G + %X2 = call i32 *@ext() + %V2 = load i32** @G + store i32* %X2, i32** @G + + %C = icmp eq i32* %V1, %V2 + ret i1 %C } diff --git a/test/Analysis/Andersens/trivialtest.ll b/test/Analysis/Andersens/trivialtest.ll index 9e447d6d6b..ce37516b36 100644 --- a/test/Analysis/Andersens/trivialtest.ll +++ b/test/Analysis/Andersens/trivialtest.ll @@ -1,3 +1,3 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -disable-output +; RUN: llvm-as < %s | opt -anders-aa -disable-output -void %foo() { ret void } +define void @foo() { ret void } diff --git a/test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll b/test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll index cb2b27eeb2..4a3239fa56 100644 --- a/test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll +++ b/test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll @@ -2,17 +2,17 @@ ; is performed. It is not legal to delete the second load instruction because ; the value computed by the first load instruction is changed by the store. -; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | grep DONOTREMOVE +; RUN: llvm-as < %s | opt -load-vn -gcse -instcombine | llvm-dis | grep DONOTREMOVE -int %test() { - %A = alloca int - store int 0, int* %A - %X = load int* %A - %B = cast int* %A to sbyte* - %C = getelementptr sbyte* %B, long 1 - store sbyte 1, sbyte* %C ; Aliases %A - %Y.DONOTREMOVE = load int* %A - %Z = sub int %X, %Y.DONOTREMOVE - ret int %Z +define i32 @test() { + %A = alloca i32 + store i32 0, i32* %A + %X = load i32* %A + %B = bitcast i32* %A to i8* + %C = getelementptr i8* %B, i64 1 + store i8 1, i8* %C ; Aliases %A + %Y.DONOTREMOVE = load i32* %A + %Z = sub i32 %X, %Y.DONOTREMOVE + ret i32 %Z } diff --git a/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll b/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll index ee008a8df0..8f2e22d5c3 100644 --- a/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll +++ b/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll @@ -1,7 +1,7 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output +; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output ; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2 -void %test({[2 x int],[2 x int]}* %A, long %X, long %Y) { - %P1 = getelementptr {[2 x int],[2 x int]}* %A, long 0, uint 0, long %X - %P2 = getelementptr {[2 x int],[2 x int]}* %A, long 0, uint 1, long %Y +define void @test({[2 x i32],[2 x i32]}* %A, i64 %X, i64 %Y) { + %P1 = getelementptr {[2 x i32],[2 x i32]}* %A, i64 0, i32 0, i64 %X + %P2 = getelementptr {[2 x i32],[2 x i32]}* %A, i64 0, i32 1, i64 %Y ret void } diff --git a/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll b/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll index ddadc8eea2..5902a4266c 100644 --- a/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll +++ b/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll @@ -1,15 +1,15 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | grep sub +; RUN: llvm-as < %s | opt -load-vn -gcse -instcombine | llvm-dis | grep sub ; BasicAA was incorrectly concluding that P1 and P2 didn't conflict! -int %test(int *%Ptr, long %V) { - %P2 = getelementptr int* %Ptr, long 1 - %P1 = getelementptr int* %Ptr, long %V - %X = load int* %P1 - store int 5, int* %P2 +define i32 @test(i32 *%Ptr, i64 %V) { + %P2 = getelementptr i32* %Ptr, i64 1 + %P1 = getelementptr i32* %Ptr, i64 %V + %X = load i32* %P1 + store i32 5, i32* %P2 - %Y = load int* %P1 + %Y = load i32* %P1 - %Z = sub int %X, %Y - ret int %Z + %Z = sub i32 %X, %Y + ret i32 %Z } diff --git a/test/Analysis/BasicAA/2003-04-25-GEPCrash.ll b/test/Analysis/BasicAA/2003-04-25-GEPCrash.ll index 7e39f1398b..0d571d4a6a 100644 --- a/test/Analysis/BasicAA/2003-04-25-GEPCrash.ll +++ b/test/Analysis/BasicAA/2003-04-25-GEPCrash.ll @@ -1,7 +1,7 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output +; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output ; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2 -void %test([17 x ushort]* %mask_bits) { - %P1 = getelementptr [17 x ushort]* %mask_bits, long 0, long 0 - %P2 = getelementptr [17 x ushort]* %mask_bits, long 252645134, long 0 +define void @test([17 x i16]* %mask_bits) { + %P1 = getelementptr [17 x i16]* %mask_bits, i64 0, i64 0 + %P2 = getelementptr [17 x i16]* %mask_bits, i64 252645134, i64 0 ret void } diff --git a/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll b/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll index 146fc54f4d..c9049c8cc4 100644 --- a/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll +++ b/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll @@ -1,19 +1,19 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -licm -disable-output - %struct..apr_array_header_t = type { int*, int, int, int, sbyte* } - %struct..apr_table_t = type { %struct..apr_array_header_t, uint, [32 x int], [32 x int] } +; RUN: llvm-as < %s | opt -licm -disable-output + %struct..apr_array_header_t = type { i32*, i32, i32, i32, i8* } + %struct..apr_table_t = type { %struct..apr_array_header_t, i32, [32 x i32], [32 x i32] } -void %table_reindex(%struct..apr_table_t* %t.1) { ; No predecessors! +define void @table_reindex(%struct..apr_table_t* %t.1) { ; No predecessors! br label %loopentry loopentry: ; preds = %0, %no_exit - %tmp.101 = getelementptr %struct..apr_table_t* %t.1, long 0, uint 0, uint 2 - %tmp.11 = load int* %tmp.101 ; <int> [#uses=0] - br bool false, label %no_exit, label %UnifiedExitNode + %tmp.101 = getelementptr %struct..apr_table_t* %t.1, i64 0, i32 0, i32 2 + %tmp.11 = load i32* %tmp.101 ; <i32> [#uses=0] + br i1 false, label %no_exit, label %UnifiedExitNode no_exit: ; preds = %loopentry - %tmp.25 = cast int 0 to long ; <long> [#uses=1] - %tmp.261 = getelementptr %struct..apr_table_t* %t.1, long 0, uint 3, long %tmp.25 ; <int*> [#uses=1] - store int 0, int* %tmp.261 + %tmp.25 = sext i32 0 to i64 ; <i64> [#uses=1] + %tmp.261 = getelementptr %struct..apr_table_t* %t.1, i64 0, i32 3, i64 %tmp.25 ; <i32*> [#uses=1] + store i32 0, i32* %tmp.261 br label %loopentry UnifiedExitNode: ; preds = %loopentry diff --git a/test/Analysis/BasicAA/2003-06-01-AliasCrash.ll b/test/Analysis/BasicAA/2003-06-01-AliasCrash.ll index 772bca906e..1dd19b6e63 100644 --- a/test/Analysis/BasicAA/2003-06-01-AliasCrash.ll +++ b/test/Analysis/BasicAA/2003-06-01-AliasCrash.ll @@ -1,11 +1,11 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output +; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output -int %MTConcat([3 x int]* %a.1) { - %tmp.961 = getelementptr [3 x int]* %a.1, long 0, long 4 - %tmp.97 = load int* %tmp.961 - %tmp.119 = getelementptr [3 x int]* %a.1, long 1, long 0 - %tmp.120 = load int* %tmp.119 - %tmp.1541 = getelementptr [3 x int]* %a.1, long 0, long 4 - %tmp.155 = load int* %tmp.1541 - ret int 0 +define i32 @MTConcat([3 x i32]* %a.1) { + %tmp.961 = getelementptr [3 x i32]* %a.1, i64 0, i64 4 + %tmp.97 = load i32* %tmp.961 + %tmp.119 = getelementptr [3 x i32]* %a.1, i64 1, i64 0 + %tmp.120 = load i32* %tmp.119 + %tmp.1541 = getelementptr [3 x i32]* %a.1, i64 0, i64 4 + %tmp.155 = load i32* %tmp.1541 + ret i32 0 } diff --git a/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll b/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll index 61f39579b4..d3754cb89c 100644 --- a/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll +++ b/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll @@ -1,12 +1,10 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output +; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output - %struct..RefPoint = type { int, { uint, ushort, ushort } } - %struct..RefRect = type { %struct..RefPoint, %struct..RefPoint } +%struct..RefPoint = type { i32, { i32, i8, i8 } } +%struct..RefRect = type { %struct..RefPoint, %struct..RefPoint } -implementation ; Functions: - -uint %BMT_CommitPartDrawObj() { - %tmp.19111 = getelementptr %struct..RefRect* null, long 0, uint 0, uint 1, uint 2 - %tmp.20311 = getelementptr %struct..RefRect* null, long 0, uint 1, uint 1, uint 2 - ret uint 0 +define i32 @BMT_CommitPartDrawObj() { + %tmp.19111 = getelementptr %struct..RefRect* null, i64 0, i32 0, i32 1, i32 2 + %tmp.20311 = getelementptr %struct..RefRect* null, i64 0, i32 1, i32 1, i32 2 + ret i32 0 } diff --git a/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll b/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll index ee6ac9c65a..9bcd4ea952 100644 --- a/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll +++ b/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll @@ -1,12 +1,12 @@ ; In this test, a local alloca cannot alias an incoming argument. -; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | not grep sub +; RUN: llvm-as < %s | opt -load-vn -gcse -instcombine | llvm-dis | not grep sub -int %test(int* %P) { - %X = alloca int - %V1 = load int* %P - store int 0, int* %X - %V2 = load int* %P - %Diff = sub int %V1, %V2 - ret int %Diff +define i32 @test(i32* %P) { + %X = alloca i32 + %V1 = load i32* %P + store i32 0, i32* %X + %V2 = load i32* %P + %Diff = sub i32 %V1, %V2 + ret i32 %Diff } diff --git a/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll b/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll index 1d122fd033..99eae1660d 100644 --- a/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll +++ b/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll @@ -1,16 +1,16 @@ ; This testcase consists of alias relations which should be completely ; resolvable by basicaa. -; RUN: llvm-upgrade < %s | llvm-as | \ -; RUN: opt -aa-eval -print-may-aliases -disable-output |& not grep May: +; RUN: llvm-as < %s | opt -aa-eval -print-may-aliases -disable-output \ +; RUN: |& not grep May: -%T = type { uint, [10 x ubyte] } +%T = type { i32, [10 x i8] } -void %test(%T* %P) { - %A = getelementptr %T* %P, long 0 - %B = getelementptr %T* %P, long 0, uint 0 - %C = getelementptr %T* %P, long 0, uint 1 - %D = getelementptr %T* %P, long 0, uint 1, long 0 - %E = getelementptr %T* %P, long 0, uint 1, long 5 +define void @test(%T* %P) { + %A = getelementptr %T* %P, i64 0 + %B = getelementptr %T* %P, i64 0, i32 0 + %C = getelementptr %T* %P, i64 0, i32 1 + %D = getelementptr %T* %P, i64 0, i32 1, i64 0 + %E = getelementptr %T* %P, i64 0, i32 1, i64 5 ret void } diff --git a/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll b/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll index 5f602b8934..639cb0a2f8 100644 --- a/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll +++ b/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll @@ -1,18 +1,18 @@ ; This testcase consists of alias relations which should be completely ; resolvable by basicaa, but require analysis of getelementptr constant exprs. -; RUN: llvm-upgrade < %s | llvm-as | \ -; RUN: opt -aa-eval -print-may-aliases -disable-output |& not grep May: +; RUN: llvm-as < %s | opt -aa-eval -print-may-aliases -disable-output \ +; RUN: |& not grep May: -%T = type { uint, [10 x ubyte] } +%T = type { i32, [10 x i8] } -%G = external global %T +@G = external global %T -void %test() { - %D = getelementptr %T* %G, long 0, uint 0 - %E = getelementptr %T* %G, long 0, uint 1, long 5 - %F = getelementptr uint* getelementptr (%T* %G, long 0, uint 0), long 0 - %X = getelementptr [10 x ubyte]* getelementptr (%T* %G, long 0, uint 1), long 0, long 5 +define void @test() { + %D = getelementptr %T* @G, i64 0, i32 0 + %E = getelementptr %T* @G, i64 0, i32 1, i64 5 + %F = getelementptr i32* getelementptr (%T* @G, i64 0, i32 0), i64 0 + %X = getelementptr [10 x i8]* getelementptr (%T* @G, i64 0, i32 1), i64 0, i64 5 ret void } diff --git a/test/Analysis/BasicAA/2004-01-29-InvariantMemory.llx b/test/Analysis/BasicAA/2004-01-29-InvariantMemory.llx index c8c30f989c..692c6f8693 100644 --- a/test/Analysis/BasicAA/2004-01-29-InvariantMemory.llx +++ b/test/Analysis/BasicAA/2004-01-29-InvariantMemory.llx @@ -1,13 +1,13 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | \ +; RUN: llvm-as < %s | opt -load-vn -gcse -instcombine | \ ; RUN: llvm-dis | not grep load -%X = constant [2 x int] [int 4, int 5] +@X = constant [2 x i32] [i32 4, i32 5] -int %test(int* %Y, long %idx) { - %P = getelementptr [2 x int]* %X, long 0, long %idx - %A = load int* %P ; Load from invariant memory - store int 4, int* %Y ; Store could not be to %X - %B = load int* %P - %C = sub int %A, %B - ret int %C +define i32 @test(i32* %Y, i64 %idx) { + %P = getelementptr [2 x i32]* @X, i64 0, i64 %idx + %A = load i32* %P ; Load from invariant memory + store i32 4, i32* %Y ; Store could not be to @X + %B = load i32* %P + %C = sub i32 %A, %B + ret i32 %C } diff --git a/test/Analysis/BasicAA/2004-07-28-MustAliasbug.llx b/test/Analysis/BasicAA/2004-07-28-MustAliasbug.llx index 65bc21a01a..407932c9d6 100644 --- a/test/Analysis/BasicAA/2004-07-28-MustAliasbug.llx +++ b/test/Analysis/BasicAA/2004-07-28-MustAliasbug.llx @@ -1,10 +1,10 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -dse | llvm-dis | grep {store i32 0} +; RUN: llvm-as < %s | opt -dse | llvm-dis | grep {store i32 0} -void %test({int,int }* %P) { - %Q = getelementptr {int,int}* %P, int 1 - %X = getelementptr {int,int}* %Q, int 0, uint 1 - %Y = getelementptr {int,int}* %Q, int 1, uint 1 - store int 0, int* %X - store int 1, int* %Y +define void @test({i32,i32 }* %P) { + %Q = getelementptr {i32,i32}* %P, i32 1 + %X = getelementptr {i32,i32}* %Q, i32 0, i32 1 + %Y = getelementptr {i32,i32}* %Q, i32 1, i32 1 + store i32 0, i32* %X + store i32 1, i32* %Y ret void } diff --git a/test/Analysis/BasicAA/2004-12-08-BasicAACrash.ll b/test/Analysis/BasicAA/2004-12-08-BasicAACrash.ll index 2539c453ef..58d4da16e6 100644 --- a/test/Analysis/BasicAA/2004-12-08-BasicAACrash.ll +++ b/test/Analysis/BasicAA/2004-12-08-BasicAACrash.ll @@ -1,24 +1,22 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -licm +; RUN: llvm-as < %s | opt -licm -"java/lang/Object" = type { %struct.llvm_java_object_base } - "java/lang/StringBuffer" = type { "java/lang/Object", int, { "java/lang/Object", uint, [0 x ushort] }*, bool } - %struct.llvm_java_object_base = type opaque +%"java/lang/Object" = type { %struct.llvm_java_object_base } +%"java/lang/StringBuffer" = type { "java/lang/Object", i32, { "java/lang/Object", i32, [0 x i8] }*, i1 } +%struct.llvm_java_object_base = type opaque -implementation ; Functions: - -void "java/lang/StringBuffer/setLength(I)V"(%struct.llvm_java_object_base*) { +define void @"java/lang/StringBuffer/setLength(I)V"(%struct.llvm_java_object_base*) { bc0: - br bool false, label %bc40, label %bc65 + br i1 false, label %bc40, label %bc65 bc65: ; preds = %bc0, %bc40 ret void bc40: ; preds = %bc0, %bc40 - %tmp75 = cast %struct.llvm_java_object_base* %0 to "java/lang/StringBuffer"* ; <"java/lang/StringBuffer"*> [#uses=1] - %tmp76 = getelementptr "java/lang/StringBuffer"* %tmp75, int 0, uint 1 ; <int*> [#uses=1] - store int 0, int* %tmp76 - %tmp381 = cast %struct.llvm_java_object_base* %0 to "java/lang/StringBuffer"* ; <"java/lang/StringBuffer"*> [#uses=1] - %tmp392 = getelementptr "java/lang/StringBuffer"* %tmp381, int 0, uint 1 ; <int*> [#uses=1] - %tmp403 = load int* %tmp392 ; <int> [#uses=0] - br bool false, label %bc40, label %bc65 + %tmp75 = bitcast %struct.llvm_java_object_base* %0 to %"java/lang/StringBuffer"* ; <"java/lang/StringBuffer"*> [#uses=1] + %tmp76 = getelementptr %"java/lang/StringBuffer"* %tmp75, i32 0, i32 1 ; <i32*> [#uses=1] + store i32 0, i32* %tmp76 + %tmp381 = bitcast %struct.llvm_java_object_base* %0 to %"java/lang/StringBuffer"* ; <"java/lang/StringBuffer"*> [#uses=1] + %tmp392 = getelementptr %"java/lang/StringBuffer"* %tmp381, i32 0, i32 1 ; <i32*> [#uses=1] + %tmp403 = load i32* %tmp392 ; <i32> [#uses=0] + br i1 false, label %bc40, label %bc65 } diff --git a/test/Analysis/BasicAA/2004-12-08-BasicAACrash2.ll b/test/Analysis/BasicAA/2004-12-08-BasicAACrash2.ll index d5d16d872f..d96438fd43 100644 --- a/test/Analysis/BasicAA/2004-12-08-BasicAACrash2.ll +++ b/test/Analysis/BasicAA/2004-12-08-BasicAACrash2.ll @@ -1,20 +1,18 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -dse +; RUN: llvm-as < %s | opt -dse -"java/lang/Object" = type { %struct.llvm_java_object_base } - "java/lang/StringBuffer" = type { "java/lang/Object", int, { "java/lang/Object", uint, [0 x ushort] }*, bool } - %struct.llvm_java_object_base = type opaque +%"java/lang/Object" = type { %struct.llvm_java_object_base } +%"java/lang/StringBuffer" = type { "java/lang/Object", i32, { "java/lang/Object", i32, [0 x i8] }*, i1 } +%struct.llvm_java_object_base = type opaque -implementation ; Functions: - -void "java/lang/StringBuffer/ensureCapacity_unsynchronized(I)V"() { +define void @"java/lang/StringBuffer/ensureCapacity_unsynchronized(I)V"() { bc0: - %tmp = getelementptr "java/lang/StringBuffer"* null, int 0, uint 3 ; <bool*> [#uses=1] - br bool false, label %bc16, label %bc7 + %tmp = getelementptr %"java/lang/StringBuffer"* null, i32 0, i32 3 ; <i1*> [#uses=1] + br i1 false, label %bc16, label %bc7 bc16: ; preds = %bc0 - %tmp91 = getelementptr "java/lang/StringBuffer"* null, int 0, uint 2 ; <{ "java/lang/Object", uint, [0 x ushort] }**> [#uses=1] - store { "java/lang/Object", uint, [0 x ushort] }* null, { "java/lang/Object", uint, [0 x ushort] }** %tmp91 - store bool false, bool* %tmp + %tmp91 = getelementptr %"java/lang/StringBuffer"* null, i32 0, i32 2 ; <{ "java/lang/Object", i32, [0 x i8] }**> [#uses=1] + store { %"java/lang/Object", i32, [0 x i8] }* null, { %"java/lang/Object", i32, [0 x i8] }** %tmp91 + store i1 false, i1* %tmp ret void bc7: ; preds = %bc0 diff --git a/test/Analysis/BasicAA/2005-03-09-BrokenBasicAA.ll b/test/Analysis/BasicAA/2005-03-09-BrokenBasicAA.ll index f7f42ba976..e5515dde30 100644 --- a/test/Analysis/BasicAA/2005-03-09-BrokenBasicAA.ll +++ b/test/Analysis/BasicAA/2005-03-09-BrokenBasicAA.ll @@ -1,15 +1,15 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine |\ -; RUN: llvm-dis | grep {load i32\\* %A} +; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine |\ +; RUN: llvm-dis | grep {load i32\\* %A} -declare double* %useit(int*) +declare double* @useit(i32*) -int %foo(uint %Amt) { - %A = malloc int, uint %Amt - %P = call double* %useit(int* %A) +define i32 @foo(i32 %Amt) { + %A = malloc i32, i32 %Amt + %P = call double* @useit(i32* %A) - %X = load int* %A + %X = load i32* %A store double 0.0, double* %P - %Y = load int* %A - %Z = sub int %X, %Y - ret int %Z + %Y = load i32* %A + %Z = sub i32 %X, %Y + ret i32 %Z } diff --git a/test/Analysis/BasicAA/2006-03-03-BadArraySubscript.ll b/test/Analysis/BasicAA/2006-03- |