llvm/test/Verifier
Duncan Sands d9d70395d9 Get the verifier to check attributes on calls as well
as on functions.  Make it verify invokes and not just
ordinary calls.  As a (desired) side-effect, it is no
longer legal to have call attributes on arguments that
are being passed to the varargs part of a varargs
function (llvm-as drops them on the floor anyway).


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45286 91177308-0d34-0410-b5e6-96231b3b80d8
2007-12-21 19:19:01 +00:00
..
2002-04-13-RetTypes.ll Adding RUN lines. 2004-11-06 23:08:26 +00:00
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 Adding RUN lines. 2004-11-06 23:08:26 +00:00
2004-05-21-SwitchConstantMismatch.ll Adding RUN lines. 2004-11-06 23:08:26 +00:00
2005-03-21-UndefinedTypeReference.ll Added the ability to xfail based on llvmgcc version 2006-04-12 21:57:40 +00:00
2006-07-11-StoreStruct.ll Testcase for PR826 2006-07-11 20:29:21 +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 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
AmbiguousPhi.ll Adding RUN lines. 2004-11-06 23:08:26 +00:00
byval-1.ll check for correct usage of the byval attribute 2007-07-10 19:28:12 +00:00
byval-2.ll check for correct usage of the byval attribute 2007-07-10 19:28:12 +00:00
byval-3.ll check for correct usage of the byval attribute 2007-07-10 19:28:12 +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 Adding RUN lines. 2004-11-06 23:08:26 +00:00
README.txt Add readme file describing directory 2002-08-22 20:20:08 +00:00
SelfReferential.ll Adding RUN lines. 2004-11-06 23:08:26 +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 Regressions/Assembler directory.