llvm/test/Verifier
Dan Gohman e4977cf750 Make structs and arrays first-class types, and add assembly
and bitcode support for the extractvalue and insertvalue
instructions and constant expressions.

Note that this does not yet include CodeGen support.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51468 91177308-0d34-0410-b5e6-96231b3b80d8
2008-05-23 01:55:30 +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 Revert the change from r51157 in 2008-05-16 00:16:32 +00:00
2004-05-21-SwitchConstantMismatch.ll
2005-03-21-UndefinedTypeReference.ll All of these tests had out of date syntax and were never even running through 2008-03-16 07:55:46 +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 Use not instead of ignore when an exit status is expected to always 2007-12-11 15:50:23 +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 Get the verifier to check attributes on calls as well 2007-12-21 19:19:01 +00:00
2008-01-11-VarargAttrs.ll Eliminate questionable syntax for stdin redirection. This probably also speeds things up a bit. 2008-05-20 22:07:21 +00:00
2008-03-01-AllocaSized.ll Fix PR2113 by verifying allocations. 2008-03-01 09:01:57 +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 Eliminate questionable syntax for stdin redirection. This probably also speeds things up a bit. 2008-05-20 22:07:21 +00:00
byval-2.ll Eliminate questionable syntax for stdin redirection. This probably also speeds things up a bit. 2008-05-20 22:07:21 +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 Fix for PR1633: Verifier doesn't fully verify GC intrinsics 2007-09-17 20:30:04 +00:00
gcroot-alloca.ll Fix for PR1633: Verifier doesn't fully verify GC intrinsics 2007-09-17 20:30:04 +00:00
gcroot-meta.ll Fix for PR1633: Verifier doesn't fully verify GC intrinsics 2007-09-17 20:30:04 +00:00
gcroot-ptrptr.ll Fix for PR1633: Verifier doesn't fully verify GC intrinsics 2007-09-17 20:30:04 +00:00
gcwrite-ptrptr.ll Fix for PR1633: Verifier doesn't fully verify GC intrinsics 2007-09-17 20:30:04 +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 Fix this test. 2008-03-01 09:00:21 +00:00

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.