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 | a2f3e13cf4d4ea03da017caadb60e9965eaa21dc (patch) | |
| tree | be3363d2fb0a483067c68c05c39dfc232fafd2a6 /llvm/test/CodeGen | |
| parent | 486760aee3cd6b74617924feb7a360278cd2b1a3 (diff) | |
| download | bcm5719-llvm-a2f3e13cf4d4ea03da017caadb60e9965eaa21dc.tar.gz bcm5719-llvm-a2f3e13cf4d4ea03da017caadb60e9965eaa21dc.zip | |
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.
llvm-svn: 42051
Diffstat (limited to 'llvm/test/CodeGen')
| -rw-r--r-- | llvm/test/CodeGen/Generic/GC/lower_gcroot.ll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/test/CodeGen/Generic/GC/lower_gcroot.ll b/llvm/test/CodeGen/Generic/GC/lower_gcroot.ll index 3a3abac2585..2dbbc83569f 100644 --- a/llvm/test/CodeGen/Generic/GC/lower_gcroot.ll +++ b/llvm/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 } |
