aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTanya Lattner <tonic@nondot.org>2008-02-14 06:56:27 +0000
committerTanya Lattner <tonic@nondot.org>2008-02-14 06:56:27 +0000
commitdcd188d33fdaff8cea019ebd64e3a3d2b1a700c0 (patch)
treee443e360baad1556849b2bb86d4296b4c011b83e
parenteb05f90c71fc7b42e52d4f363fd8325bace9a0e7 (diff)
Remove llvm-upgrade.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47110 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--test/Analysis/Andersens/arg-must-alias.ll18
-rw-r--r--test/Analysis/Andersens/basictest.ll36
-rw-r--r--test/Analysis/Andersens/external.ll22
-rw-r--r--test/Analysis/Andersens/modreftest.ll24
-rw-r--r--test/Analysis/Andersens/trivialtest.ll4
-rw-r--r--test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll22
-rw-r--r--test/Analysis/BasicAA/2003-03-04-GEPCrash.ll8
-rw-r--r--test/Analysis/BasicAA/2003-04-22-GEPProblem.ll18
-rw-r--r--test/Analysis/BasicAA/2003-04-25-GEPCrash.ll8
-rw-r--r--test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll20
-rw-r--r--test/Analysis/BasicAA/2003-06-01-AliasCrash.ll18
-rw-r--r--test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll16
-rw-r--r--test/Analysis/BasicAA/2003-09-19-LocalArgument.ll16
-rw-r--r--test/Analysis/BasicAA/2003-11-04-SimpleCases.ll18
-rw-r--r--test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll18
-rw-r--r--test/Analysis/BasicAA/2004-01-29-InvariantMemory.llx18
-rw-r--r--test/Analysis/BasicAA/2004-07-28-MustAliasbug.llx14
-rw-r--r--test/Analysis/BasicAA/2004-12-08-BasicAACrash.ll28
-rw-r--r--test/Analysis/BasicAA/2004-12-08-BasicAACrash2.ll22
-rw-r--r--test/Analysis/BasicAA/2005-03-09-BrokenBasicAA.ll20
-rw-r--r--test/Analysis/BasicAA/2006-03-03-BadArraySubscript.ll44
-rw-r--r--test/Analysis/BasicAA/2006-11-03-BasicAAVectorCrash.ll31
-rw-r--r--test/Analysis/BasicAA/featuretest.ll101
-rw-r--r--test/Analysis/BasicAA/gcsetest.ll52
-rw-r--r--test/Analysis/BasicAA/global-size.ll18
-rw-r--r--test/Analysis/BasicAA/licmtest.ll66
-rw-r--r--test/Analysis/BasicAA/modref.ll21
-rw-r--r--test/Analysis/BasicAA/tailcall-modref.ll25
-rw-r--r--test/Analysis/Dominators/2006-09-26-PostDominanceFrontier.ll119
-rw-r--r--test/Analysis/Dominators/2006-10-02-BreakCritEdges.ll19
-rw-r--r--test/Analysis/Dominators/2007-04-17-PostDominanceFrontier.ll6
-rw-r--r--test/Analysis/Dominators/2007-04-20-PostDom-Reset.ll8
-rw-r--r--test/Analysis/GlobalsModRef/aliastest.ll14
-rw-r--r--test/Analysis/GlobalsModRef/indirect-global.ll32
-rw-r--r--test/Analysis/GlobalsModRef/modreftest.ll18
-rw-r--r--test/Analysis/GlobalsModRef/purecse.ll32
-rw-r--r--test/Analysis/LoadVN/RLE-Eliminate.ll32
-rw-r--r--test/Analysis/LoadVN/RLE-Preserve-Volatile.ll13
-rw-r--r--test/Analysis/LoadVN/RLE-Preserve.ll37
-rw-r--r--test/Analysis/LoadVN/casts.ll14
-rw-r--r--test/Analysis/LoadVN/dependent_loads.ll42
-rw-r--r--test/Analysis/LoadVN/undefined_load.ll20
-rw-r--r--test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll26
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-