llvm-6502/test/Verifier
Duncan Sands 623a389f62 Do not allow attributes beyond a function's last
parameter, even if it is a varargs function.  Do
allow attributes on the varargs part of a call,
but not beyond the last argument.  Only allow
selected attributes to be on the varargs part of
a call (currently only 'byval' is allowed).  The
reasoning here is that most attributes, eg inreg,
simply make no sense here.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45887 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-11 22:36:48 +00:00
..
2002-04-13-RetTypes.ll
2002-11-05-GetelementptrPointers.ll
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
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 Do not allow attributes beyond a function's last 2008-01-11 22:36:48 +00:00
AmbiguousPhi.ll
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
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.