e20b904721
It's useful if the probe-based build can consume a dwarf based profile(e.g. the profile transition), before there is a conflict for the discriminator, this change tries to mitigate the issue by encoding the dwarf base discriminator into the probe discriminator. As the num of probe id(num of basic block and calls) starts from 1, there are some unused space. We try to reuse some bit of the probe id. The new encode rule is: - Use a bit to [28:28] to indicate whether dwarf base discriminator is encoded.(fortunately we can borrow this bit from the `PseudoProbeType`) - If the bit is set, use [15:3] for probe id, [18:16] for dwarf base discriminator. Otherwise, still use [18:3] for probe id. Note that these doesn't affect the original probe id capacity, we still prioritize probe id encoding, i.e. the base discriminator is not encoded when probe id is bigger than [15:3]. Then adjust `getBaseDiscriminatorFromDiscriminator` to use the base discriminator from the probe discriminator.
98 lines
4.8 KiB
LLVM
98 lines
4.8 KiB
LLVM
; REQUIRES: x86_64-linux
|
|
; RUN: opt < %s -passes='pseudo-probe,cgscc(inline)' -function-sections -mtriple=x86_64-unknown-linux-gnu -S -o %t
|
|
; RUN: FileCheck %s < %t --check-prefix=CHECK-IL
|
|
; RUN: llc -function-sections <%t -filetype=asm -o %t1
|
|
; RUN: FileCheck %s < %t1 --check-prefix=CHECK-ASM
|
|
; RUN: llc -function-sections <%t -filetype=obj -o %t2
|
|
; RUN: llvm-objdump --section-headers %t2 | FileCheck %s --check-prefix=CHECK-OBJ
|
|
; RUN: llvm-mc -filetype=asm <%t1 -o %t3
|
|
; RUN: FileCheck %s < %t3 --check-prefix=CHECK-ASM
|
|
; RUN: llvm-mc -filetype=obj <%t1 -o %t4
|
|
; RUN: llvm-objdump --section-headers %t4 | FileCheck %s --check-prefix=CHECK-OBJ
|
|
|
|
|
|
define dso_local void @foo2() !dbg !7 {
|
|
; CHECK-IL: call void @llvm.pseudoprobe(i64 [[#GUID1:]], i64 1, i32 0, i64 -1), !dbg ![[#]]
|
|
; CHECK-ASM: .pseudoprobe [[#GUID1:]] 1 0 0 foo2
|
|
ret void, !dbg !10
|
|
}
|
|
|
|
define dso_local void @foo() #0 !dbg !11 {
|
|
; CHECK-IL: call void @llvm.pseudoprobe(i64 [[#GUID2:]], i64 1, i32 0, i64 -1), !dbg ![[#]]
|
|
; CHECK-IL: call void @llvm.pseudoprobe(i64 [[#GUID1]], i64 1, i32 0, i64 -1), !dbg ![[#DL1:]]
|
|
; CHECK-ASM: .pseudoprobe [[#GUID2:]] 1 0 0 foo
|
|
; CHECK-ASM: .pseudoprobe [[#GUID1]] 1 0 0 @ [[#GUID2]]:2 foo
|
|
call void @foo2(), !dbg !12
|
|
ret void, !dbg !13
|
|
}
|
|
|
|
define dso_local i32 @entry() !dbg !14 {
|
|
; CHECK-IL: call void @llvm.pseudoprobe(i64 [[#GUID3:]], i64 1, i32 0, i64 -1), !dbg ![[#]]
|
|
; CHECK-IL: call void @llvm.pseudoprobe(i64 [[#GUID2]], i64 1, i32 0, i64 -1), !dbg ![[#DL2:]]
|
|
; CHECK-IL: call void @llvm.pseudoprobe(i64 [[#GUID1]], i64 1, i32 0, i64 -1), !dbg ![[#DL3:]]
|
|
; CHECK-ASM: .pseudoprobe [[#GUID3:]] 1 0 0 entry
|
|
; CHECK-ASM: .pseudoprobe [[#GUID2]] 1 0 0 @ [[#GUID3]]:2 entry
|
|
; CHECK-ASM: .pseudoprobe [[#GUID1]] 1 0 0 @ [[#GUID3]]:2 @ [[#GUID2]]:2 entry
|
|
call void @foo(), !dbg !18
|
|
ret i32 0, !dbg !19
|
|
}
|
|
|
|
|
|
; CHECK-IL: ![[#SCOPE1:]] = distinct !DISubprogram(name: "foo2"
|
|
; CHECK-IL: ![[#SCOPE2:]] = distinct !DISubprogram(name: "foo"
|
|
; CHECK-IL: ![[#DL1]] = !DILocation(line: 3, column: 1, scope: ![[#SCOPE1]], inlinedAt: ![[#INL1:]])
|
|
; CHECK-IL: ![[#INL1]] = distinct !DILocation(line: 7, column: 3, scope: ![[#BL1:]])
|
|
;; A discriminator of 455082007 which is 0x1b200017 in hexdecimal, stands for a direct call probe
|
|
;; with an index of 2 and a scale of 100%.
|
|
; CHECK-IL: ![[#BL1]] = !DILexicalBlockFile(scope: ![[#SCOPE2]], file: !1, discriminator: 455082007)
|
|
; CHECK-IL: ![[#SCOPE3:]] = distinct !DISubprogram(name: "entry"
|
|
; CHECK-IL: ![[#DL2]] = !DILocation(line: 7, column: 3, scope: ![[#SCOPE2]], inlinedAt: ![[#INL2:]])
|
|
; CHECK-IL: ![[#INL2]] = distinct !DILocation(line: 11, column: 3, scope: ![[#BL2:]])
|
|
; CHECK-IL: ![[#BL2]] = !DILexicalBlockFile(scope: ![[#SCOPE3]], file: !1, discriminator: 455082007)
|
|
; CHECK-IL: ![[#DL3]] = !DILocation(line: 3, column: 1, scope: ![[#SCOPE1]], inlinedAt: ![[#INL3:]])
|
|
; CHECK-IL: ![[#INL3]] = distinct !DILocation(line: 7, column: 3, scope: ![[#BL1]], inlinedAt: ![[#INL2]])
|
|
|
|
|
|
; Check the generation of .pseudo_probe_desc section
|
|
; CHECK-ASM: .section .pseudo_probe_desc,"G",@progbits,.pseudo_probe_desc_foo2,comdat
|
|
; CHECK-ASM-NEXT: .quad [[#GUID1]]
|
|
; CHECK-ASM-NEXT: .quad [[#HASH1:]]
|
|
; CHECK-ASM-NEXT: .byte 4
|
|
; CHECK-ASM-NEXT: .ascii "foo2"
|
|
; CHECK-ASM-NEXT: .section .pseudo_probe_desc,"G",@progbits,.pseudo_probe_desc_foo,comdat
|
|
; CHECK-ASM-NEXT: .quad [[#GUID2]]
|
|
; CHECK-ASM-NEXT: .quad [[#HASH2:]]
|
|
; CHECK-ASM-NEXT: .byte 3
|
|
; CHECK-ASM-NEXT: .ascii "foo"
|
|
; CHECK-ASM-NEXT: .section .pseudo_probe_desc,"G",@progbits,.pseudo_probe_desc_entry,comdat
|
|
; CHECK-ASM-NEXT: .quad [[#GUID3]]
|
|
; CHECK-ASM-NEXT: .quad [[#HASH3:]]
|
|
; CHECK-ASM-NEXT: .byte 5
|
|
; CHECK-ASM-NEXT: .ascii "entry"
|
|
|
|
; CHECK-OBJ: .pseudo_probe_desc
|
|
; CHECK-OBJ: .pseudo_probe
|
|
; CHECK-OBJ-NOT: .rela.pseudo_probe
|
|
|
|
!llvm.dbg.cu = !{!0}
|
|
!llvm.module.flags = !{!3, !4}
|
|
|
|
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, emissionKind: FullDebug)
|
|
!1 = !DIFile(filename: "foo.c", directory: "any")
|
|
!2 = !{}
|
|
!3 = !{i32 2, !"Dwarf Version", i32 4}
|
|
!4 = !{i32 2, !"Debug Info Version", i32 3}
|
|
!7 = distinct !DISubprogram(name: "foo2", scope: !1, file: !1, line: 2, type: !8, scopeLine: 2, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
|
|
!8 = !DISubroutineType(types: !9)
|
|
!9 = !{null}
|
|
!10 = !DILocation(line: 3, column: 1, scope: !7)
|
|
!11 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 6, type: !8, scopeLine: 6, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
|
|
!12 = !DILocation(line: 7, column: 3, scope: !11)
|
|
!13 = !DILocation(line: 8, column: 1, scope: !11)
|
|
!14 = distinct !DISubprogram(name: "entry", scope: !1, file: !1, line: 10, type: !15, scopeLine: 10, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
|
|
!15 = !DISubroutineType(types: !16)
|
|
!16 = !{!17}
|
|
!17 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
|
|
!18 = !DILocation(line: 11, column: 3, scope: !14)
|
|
!19 = !DILocation(line: 12, column: 3, scope: !14)
|