From 0153308abf95e9c87e870768aa8fbf6f590d0f87 Mon Sep 17 00:00:00 2001
From: Devang Patel <dpatel@apple.com>
Date: Mon, 19 Jan 2009 21:00:48 +0000
Subject: [PATCH] Verify Intrinsic::dbg_declare.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@62526 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/VMCore/Verifier.cpp                                 | 5 +++++
 test/CodeGen/Generic/2006-03-27-DebugInfoNULLDeclare.ll | 9 ---------
 test/DebugInfo/2009-01-15-dbg_declare.ll                | 4 +++-
 3 files changed, 8 insertions(+), 10 deletions(-)
 delete mode 100644 test/CodeGen/Generic/2006-03-27-DebugInfoNULLDeclare.ll

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 790a994f793..384aa3ec4bc 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -1332,6 +1332,11 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
   switch (ID) {
   default:
     break;
+  case Intrinsic::dbg_declare:		// llvm.dbg.declare
+    if (Constant *C = dyn_cast<Constant>(CI.getOperand(1)))
+      Assert1(C && !isa<ConstantPointerNull>(C),
+              "invalid llvm.dbg.declare intrinsic call", &CI);
+    break;
   case Intrinsic::memcpy:
   case Intrinsic::memmove:
   case Intrinsic::memset:
diff --git a/test/CodeGen/Generic/2006-03-27-DebugInfoNULLDeclare.ll b/test/CodeGen/Generic/2006-03-27-DebugInfoNULLDeclare.ll
deleted file mode 100644
index 2f2fb8b2e9f..00000000000
--- a/test/CodeGen/Generic/2006-03-27-DebugInfoNULLDeclare.ll
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: llvm-as < %s | llc
-
-declare void @llvm.dbg.declare({  }*, {  }*)
-
-define void @foo() {
-        call void @llvm.dbg.declare( {  }* null, {  }* null )
-        ret void
-}
-
diff --git a/test/DebugInfo/2009-01-15-dbg_declare.ll b/test/DebugInfo/2009-01-15-dbg_declare.ll
index 475949a14e3..3f78d0d7495 100644
--- a/test/DebugInfo/2009-01-15-dbg_declare.ll
+++ b/test/DebugInfo/2009-01-15-dbg_declare.ll
@@ -8,7 +8,9 @@ declare void @llvm.dbg.declare({ }*, { }*) nounwind
 
 define i32 @isascii(i32 %_c) nounwind {
 entry:
-        call void @llvm.dbg.declare({ }* null, { }* bitcast (%llvm.dbg.variable.type* @llvm.dbg.variable24 to { }*))
+	%j = alloca i32
+	%0 = bitcast i32* %j to { }*
+        call void @llvm.dbg.declare({ }* %0, { }* bitcast (%llvm.dbg.variable.type* @llvm.dbg.variable24 to { }*))
         unreachable
 }
 
-- 
2.34.1