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