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
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
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
2008-01-11-VarargAttrs.ll
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
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
dg.exp
gcread-ptrptr.ll
gcroot-alloca.ll
gcroot-meta.ll
gcroot-ptrptr.ll
gcwrite-ptrptr.ll
invoke-1.ll
invoke-2.ll
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.