aboutsummaryrefslogtreecommitdiffstats
path: root/test/Analysis/Andersens
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
commita695f0182c2f355ee88a6479ed72f58681602867 (patch)
treee443e360baad1556849b2bb86d4296b4c011b83e /test/Analysis/Andersens
parentbea5feb5dbbdd7874d23e1617102bfa9d24a5344 (diff)
downloadexternal_llvm-a695f0182c2f355ee88a6479ed72f58681602867.zip
external_llvm-a695f0182c2f355ee88a6479ed72f58681602867.tar.gz
external_llvm-a695f0182c2f355ee88a6479ed72f58681602867.tar.bz2
Remove llvm-upgrade.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47110 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/Andersens')
-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
5 files changed, 49 insertions, 55 deletions
diff --git a/test/Analysis/Andersens/arg-must-alias.ll b/test/Analysis/Andersens/arg-must-alias.ll
index d19b381..9680bb5 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 5730f75..d84c8fe 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 a829999..1833195 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 0716614..b5c60cd 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 9e447d6..ce37516 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 }