Verify Intrinsic::dbg_declare.

llvm-svn: 62526

llvm/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:

llvm/test/CodeGen/Generic/2006-03-27-DebugInfoNULLDeclare.ll

-; RUN: llvm-as < %s | llc
-
-declare void @llvm.dbg.declare({  }*, {  }*)
-
-define void @foo() {
-        call void @llvm.dbg.declare( {  }* null, {  }* null )
-        ret void
-}
-

llvm/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
 }