Fix for PR1633: Verifier doesn't fully verify GC intrinsics

[oota-llvm.git] / test / Verifier / gcroot-ptrptr.ll

diff --git a/test/Verifier/gcroot-ptrptr.ll b/test/Verifier/gcroot-ptrptr.ll
new file mode 100644 (file)
index 0000000..0a7738d
--- /dev/null
+++ b/test/Verifier/gcroot-ptrptr.ll
@@ -0,0 +1,14 @@
+; 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
+}