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 | 8c33da5dc4144d6df474dcea986ca05932e2fe10 (patch) | |
| tree | 73654f8d76cfc48a3bf0224fab3aa19c380acfdf /test/Verifier/gcwrite-ptrptr.ll | |
| parent | ca8035e3569afd5a8d0ef406b82dad1b7e673683 (diff) | |
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/Verifier/gcwrite-ptrptr.ll')
| -rw-r--r-- | test/Verifier/gcwrite-ptrptr.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/Verifier/gcwrite-ptrptr.ll b/test/Verifier/gcwrite-ptrptr.ll new file mode 100644 index 0000000000..b1e96c8aa6 --- /dev/null +++ b/test/Verifier/gcwrite-ptrptr.ll @@ -0,0 +1,13 @@ +; RUN: not llvm-as < %s +; PR1633 + +%meta = type { i8* } +%obj = type { %meta* } + +declare void @llvm.gcwrite(%obj*, %obj*, %obj*) + +define void @f() { +entry: + call void @llvm.gcwrite(%obj* null, %obj* null, %obj* null) + ret void +} |