6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-15 20:29:48 +00:00
Code Issues Projects Releases Wiki Activity
9b4baf1692
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 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

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.