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
2004-05-21-SwitchConstantMismatch.ll
2005-03-21-UndefinedTypeReference.ll
2006-07-11-StoreStruct.ll
2006-10-15-AddrLabel.ll
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
2008-11-15-RetVoid.ll
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
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
gcread-ptrptr.ll
gcroot-alloca.ll
gcroot-meta.ll
gcroot-ptrptr.ll
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
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
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.