llvm/test/Verifier
Duncan Sands 44008257a4 Dan noticed that the verifier wasn't thoroughly checking uses of
invoke results (see the testcases).  Tighten up the checking.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72586 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-29 19:39:36 +00:00
..
2002-04-13-RetTypes.ll All of these tests had out of date syntax and were never even running through 2008-03-16 07:55:46 +00:00
2002-11-05-GetelementptrPointers.ll Reimplement the old and horrible bison parser for .ll files with a nice 2009-01-02 07:01:27 +00:00
2004-05-21-SwitchConstantMismatch.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
2005-03-21-UndefinedTypeReference.ll Reimplement the old and horrible bison parser for .ll files with a nice 2009-01-02 07:01:27 +00:00
2006-07-11-StoreStruct.ll Make structs and arrays first-class types, and add assembly 2008-05-23 01:55:30 +00:00
2006-10-15-AddrLabel.ll Reimplement the old and horrible bison parser for .ll files with a nice 2009-01-02 07:01:27 +00:00
2006-12-12-IntrinsicDefine.ll All of these tests had out of date syntax and were never even running through 2008-03-16 07:55:46 +00:00
2007-12-21-InvokeParamAttrs.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
2008-01-11-VarargAttrs.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
2008-03-01-AllocaSized.ll
2008-08-22-MemCpyAlignment.ll Verify that the alignment argument to llvm.memcpy is a constant 2008-08-23 05:31:10 +00:00
2008-11-15-RetVoid.ll Correct this error message. 2008-11-15 17:50:47 +00:00
2009-05-29-InvokeResult1.ll Dan noticed that the verifier wasn't thoroughly checking uses of 2009-05-29 19:39:36 +00:00
2009-05-29-InvokeResult2.ll Dan noticed that the verifier wasn't thoroughly checking uses of 2009-05-29 19:39:36 +00:00
2009-05-29-InvokeResult3.ll Dan noticed that the verifier wasn't thoroughly checking uses of 2009-05-29 19:39:36 +00:00
aliasing-chain.ll Add testcase for prev. commit. Minor fixes 2008-03-22 08:37:05 +00:00
AmbiguousPhi.ll All of these tests had out of date syntax and were never even running through 2008-03-16 07:55:46 +00:00
byval-1.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
byval-2.ll Diagnose uses of unsized types with the byval attribute in the 2008-08-27 14:48:06 +00:00
byval-4.ll Eliminate questionable syntax for stdin redirection. This probably also speeds things up a bit. 2008-05-20 22:07:21 +00:00
dg.exp sabre brings to my attention that the 'tr' suffix is also obsolete 2008-05-20 21:00:03 +00:00
gcread-ptrptr.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
gcroot-alloca.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
gcroot-meta.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
gcroot-ptrptr.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
gcwrite-ptrptr.ll For all RUN lines starting with "not", redirect stderr to /dev/null so tests 2008-06-10 12:57:32 +00:00
invoke-1.ll Remove llvm-upgrade and update tests. 2008-03-10 07:21:50 +00:00
invoke-2.ll Eliminate questionable syntax for stdin redirection. This probably also speeds things up a bit. 2008-05-20 22:07:21 +00:00
PhiGrouping.ll All of these tests had out of date syntax and were never even running through 2008-03-16 07:55:46 +00:00
README.txt Regressions/ is long gone. 2008-03-16 07:31:23 +00:00
SelfReferential.ll

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 test/Assembler directory.