hanchenye-llvm-project/llvm/test/Verifier
Gordon Henriksen a2f3e13cf4 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.

llvm-svn: 42051
2007-09-17 20:30:04 +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 For PR1319: Upgrade to new test harness 2007-04-15 10:26:05 +00:00
2006-12-12-IntrinsicDefine.ll
AmbiguousPhi.ll
PhiGrouping.ll
README.txt
SelfReferential.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 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

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.