llvm/test/Verifier
Gordon Henriksen 8c33da5dc4 Fix for PR1633: Verifier doesn't fully verify GC intrinsics
LLVM now enforces the following prototypes for the write barriers:

<ty>* @llvm.gcread(<ty2>*, <ty>**)
void @llvm.gcwrite(<ty>*, <ty2>*, <ty>**)

And for @llvm.gcroot, the first stack slot is verified to be an alloca or a 
bitcast of an alloca.

Fixes test/CodeGen/Generic/GC/lower_gcroot.ll, which violated these.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42051 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-17 20:30:04 +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 For PR1319: Upgrade to new test harness 2007-04-15 10:26:05 +00:00
2006-12-12-IntrinsicDefine.ll New testcase for PR1047 2006-12-13 04:30:18 +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 Make sure these tests pass for the right reasons (verifier error, rather than 2007-08-01 23:07:36 +00:00
invoke-2.ll Make sure these tests pass for the right reasons (verifier error, rather than 2007-08-01 23:07:36 +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.