llvm-6502/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
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
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
AmbiguousPhi.ll
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
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
README.txt
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.