1*464d9d96SStephen Tozer; RUN: llvm-as -disable-output <%s 2>&1 | FileCheck %s 2*464d9d96SStephen Tozerdefine void @foo() { 3*464d9d96SStephen Tozerentry: 4*464d9d96SStephen Tozer #dbg_value( 5*464d9d96SStephen Tozer ptr undef, 6*464d9d96SStephen Tozer !DILocalVariable(scope: !1), 7*464d9d96SStephen Tozer !DIExpression(), 8*464d9d96SStephen Tozer !{}) 9*464d9d96SStephen Tozer; CHECK-LABEL: invalid #dbg record DILocation 10*464d9d96SStephen Tozer; CHECK-NEXT: #dbg_value({{.*}}) 11*464d9d96SStephen Tozer 12*464d9d96SStephen Tozer #dbg_declare( 13*464d9d96SStephen Tozer ptr undef, 14*464d9d96SStephen Tozer !DILocalVariable(scope: !1), 15*464d9d96SStephen Tozer !DIExpression(), 16*464d9d96SStephen Tozer !{}) 17*464d9d96SStephen Tozer; CHECK-LABEL: invalid #dbg record DILocation 18*464d9d96SStephen Tozer; CHECK-NEXT: #dbg_declare({{.*}}) 19*464d9d96SStephen Tozer 20*464d9d96SStephen Tozer #dbg_value( 21*464d9d96SStephen Tozer ptr undef, 22*464d9d96SStephen Tozer !DILocalVariable(scope: !1), 23*464d9d96SStephen Tozer !DIExpression(), 24*464d9d96SStephen Tozer !DILocation(scope: !2)) 25*464d9d96SStephen Tozer; CHECK-LABEL: mismatched subprogram between #dbg record variable and DILocation 26*464d9d96SStephen Tozer; CHECK-NEXT: #dbg_value({{[^,]+}}, ![[VAR:[0-9]+]], {{[^,]+}}, ![[LOC:[0-9]+]] 27*464d9d96SStephen Tozer; CHECK-NEXT: label %entry 28*464d9d96SStephen Tozer; CHECK-NEXT: ptr @foo 29*464d9d96SStephen Tozer; CHECK-NEXT: ![[VAR]] = !DILocalVariable({{.*}}scope: ![[VARSP:[0-9]+]] 30*464d9d96SStephen Tozer; CHECK-NEXT: ![[VARSP]] = distinct !DISubprogram( 31*464d9d96SStephen Tozer; CHECK-NEXT: ![[LOC]] = !DILocation({{.*}}scope: ![[LOCSP:[0-9]+]] 32*464d9d96SStephen Tozer; CHECK-NEXT: ![[LOCSP]] = distinct !DISubprogram( 33*464d9d96SStephen Tozer 34*464d9d96SStephen Tozer #dbg_declare( 35*464d9d96SStephen Tozer ptr undef, 36*464d9d96SStephen Tozer !DILocalVariable(scope: !1), 37*464d9d96SStephen Tozer !DIExpression(), 38*464d9d96SStephen Tozer !DILocation(scope: !2)) 39*464d9d96SStephen Tozer; CHECK-LABEL: mismatched subprogram between #dbg record variable and DILocation 40*464d9d96SStephen Tozer; CHECK-NEXT: #dbg_declare({{[^,]+}}, ![[VAR:[0-9]+]], {{.*[^,]+}}, ![[LOC:[0-9]+]] 41*464d9d96SStephen Tozer; CHECK-NEXT: label %entry 42*464d9d96SStephen Tozer; CHECK-NEXT: ptr @foo 43*464d9d96SStephen Tozer; CHECK-NEXT: ![[VAR]] = !DILocalVariable({{.*}}scope: ![[VARSP:[0-9]+]] 44*464d9d96SStephen Tozer; CHECK-NEXT: ![[VARSP]] = distinct !DISubprogram( 45*464d9d96SStephen Tozer; CHECK-NEXT: ![[LOC]] = !DILocation({{.*}}scope: ![[LOCSP:[0-9]+]] 46*464d9d96SStephen Tozer; CHECK-NEXT: ![[LOCSP]] = distinct !DISubprogram( 47*464d9d96SStephen Tozer 48*464d9d96SStephen Tozer ret void 49*464d9d96SStephen Tozer} 50*464d9d96SStephen Tozer 51*464d9d96SStephen Tozer 52*464d9d96SStephen Tozer!llvm.module.flags = !{!0} 53*464d9d96SStephen Tozer!0 = !{i32 2, !"Debug Info Version", i32 3} 54*464d9d96SStephen Tozer!1 = distinct !DISubprogram(name: "foo") 55*464d9d96SStephen Tozer!2 = distinct !DISubprogram(name: "bar") 56