6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-07-19 03:29:22 +00:00
Code Issues Projects Releases Wiki Activity
8262df3aa4
llvm-6502/test/Verifier
History
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
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
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
README.txt
SelfReferential.ll

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.