|  | ; RUN: llvm-as -disable-output <%s 2>&1 | FileCheck %s | 
|  | ; CHECK: invalid llvm.dbg.declare intrinsic variable | 
|  | ; CHECK-NEXT: call void @llvm.dbg.declare({{.*}}) | 
|  | ; CHECK-NEXT: !"" | 
|  | ; CHECK: warning: ignoring invalid debug info | 
|  |  | 
|  | define void @foo(i32 %a) { | 
|  | entry: | 
|  | %s = alloca i32 | 
|  | call void @llvm.dbg.declare(metadata i32* %s, metadata !"", metadata !DIExpression()), !dbg !DILocation(scope: !1) | 
|  | ret void | 
|  | } | 
|  |  | 
|  | declare void @llvm.dbg.declare(metadata, metadata, metadata) | 
|  |  | 
|  | !llvm.module.flags = !{!0} | 
|  | !0 = !{i32 2, !"Debug Info Version", i32 3} | 
|  | !1 = distinct !DISubprogram() |