llvm-6502/test/Verifier/gcroot-ptrptr.ll at bf1caa98549317a8fe84b6f67a2209db9eeededc - llvm-6502 - Applefritter: Git

6502/llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-11-04 05:17:07 +00:00

Files

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

15 lines

240 B

LLVM

Raw Blame History

 ; RUN: not llvm-as < %s
 ; PR1633
 %meta = type { i8* }
 %obj = type { %meta* }
 declare void @llvm.gcroot(%obj*, %meta*)
 define void @f() {
 entry:
 	%local.obj = alloca %obj
 	call void @llvm.gcroot(%obj* %local.obj, %meta* null)
 	ret void
 }