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

llvm-svn: 72586
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 Fix PR2113 by verifying allocations. 2008-03-01 09:01:57 +00:00
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
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
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 Fix this test. 2008-03-01 09:00:21 +00:00
aliasing-chain.ll Add testcase for prev. commit. Minor fixes 2008-03-22 08:37:05 +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

README.txt

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.