Fix for PR1633: Verifier doesn't fully verify GC intrinsics
authorGordon Henriksen <gordonhenriksen@mac.com>
Mon, 17 Sep 2007 20:30:04 +0000 (20:30 +0000)
committerGordon Henriksen <gordonhenriksen@mac.com>
Mon, 17 Sep 2007 20:30:04 +0000 (20:30 +0000)
commit8c33da5dc4144d6df474dcea986ca05932e2fe10
tree73654f8d76cfc48a3bf0224fab3aa19c380acfdf
parentca8035e3569afd5a8d0ef406b82dad1b7e673683
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
lib/VMCore/Verifier.cpp
test/CodeGen/Generic/GC/lower_gcroot.ll
test/Verifier/gcread-ptrptr.ll [new file with mode: 0644]
test/Verifier/gcroot-alloca.ll [new file with mode: 0644]
test/Verifier/gcroot-meta.ll [new file with mode: 0644]
test/Verifier/gcroot-ptrptr.ll [new file with mode: 0644]
test/Verifier/gcwrite-ptrptr.ll [new file with mode: 0644]