diff --git a/llvm/test/DebugInfo/X86/machine-function-splitter.ll b/llvm/test/DebugInfo/X86/machine-function-splitter.ll new file mode 100644 --- /dev/null +++ b/llvm/test/DebugInfo/X86/machine-function-splitter.ll @@ -0,0 +1,115 @@ +; RUN: llc -O2 %s -split-machine-functions -mtriple=x86_64 -filetype=obj -o %t && llvm-dwarfdump -debug-info -v %t | FileCheck --check-prefix=MFS-SECTIONS %s +; RUN: llc -O2 %s -split-machine-functions -mtriple=x86_64 -o - | FileCheck --check-prefix=MFS-SECTIONS-ASM %s +; RUN: llc -O2 %s -split-machine-functions -mtriple=x86_64 -filetype=obj -o %t && llvm-dwarfdump -debug-line %t | FileCheck --check-prefix=MFS-SECTIONS-LINE-TABLE %s + +; From: +; 1 int foo(int a) { +; 2 if (a > 20) +; 3 return bar(); +; 4 else +; 5 return baz(); +; 6 } + +; MFS-SECTIONS: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000000) +; MFS-SECTIONS: DW_AT_ranges [DW_FORM_sec_offset] +; MFS-SECTIONS: [{{.*}}) ".text.split._Z3fooi" +; MFS-SECTIONS: [{{.*}}) ".text.hot." +; MFS-SECTIONS-ASM: _Z3fooi: +; MFS-SECTIONS-ASM: .Ltmp{{[0-9]+}}: +; MFS-SECTIONS-ASM-NEXT: .loc 1 2 9 prologue_end +; MFS-SECTIONS-ASM: .Ltmp{{[0-9]+}}: +; MFS-SECTIONS-ASM-NEXT: .loc 1 2 7 is_stmt 0 +; MFS-SECTIONS-ASM: .Ltmp{{[0-9]+}}: +; MFS-SECTIONS-ASM: .Ltmp{{[0-9]+}}: +; MFS-SECTIONS-ASM-NEXT: .loc 1 6 1 is_stmt 1 +; MFS-SECTIONS-ASM: .Ltmp{{[0-9]+}}: +; MFS-SECTIONS-ASM-NEXT: .cfi_endproc +; MFS-SECTIONS-ASM-NEXT: .section .text.split._Z3fooi,"ax",@progbits +; MFS-SECTIONS-ASM: _Z3fooi.cold: +; MFS-SECTIONS-ASM: .LBB_END0_{{[0-9]+}}: +; MFS-SECTIONS-ASM: .size _Z3fooi.cold, .LBB_END0_{{[0-9]+}}-_Z3fooi.cold +; MFS-SECTIONS-ASM: .Lfunc_end0: +; MFS-SECTIONS-ASM: .Ldebug_ranges0: +; MFS-SECTIONS-ASM-NEXT: .quad _Z3fooi.cold +; MFS-SECTIONS-ASM-NEXT: .quad .LBB_END0_{{[0-9]+}} +; MFS-SECTIONS-ASM-NEXT: .quad .Lfunc_begin0 +; MFS-SECTIONS-ASM-NEXT: .quad .Lfunc_end0 +; MFS-SECTIONS-ASM-NEXT: .quad 0 +; MFS-SECTIONS-ASM-NEXT: .quad 0 +; MFS-SECTIONS-LINE-TABLE: 0x0000000000000000 1 0 1 0 0 is_stmt +; MFS-SECTIONS-LINE-TABLE-NEXT: 0x0000000000000005 2 9 1 0 0 is_stmt prologue_end +; MFS-SECTIONS-LINE-TABLE-NEXT: 0x0000000000000008 2 7 1 0 0 +; MFS-SECTIONS-LINE-TABLE-NEXT: 0x000000000000000e 0 7 1 0 0 +; MFS-SECTIONS-LINE-TABLE-NEXT: 0x0000000000000016 6 1 1 0 0 is_stmt +; MFS-SECTIONS-LINE-TABLE-NEXT: 0x000000000000001b 6 1 1 0 0 is_stmt end_sequence +; MFS-SECTIONS-LINE-TABLE-NEXT: 0x0000000000000000 0 1 1 0 0 +; MFS-SECTIONS-LINE-TABLE-NEXT: 0x000000000000000a 0 1 1 0 0 end_sequence + +; Function Attrs: noinline nounwind optnone uwtable +define dso_local i32 @_Z3fooi(i32 %0) !dbg !7 !prof !34 !section_prefix !35 { + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + store i32 %0, i32* %3, align 4 + call void @llvm.dbg.declare(metadata i32* %3, metadata !11, metadata !DIExpression()), !dbg !12 + %4 = load i32, i32* %3, align 4, !dbg !13 + %5 = icmp sgt i32 %4, 20, !dbg !15 + br i1 %5, label %6, label %8, !dbg !16, !prof !36 + +6: ; preds = %1 + %7 = call i32 @bar() + store i32 %7, i32* %2, align 4, !dbg !17 + br label %10, !dbg !17 + +8: ; preds = %1 + %9 = call i32 @baz() + store i32 %9, i32* %2, align 4, !dbg !18 + br label %10, !dbg !18 + +10: ; preds = %8, %6 + %11 = load i32, i32* %2, align 4, !dbg !19 + ret i32 %11, !dbg !19 +} + +; Function Attrs: nounwind readnone speculatable willreturn +declare void @llvm.dbg.declare(metadata, metadata, metadata) +declare i32 @bar() +declare i32 @baz() + +!llvm.dbg.cu = !{!0} +!llvm.module.flags = !{!3, !4, !20} + +!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0 (git@github.com:google/llvm-propeller.git f9421ebf4b3d8b64678bf6c49d1607fdce3f50c5)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None) +!1 = !DIFile(filename: "debuginfo.cc", directory: "/") +!2 = !{} +!3 = !{i32 2, !"Dwarf Version", i32 4} +!4 = !{i32 2, !"Debug Info Version", i32 3} +!7 = distinct !DISubprogram(name: "foo", linkageName: "_Z3fooi", scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2) +!8 = !DISubroutineType(types: !9) +!9 = !{!10, !10} +!10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) +!11 = !DILocalVariable(name: "a", arg: 1, scope: !7, file: !1, line: 1, type: !10) +!12 = !DILocation(line: 1, column: 13, scope: !7) +!13 = !DILocation(line: 2, column: 7, scope: !14) +!14 = distinct !DILexicalBlock(scope: !7, file: !1, line: 2, column: 7) +!15 = !DILocation(line: 2, column: 9, scope: !14) +!16 = !DILocation(line: 2, column: 7, scope: !7) +!17 = !DILocation(line: 3, column: 5, scope: !14) +!18 = !DILocation(line: 5, column: 5, scope: !14) +!19 = !DILocation(line: 6, column: 1, scope: !7) +!20 = !{i32 1, !"ProfileSummary", !21} +!21 = !{!22, !23, !24, !25, !26, !27, !28, !29} +!22 = !{!"ProfileFormat", !"InstrProf"} +!23 = !{!"TotalCount", i64 10000} +!24 = !{!"MaxCount", i64 10} +!25 = !{!"MaxInternalCount", i64 1} +!26 = !{!"MaxFunctionCount", i64 1000} +!27 = !{!"NumCounts", i64 3} +!28 = !{!"NumFunctions", i64 5} +!29 = !{!"DetailedSummary", !30} +!30 = !{!31, !32, !33} +!31 = !{i32 10000, i64 100, i32 1} +!32 = !{i32 999900, i64 100, i32 1} +!33 = !{i32 999999, i64 1, i32 2} +!34 = !{!"function_entry_count", i64 7000} +!35 = !{!"function_section_prefix", !"hot"} +!36 = !{!"branch_weights", i32 6999, i32 1}