llvm-6502/test/Verifier
2008-01-22 05:31:58 +00:00
..
2002-04-13-RetTypes.ll
2002-11-05-GetelementptrPointers.ll Promote GEP ubyte indices to uint. Backwards compatibility for 1.2 and 2006-11-23 15:14:52 +00:00
2003-11-21-FunctionReturningStructure.ll
2004-05-21-SwitchConstantMismatch.ll
2005-03-21-UndefinedTypeReference.ll
2006-07-11-StoreStruct.ll
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 New testcase for PR1047 2006-12-13 04:30:18 +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 Be more liberal in what parameter attributes are 2008-01-12 16:42:01 +00:00
AmbiguousPhi.ll
byval-1.ll We now allow byval on fairly general pointer types. 2008-01-14 06:53:45 +00:00
byval-2.ll update this test to pass with duncan's change. 2008-01-22 05:31:58 +00:00
byval-4.ll check for correct usage of the byval attribute 2007-07-10 19:28:12 +00:00
dg.exp For PR1319: Upgrade to new test harness 2007-04-15 10:26:05 +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 Change &| to |&. 2007-11-27 00:50:57 +00:00
invoke-2.ll Change &| to |&. 2007-11-27 00:50:57 +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 Regressions/Assembler directory.