summaryrefslogtreecommitdiffstats
path: root/llvm/test/Regression/Verifier
diff options
context:
space:
mode:
authorReid Spencer <rspencer@reidspencer.com>2007-01-17 07:59:14 +0000
committerReid Spencer <rspencer@reidspencer.com>2007-01-17 07:59:14 +0000
commit83b3d8267225d585678d5d3af9bba5735f4b415d (patch)
tree9d6c2ad7bfd568186e83a39e6f03e1c0bf415715 /llvm/test/Regression/Verifier
parent100602d7561ca5e245db6194bddae86357d203d4 (diff)
downloadbcm5719-llvm-83b3d8267225d585678d5d3af9bba5735f4b415d.tar.gz
bcm5719-llvm-83b3d8267225d585678d5d3af9bba5735f4b415d.zip
Regression is gone, don't try to find it on clean target.
llvm-svn: 33296
Diffstat (limited to 'llvm/test/Regression/Verifier')
-rw-r--r--llvm/test/Regression/Verifier/.cvsignore3
-rw-r--r--llvm/test/Regression/Verifier/2002-04-13-RetTypes.ll11
-rw-r--r--llvm/test/Regression/Verifier/2002-11-05-GetelementptrPointers.ll9
-rw-r--r--llvm/test/Regression/Verifier/2003-11-21-FunctionReturningStructure.ll7
-rw-r--r--llvm/test/Regression/Verifier/2004-01-22-FloatNormalization.ll6
-rw-r--r--llvm/test/Regression/Verifier/2004-05-21-SwitchConstantMismatch.ll13
-rw-r--r--llvm/test/Regression/Verifier/2005-03-21-UndefinedTypeReference.ll6
-rw-r--r--llvm/test/Regression/Verifier/2006-07-11-StoreStruct.ll11
-rw-r--r--llvm/test/Regression/Verifier/2006-10-15-AddrLabel.ll9
-rw-r--r--llvm/test/Regression/Verifier/2006-12-12-IntrinsicDefine.ll7
-rw-r--r--llvm/test/Regression/Verifier/AmbiguousPhi.ll10
-rw-r--r--llvm/test/Regression/Verifier/PhiGrouping.ll17
-rw-r--r--llvm/test/Regression/Verifier/README.txt3
-rw-r--r--llvm/test/Regression/Verifier/SelfReferential.ll11
-rw-r--r--llvm/test/Regression/Verifier/dg.exp3
-rw-r--r--llvm/test/Regression/Verifier/invoke-1.ll10
-rw-r--r--llvm/test/Regression/Verifier/invoke-2.ll13
17 files changed, 0 insertions, 149 deletions
diff --git a/llvm/test/Regression/Verifier/.cvsignore b/llvm/test/Regression/Verifier/.cvsignore
deleted file mode 100644
index 7f2443f2f31..00000000000
--- a/llvm/test/Regression/Verifier/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-Output
-*.log
-*.sum
diff --git a/llvm/test/Regression/Verifier/2002-04-13-RetTypes.ll b/llvm/test/Regression/Verifier/2002-04-13-RetTypes.ll
deleted file mode 100644
index 1ebed17a02b..00000000000
--- a/llvm/test/Regression/Verifier/2002-04-13-RetTypes.ll
+++ /dev/null
@@ -1,11 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-
-; Verify the the operand type of the ret instructions in a function match the
-; delcared return type of the function they live in.
-;
-implementation
-
-uint "testfunc"()
-begin
- ret int* null
-end
diff --git a/llvm/test/Regression/Verifier/2002-11-05-GetelementptrPointers.ll b/llvm/test/Regression/Verifier/2002-11-05-GetelementptrPointers.ll
deleted file mode 100644
index d1e516953ac..00000000000
--- a/llvm/test/Regression/Verifier/2002-11-05-GetelementptrPointers.ll
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-
-; This testcase is invalid because we are indexing into a pointer that is
-; contained WITHIN a structure.
-
-void %test({int, int*} * %X) {
- getelementptr {int, int*} * %X, long 0, uint 1, long 0
- ret void
-}
diff --git a/llvm/test/Regression/Verifier/2003-11-21-FunctionReturningStructure.ll b/llvm/test/Regression/Verifier/2003-11-21-FunctionReturningStructure.ll
deleted file mode 100644
index e1d3ba82f7f..00000000000
--- a/llvm/test/Regression/Verifier/2003-11-21-FunctionReturningStructure.ll
+++ /dev/null
@@ -1,7 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-
-
-%T = type { int }
-
-declare %T %test()
-
diff --git a/llvm/test/Regression/Verifier/2004-01-22-FloatNormalization.ll b/llvm/test/Regression/Verifier/2004-01-22-FloatNormalization.ll
deleted file mode 100644
index c5886c0c712..00000000000
--- a/llvm/test/Regression/Verifier/2004-01-22-FloatNormalization.ll
+++ /dev/null
@@ -1,6 +0,0 @@
-; RUN: not llvm-as < %s -o /dev/null -f
-; XFAIL: *
-
-; make sure that invalid 'float' values are caught.
-
-global float 0x1
diff --git a/llvm/test/Regression/Verifier/2004-05-21-SwitchConstantMismatch.ll b/llvm/test/Regression/Verifier/2004-05-21-SwitchConstantMismatch.ll
deleted file mode 100644
index e965c6dac92..00000000000
--- a/llvm/test/Regression/Verifier/2004-05-21-SwitchConstantMismatch.ll
+++ /dev/null
@@ -1,13 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-
-
-
-int %main() {
-start1:
- switch uint 0, label %brt0 [int 3, label %brt1 ]
-brt0:
- ret int 0
-brt1:
- ret int 0
-}
-
diff --git a/llvm/test/Regression/Verifier/2005-03-21-UndefinedTypeReference.ll b/llvm/test/Regression/Verifier/2005-03-21-UndefinedTypeReference.ll
deleted file mode 100644
index 653eeec949c..00000000000
--- a/llvm/test/Regression/Verifier/2005-03-21-UndefinedTypeReference.ll
+++ /dev/null
@@ -1,6 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-void %test() {
- malloc %InvalidType
- ret void
-}
-
diff --git a/llvm/test/Regression/Verifier/2006-07-11-StoreStruct.ll b/llvm/test/Regression/Verifier/2006-07-11-StoreStruct.ll
deleted file mode 100644
index 31e2dd44069..00000000000
--- a/llvm/test/Regression/Verifier/2006-07-11-StoreStruct.ll
+++ /dev/null
@@ -1,11 +0,0 @@
-; RUN: not llvm-as %s -o /dev/null -f
-; PR826
-
- %struct_4 = type { int }
-
-implementation ; Functions:
-
-void %test() {
- store %struct_4 zeroinitializer, %struct_4* null
- unreachable
-}
diff --git a/llvm/test/Regression/Verifier/2006-10-15-AddrLabel.ll b/llvm/test/Regression/Verifier/2006-10-15-AddrLabel.ll
deleted file mode 100644
index 40bd2e83b0b..00000000000
--- a/llvm/test/Regression/Verifier/2006-10-15-AddrLabel.ll
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: llvm-upgrade %s | not llvm-as -o /dev/null -f &&
-; RUN: llvm-upgrade %s | llvm-as -o /dev/null -f 2>&1 | grep 'Cannot form'
-
-int %main() {
- %foo = call sbyte* %llvm.stacksave()
- %foop = cast sbyte* %foo to label*
- %nret = load label* %foop
- br label %nret;
-}
diff --git a/llvm/test/Regression/Verifier/2006-12-12-IntrinsicDefine.ll b/llvm/test/Regression/Verifier/2006-12-12-IntrinsicDefine.ll
deleted file mode 100644
index a7fe2745c4b..00000000000
--- a/llvm/test/Regression/Verifier/2006-12-12-IntrinsicDefine.ll
+++ /dev/null
@@ -1,7 +0,0 @@
-; RUN: not llvm-as < %s
-; PR1047
-
-void %llvm.memcpy.i32(sbyte*, sbyte*, uint, uint) {
-entry:
- ret void
-}
diff --git a/llvm/test/Regression/Verifier/AmbiguousPhi.ll b/llvm/test/Regression/Verifier/AmbiguousPhi.ll
deleted file mode 100644
index f64ec3fd77e..00000000000
--- a/llvm/test/Regression/Verifier/AmbiguousPhi.ll
+++ /dev/null
@@ -1,10 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-
-
-
-int "test"(int %i, int %j, bool %c) {
- br bool %c, label %A, label %A
-A:
- %a = phi int [%i, %0], [%j, %0] ; Error, different values from same block!
- ret int %a
-}
diff --git a/llvm/test/Regression/Verifier/PhiGrouping.ll b/llvm/test/Regression/Verifier/PhiGrouping.ll
deleted file mode 100644
index aa1203b73a0..00000000000
--- a/llvm/test/Regression/Verifier/PhiGrouping.ll
+++ /dev/null
@@ -1,17 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-
-
-
-int "test"(int %i, int %j, bool %c) {
- br bool %c, label %A, label %B
-A:
- br label %C
-B:
- br label %C
-
-C:
- %a = phi int [%i, %A], [%j, %B]
- %x = add int %a, 0 ; Error, PHI's should be grouped!
- %b = phi int [%i, %A], [%j, %B]
- ret int %x
-}
diff --git a/llvm/test/Regression/Verifier/README.txt b/llvm/test/Regression/Verifier/README.txt
deleted file mode 100644
index b7e96ea261a..00000000000
--- a/llvm/test/Regression/Verifier/README.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-This directory contains testcases that the verifier is supposed to detect as
-malformed LLVM code. Testcases for situations that the verifier incorrectly
-identifies as malformed should go in the Regressions/Assembler directory.
diff --git a/llvm/test/Regression/Verifier/SelfReferential.ll b/llvm/test/Regression/Verifier/SelfReferential.ll
deleted file mode 100644
index 1f7b837b32f..00000000000
--- a/llvm/test/Regression/Verifier/SelfReferential.ll
+++ /dev/null
@@ -1,11 +0,0 @@
-; RUN: not llvm-as -f %s -o /dev/null
-
-; Test that self referential instructions are not allowed
-
-implementation
-
-void "test"()
-begin
- %A = add int %A, 0
- ret void
-end
diff --git a/llvm/test/Regression/Verifier/dg.exp b/llvm/test/Regression/Verifier/dg.exp
deleted file mode 100644
index 142de8a6c8f..00000000000
--- a/llvm/test/Regression/Verifier/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/llvm/test/Regression/Verifier/invoke-1.ll b/llvm/test/Regression/Verifier/invoke-1.ll
deleted file mode 100644
index 362f2680993..00000000000
--- a/llvm/test/Regression/Verifier/invoke-1.ll
+++ /dev/null
@@ -1,10 +0,0 @@
-; RUN: not llvm-as < %s -o /dev/null -f
-; PR1042
-
-int %foo() {
- %A = invoke int %foo( )
- to label %L unwind label %L ; <int> [#uses=1]
-
-L: ; preds = %0, %0
- ret int %A
-}
diff --git a/llvm/test/Regression/Verifier/invoke-2.ll b/llvm/test/Regression/Verifier/invoke-2.ll
deleted file mode 100644
index b3a5750fee5..00000000000
--- a/llvm/test/Regression/Verifier/invoke-2.ll
+++ /dev/null
@@ -1,13 +0,0 @@
-; RUN: not llvm-as < %s -o /dev/null -f
-; PR1042
-
-int %foo() {
- br bool false, label %L1, label %L2
-L1:
- %A = invoke int %foo() to label %L unwind label %L
-
-L2:
- br label %L
-L:
- ret int %A
-}
OpenPOWER on IntegriCloud