diff options
author | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-09-17 20:30:04 +0000 |
---|---|---|
committer | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-09-17 20:30:04 +0000 |
commit | ef39a2d4d446758e4cda4c97e5a36e7885cd100d (patch) | |
tree | 73654f8d76cfc48a3bf0224fab3aa19c380acfdf /test/CodeGen/Generic | |
parent | b1064a5a8127c74374a64ca6fb0dbe4bdb4cfdf8 (diff) | |
download | external_llvm-ef39a2d4d446758e4cda4c97e5a36e7885cd100d.zip external_llvm-ef39a2d4d446758e4cda4c97e5a36e7885cd100d.tar.gz external_llvm-ef39a2d4d446758e4cda4c97e5a36e7885cd100d.tar.bz2 |
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
Diffstat (limited to 'test/CodeGen/Generic')
-rw-r--r-- | test/CodeGen/Generic/GC/lower_gcroot.ll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/CodeGen/Generic/GC/lower_gcroot.ll b/test/CodeGen/Generic/GC/lower_gcroot.ll index 3a3abac..2dbbc83 100644 --- a/test/CodeGen/Generic/GC/lower_gcroot.ll +++ b/test/CodeGen/Generic/GC/lower_gcroot.ll @@ -3,7 +3,8 @@ %Env = type opaque* define void @.main(%Env) { - call void @llvm.gcroot( %Env* null, %Env null ) + %Root = alloca %Env + call void @llvm.gcroot( %Env* %Root, %Env null ) unreachable } |