test/Verifier/llvm.dbg.declare-address.ll

   1 ; RUN: not llvm-as -disable-output <%s 2>&1 | FileCheck %s
   2 ; CHECK: invalid llvm.dbg.declare intrinsic address/value
   3 ; CHECK-NEXT: call void @llvm.dbg.declare({{.*}})
   4 ; CHECK-NEXT: !""
   5
   6 define void @foo(i32 %a) {
   7 entry:
   8   %s = alloca i32
   9   call void @llvm.dbg.declare(metadata !"", metadata !DILocalVariable(tag: DW_TAG_arg_variable, scope: !1), metadata !DIExpression()), !dbg !DILocation(scope: !1)
  10   ret void
  11 }
  12
  13 declare void @llvm.dbg.declare(metadata, metadata, metadata)
  14
  15 !llvm.module.flags = !{!0}
  16 !0 = !{i32 2, !"Debug Info Version", i32 3}
  17 !1 = !DISubprogram()