llvm-project/llvm/test/Verifier
Duncan Sands 8c5822802e 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).

llvm-svn: 45286
2007-12-21 19:19:01 +00:00
..
2002-04-13-RetTypes.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
2002-11-05-GetelementptrPointers.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
2003-11-21-FunctionReturningStructure.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
2004-05-21-SwitchConstantMismatch.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
2005-03-21-UndefinedTypeReference.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
2006-07-11-StoreStruct.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +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 Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +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 Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
PhiGrouping.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
README.txt Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +00:00
SelfReferential.ll Regression is gone, don't try to find it on clean target. 2007-01-17 07:59:14 +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

README.txt

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.