60 lines · plain
1; RUN: llvm-as -disable-output <%s 2>&1 | FileCheck %s2define void @foo() {3entry:4 call void @llvm.dbg.value(5 metadata ptr undef,6 metadata !DILocalVariable(scope: !1),7 metadata !DIExpression())8; CHECK-LABEL: invalid #dbg record DILocation9; CHECK-NEXT: #dbg_value({{.*}})10; CHECK-NEXT: label %entry11; CHECK-NEXT: ptr @foo12 13 call void @llvm.dbg.declare(14 metadata ptr undef,15 metadata !DILocalVariable(scope: !1),16 metadata !DIExpression())17; CHECK-LABEL: invalid #dbg record DILocation18; CHECK-NEXT: #dbg_declare({{.*}})19; CHECK-NEXT: label %entry20; CHECK-NEXT: ptr @foo21 22 call void @llvm.dbg.value(23 metadata ptr undef,24 metadata !DILocalVariable(scope: !1),25 metadata !DIExpression()),26 !dbg !DILocation(scope: !2)27; CHECK-LABEL: mismatched subprogram between #dbg record variable and DILocation28; CHECK-NEXT: #dbg_value({{[^,]+}}, ![[VAR:[0-9]+]], {{[^,]+}}, ![[LOC:[0-9]+]])29; CHECK-NEXT: label %entry30; CHECK-NEXT: ptr @foo31; CHECK-NEXT: ![[VAR]] = !DILocalVariable({{.*}}scope: ![[VARSP:[0-9]+]]32; CHECK-NEXT: ![[VARSP]] = distinct !DISubprogram(33; CHECK-NEXT: ![[LOC]] = !DILocation({{.*}}scope: ![[LOCSP:[0-9]+]]34; CHECK-NEXT: ![[LOCSP]] = distinct !DISubprogram(35 36 call void @llvm.dbg.declare(37 metadata ptr undef,38 metadata !DILocalVariable(scope: !1),39 metadata !DIExpression()),40 !dbg !DILocation(scope: !2)41; CHECK-LABEL: mismatched subprogram between #dbg record variable and DILocation42; CHECK-NEXT: #dbg_declare({{[^,]+}}, ![[VAR:[0-9]+]], {{.*[^,]+}}, ![[LOC:[0-9]+]])43; CHECK-NEXT: label %entry44; CHECK-NEXT: ptr @foo45; CHECK-NEXT: ![[VAR]] = !DILocalVariable({{.*}}scope: ![[VARSP:[0-9]+]]46; CHECK-NEXT: ![[VARSP]] = distinct !DISubprogram(47; CHECK-NEXT: ![[LOC]] = !DILocation({{.*}}scope: ![[LOCSP:[0-9]+]]48; CHECK-NEXT: ![[LOCSP]] = distinct !DISubprogram(49 50 ret void51}52 53declare void @llvm.dbg.value(metadata, metadata, metadata)54declare void @llvm.dbg.declare(metadata, metadata, metadata)55 56!llvm.module.flags = !{!0}57!0 = !{i32 2, !"Debug Info Version", i32 3}58!1 = distinct !DISubprogram(name: "foo")59!2 = distinct !DISubprogram(name: "bar")60