Home | History | Annotate | Download | only in Verifier
      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(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 = distinct !DISubprogram()
     18