aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/FunctionResolve
diff options
context:
space:
mode:
authorReid Spencer <rspencer@reidspencer.com>2007-02-05 20:47:22 +0000
committerReid Spencer <rspencer@reidspencer.com>2007-02-05 20:47:22 +0000
commitef9b9a793949469cdaa4ab6d0173136229dcab7b (patch)
tree137b30d24ba219e5e745a11abb3807a9c4964aaa /test/Transforms/FunctionResolve
parent15468bfc22302b4f79300252425d74cd6865f8b1 (diff)
For PR411:
This patch replaces the SymbolTable class with ValueSymbolTable which does not support types planes. This means that all symbol names in LLVM must now be unique. The patch addresses the necessary changes to deal with this and removes code no longer needed as a result. This completes the bulk of the changes for this PR. Some cleanup patches will follow. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33918 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/FunctionResolve')
-rw-r--r--test/Transforms/FunctionResolve/.cvsignore3
-rw-r--r--test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVars.ll18
-rw-r--r--test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVarsEasier.ll20
-rw-r--r--test/Transforms/FunctionResolve/2002-11-07-RetMismatch.ll12
-rw-r--r--test/Transforms/FunctionResolve/2002-11-09-ExternFn.ll11
-rw-r--r--test/Transforms/FunctionResolve/2003-04-18-ForwardDeclGlobal.ll14
-rw-r--r--test/Transforms/FunctionResolve/2003-05-21-MissingArguments.ll11
-rw-r--r--test/Transforms/FunctionResolve/2003-05-31-AllInternalDecls.ll7
-rw-r--r--test/Transforms/FunctionResolve/2003-05-31-FuncPointerResolve.ll11
-rw-r--r--test/Transforms/FunctionResolve/2003-05-31-InternalDecl.ll12
-rw-r--r--test/Transforms/FunctionResolve/2003-06-18-TypePromotion.ll12
-rw-r--r--test/Transforms/FunctionResolve/2003-07-23-CPR-Reference.ll10
-rw-r--r--test/Transforms/FunctionResolve/2003-08-23-ArgumentWarning.ll12
-rw-r--r--test/Transforms/FunctionResolve/2003-10-21-GlobalResolveHack.ll12
-rw-r--r--test/Transforms/FunctionResolve/2003-11-20-BogusResolveWarning.ll10
-rw-r--r--test/Transforms/FunctionResolve/basictest.ll12
-rw-r--r--test/Transforms/FunctionResolve/dg.exp3
-rw-r--r--test/Transforms/FunctionResolve/retmismatch1.ll14
-rw-r--r--test/Transforms/FunctionResolve/retmismatch2.ll15
-rw-r--r--test/Transforms/FunctionResolve/retmismatch3.ll12
20 files changed, 0 insertions, 231 deletions
diff --git a/test/Transforms/FunctionResolve/.cvsignore b/test/Transforms/FunctionResolve/.cvsignore
deleted file mode 100644
index 7f2443f2f3..0000000000
--- a/test/Transforms/FunctionResolve/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-Output
-*.log
-*.sum
diff --git a/test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVars.ll b/test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVars.ll
deleted file mode 100644
index 427227aeb3..0000000000
--- a/test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVars.ll
+++ /dev/null
@@ -1,18 +0,0 @@
-; Test that: extern int X[] and int X[] = { 1, 2, 3, 4 } are resolved
-; correctly.
-;
-; RUN: llvm-as < %s | opt -funcresolve | llvm-dis | not grep external
-
-@X = external global [0 x int]
-@X = global [4 x int] [ int 1, int 2, int 3, int 4 ]
-
-implementation ; Functions:
-
-int @foo(int %x) {
-bb1: ;[#uses=0]
- store int 5, int* getelementptr ([0 x int]* @X, long 0, long 2)
- %F = getelementptr [0 x int]* @X, long 0, long 2
- %val = load int* %F
- ret int %val
-}
-
diff --git a/test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVarsEasier.ll b/test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVarsEasier.ll
deleted file mode 100644
index 188fc95b12..0000000000
--- a/test/Transforms/FunctionResolve/2002-08-19-ResolveGlobalVarsEasier.ll
+++ /dev/null
@@ -1,20 +0,0 @@
-; Test that: extern int X[] and int X[] = { 1, 2, 3, 4 } are resolved
-; correctly. This doesn't have constantexprs
-;
-; RUN: llvm-as < %s | opt -funcresolve | llvm-dis | not grep external
-;
-
-@X = external global [0 x int]
-@X = global [4 x int] [ int 1, int 2, int 3, int 4 ]
-
-implementation ; Functions:
-
-int %foo(int %x) {
-bb1: ;[#uses=0]
- %G = getelementptr [0 x int]* @X, long 0, long 1
- store int 5, int* %G
- %F = getelementptr [0 x int]* @X, long 0, long 2
- %val = load int* %F
- ret int %val
-}
-
diff --git a/test/Transforms/FunctionResolve/2002-11-07-RetMismatch.ll b/test/Transforms/FunctionResolve/2002-11-07-RetMismatch.ll
deleted file mode 100644
index 2ca82686fb..0000000000
--- a/test/Transforms/FunctionResolve/2002-11-07-RetMismatch.ll
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -funcresolve | llvm-dis | not grep declare
-
-declare void %qsortg(sbyte*, int, int)
-
-void %test() {
- call void %qsortg(sbyte* null, int 0, int 0)
- ret void
-}
-
-int %qsortg(sbyte* %base, int %n, int %size) {
- ret int %n
-}
diff --git a/test/Transforms/FunctionResolve/2002-11-09-ExternFn.ll b/test/Transforms/FunctionResolve/2002-11-09-ExternFn.ll
deleted file mode 100644
index d5eb0ca9b3..0000000000
--- a/test/Transforms/FunctionResolve/2002-11-09-ExternFn.ll
+++ /dev/null
@@ -1,11 +0,0 @@
-; XFAIL: *
-;
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -instcombine | llvm-dis | not grep '\.\.\.'
-
-declare int %foo(...)
-declare int %foo(int)
-
-void %bar() {
- call int(...)* %foo(int 7)
- ret void
-}
diff --git a/test/Transforms/FunctionResolve/2003-04-18-ForwardDeclGlobal.ll b/test/Transforms/FunctionResolve/2003-04-18-ForwardDeclGlobal.ll
deleted file mode 100644
index 663d3eb18f..0000000000
--- a/test/Transforms/FunctionResolve/2003-04-18-ForwardDeclGlobal.ll
+++ /dev/null
@@ -1,14 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -disable-output 2>&1 | not grep WARNING
-
-%__popcount_tab = external constant [0 x ubyte]
-%__popcount_tab = constant [4 x ubyte] c"\00\01\01\02"
-
-declare void %foo(ubyte *)
-
-void %test() {
- getelementptr [0 x ubyte]* %__popcount_tab, long 0, long 2
- getelementptr [4 x ubyte]* %__popcount_tab, long 0, long 2
- call void %foo(ubyte * getelementptr ([0 x ubyte]* %__popcount_tab, long 0, long 2))
- ret void
-}
-
diff --git a/test/Transforms/FunctionResolve/2003-05-21-MissingArguments.ll b/test/Transforms/FunctionResolve/2003-05-21-MissingArguments.ll
deleted file mode 100644
index b54d595c5f..0000000000
--- a/test/Transforms/FunctionResolve/2003-05-21-MissingArguments.ll
+++ /dev/null
@@ -1,11 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -disable-output
-
-void %foo(int, int) {
- ret void
-}
-declare void %foo(...)
-
-void %test() {
- call void(...)* %foo(int 7)
- ret void
-}
diff --git a/test/Transforms/FunctionResolve/2003-05-31-AllInternalDecls.ll b/test/Transforms/FunctionResolve/2003-05-31-AllInternalDecls.ll
deleted file mode 100644
index 7abf0c2ce4..0000000000
--- a/test/Transforms/FunctionResolve/2003-05-31-AllInternalDecls.ll
+++ /dev/null
@@ -1,7 +0,0 @@
-; This testcase should not cause a warning!
-
-; RUN: (as < %s | opt -funcresolve -disable-output) 2>&1 | not grep 'WARNING'
-
-%X = internal global float 1.0
-%X = internal global int 1
-
diff --git a/test/Transforms/FunctionResolve/2003-05-31-FuncPointerResolve.ll b/test/Transforms/FunctionResolve/2003-05-31-FuncPointerResolve.ll
deleted file mode 100644
index 51b0001023..0000000000
--- a/test/Transforms/FunctionResolve/2003-05-31-FuncPointerResolve.ll
+++ /dev/null
@@ -1,11 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve | llvm-dis | not grep declare
-
-%Table = constant int(...)* %foo
-
-%Table2 = constant [1 x int(...)* ] [ int(...)* %foo ]
-
-declare int %foo(...)
-
-int %foo() {
- ret int 0
-}
diff --git a/test/Transforms/FunctionResolve/2003-05-31-InternalDecl.ll b/test/Transforms/FunctionResolve/2003-05-31-InternalDecl.ll
deleted file mode 100644
index c8d2de6d23..0000000000
--- a/test/Transforms/FunctionResolve/2003-05-31-InternalDecl.ll
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve | llvm-dis | grep declare
-
-declare void %test(...)
-
-int %callee() {
- call void(...)* %test(int 5)
- ret int 2
-}
-
-internal void %test(int) {
- ret void
-}
diff --git a/test/Transforms/FunctionResolve/2003-06-18-TypePromotion.ll b/test/Transforms/FunctionResolve/2003-06-18-TypePromotion.ll
deleted file mode 100644
index 9c22cbfca3..0000000000
--- a/test/Transforms/FunctionResolve/2003-06-18-TypePromotion.ll
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve | dis | not grep declare
-
-declare void %test(int)
-
-int %callee(int %X) {
- call void %test(int %X)
- ret int 2
-}
-
-internal void %test(sbyte) {
- ret void
-}
diff --git a/test/Transforms/FunctionResolve/2003-07-23-CPR-Reference.ll b/test/Transforms/FunctionResolve/2003-07-23-CPR-Reference.ll
deleted file mode 100644
index e1a29ec282..0000000000
--- a/test/Transforms/FunctionResolve/2003-07-23-CPR-Reference.ll
+++ /dev/null
@@ -1,10 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve | llvm-dis | not grep foo
-
-; The funcresolve pass was resolving the two foo's together in this test,
-; adding a ConstantPointerRef to one of them. Then because of this
-; reference, it wasn't able to delete the dead declaration. :(
-
-declare int %foo(...)
-declare int %foo(int)
-
-
diff --git a/test/Transforms/FunctionResolve/2003-08-23-ArgumentWarning.ll b/test/Transforms/FunctionResolve/2003-08-23-ArgumentWarning.ll
deleted file mode 100644
index 4e0a4aff9d..0000000000
--- a/test/Transforms/FunctionResolve/2003-08-23-ArgumentWarning.ll
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -disable-output 2>&1 | not grep WARNING
-
-declare int %foo(int *%X)
-declare int %foo(float *%X)
-
-implementation
-
-void %test() {
- call int %foo(int* null)
- call int %foo(float* null)
- ret void
-}
diff --git a/test/Transforms/FunctionResolve/2003-10-21-GlobalResolveHack.ll b/test/Transforms/FunctionResolve/2003-10-21-GlobalResolveHack.ll
deleted file mode 100644
index df5340f46a..0000000000
--- a/test/Transforms/FunctionResolve/2003-10-21-GlobalResolveHack.ll
+++ /dev/null
@@ -1,12 +0,0 @@
-; This tests a hack put into place specifically for the C++ libstdc++ library.
-; It uses an ugly hack which is cleaned up by the funcresolve pass.
-;
-; RUN: llvm-as < %s | opt -funcresolve | llvm-dis | grep @X | grep '{'
-
-@X = external global { i32 }
-@X = global [ 4 x i8 ] zeroinitializer
-
-define i32* @test() {
- %P = getelementptr {i32}* @X, i64 0, i32 0
- ret i32* %P
-}
diff --git a/test/Transforms/FunctionResolve/2003-11-20-BogusResolveWarning.ll b/test/Transforms/FunctionResolve/2003-11-20-BogusResolveWarning.ll
deleted file mode 100644
index cc481f5143..0000000000
--- a/test/Transforms/FunctionResolve/2003-11-20-BogusResolveWarning.ll
+++ /dev/null
@@ -1,10 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -disable-output 2>&1 | not grep WARNING
-
-
-void %test() {
- call int(...)* %test()
- ret void
-}
-
-declare int %test(...)
-
diff --git a/test/Transforms/FunctionResolve/basictest.ll b/test/Transforms/FunctionResolve/basictest.ll
deleted file mode 100644
index 866ae8e54b..0000000000
--- a/test/Transforms/FunctionResolve/basictest.ll
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -instcombine | llvm-dis | grep '\.\.\.' | not grep call
-
-declare int %foo(...)
-
-int %foo(int %x, float %y) {
- ret int %x
-}
-
-int %bar() {
- %x = call int(...)* %foo(double 12.5, int 48)
- ret int %x
-}
diff --git a/test/Transforms/FunctionResolve/dg.exp b/test/Transforms/FunctionResolve/dg.exp
deleted file mode 100644
index 142de8a6c8..0000000000
--- a/test/Transforms/FunctionResolve/dg.exp
+++ /dev/null
@@ -1,3 +0,0 @@
-load_lib llvm-dg.exp
-
-llvm-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]] $objdir $srcdir $subdir $target_triplet $llvmgcc $llvmgxx $prcontext $llvmgcc_version
diff --git a/test/Transforms/FunctionResolve/retmismatch1.ll b/test/Transforms/FunctionResolve/retmismatch1.ll
deleted file mode 100644
index 51aeff851c..0000000000
--- a/test/Transforms/FunctionResolve/retmismatch1.ll
+++ /dev/null
@@ -1,14 +0,0 @@
-; This shows where the function is called with the prototype indicating a
-; return type exists, but it really doesn't.
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -instcombine | llvm-dis | grep '\.\.\.' | not grep call
-
-declare int %foo(...)
-
-void %foo(int %x, float %y) {
- ret void
-}
-
-int %bar() {
- %x = call int(...)* %foo(double 12.5, int 48)
- ret int %x
-}
diff --git a/test/Transforms/FunctionResolve/retmismatch2.ll b/test/Transforms/FunctionResolve/retmismatch2.ll
deleted file mode 100644
index 749ca40db8..0000000000
--- a/test/Transforms/FunctionResolve/retmismatch2.ll
+++ /dev/null
@@ -1,15 +0,0 @@
-; This shows where the function is called with the prototype indicating a
-; return type doesn't exists, but it really does.
-;
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve -instcombine | llvm-dis | grep '\.\.\.' | not grep call
-
-declare void %foo(...)
-
-int %foo(int %x, float %y) {
- ret int %x
-}
-
-int %bar() {
- call void (...)* %foo(double 12.5, int 48)
- ret int 6
-}
diff --git a/test/Transforms/FunctionResolve/retmismatch3.ll b/test/Transforms/FunctionResolve/retmismatch3.ll
deleted file mode 100644
index f9850d67a7..0000000000
--- a/test/Transforms/FunctionResolve/retmismatch3.ll
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -funcresolve
-
-declare int %read(...)
-
-long %read() {
- ret long 0
-}
-
-int %testfunc() {
- %X = call int(...)* %read()
- ret int %X
-}