diff options
| author | Reid Spencer <rspencer@reidspencer.com> | 2007-01-17 07:59:14 +0000 |
|---|---|---|
| committer | Reid Spencer <rspencer@reidspencer.com> | 2007-01-17 07:59:14 +0000 |
| commit | 83b3d8267225d585678d5d3af9bba5735f4b415d (patch) | |
| tree | 9d6c2ad7bfd568186e83a39e6f03e1c0bf415715 /llvm/test/Regression/Verifier | |
| parent | 100602d7561ca5e245db6194bddae86357d203d4 (diff) | |
| download | bcm5719-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')
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 -} |

