xref: /llvm-project/llvm/test/DebugInfo/X86/call-origin-linkage-names.ll (revision 0e44ffe817ae0f544199be70f468975fcc3ab5c5) 
1; RUN: llc %s --filetype=obj -o - -dwarf-linkage-names=Abstract -add-linkage-names-to-declaration-call-origins=false \
2; RUN: | llvm-dwarfdump - | FileCheck %s --check-prefixes=COMMON,DISABLE --implicit-check-not=DW_AT_linkage_name
3; RUN: llc %s --filetype=obj -o - -dwarf-linkage-names=Abstract -add-linkage-names-to-declaration-call-origins=true \
4; RUN: | llvm-dwarfdump - | FileCheck %s --check-prefixes=COMMON,ENABLE --implicit-check-not=DW_AT_linkage_name
5
6;; Check that -add-linkage-names-to-declaration-call-origins controls whether
7;; linkage names are added to declarations referenced by DW_AT_call_origin
8;; attributes.
9;;
10;; $ cat test.cpp
11;; void a();
12;; __attribute__((optnone))
13;; void b() {}
14;; void c();
15;; extern "C" {
16;;   void d();
17;; }
18;;
19;; void e() {
20;;   a(); //< Reference declaration DIE (add linkage name).
21;;   b(); //< Reference definition DIE (don't add linkage name).
22;;   c(); //< Reference definition DIE (don't add linkage name).
23;;   d(); //< Reference declaration DIE, but there's no linkage name.
24;; }
25;;
26;; __attribute__((optnone))
27;; void c() {}
28;; $ clang++ -emit-llvm -S -O1 -g
29
30; COMMON:       DW_TAG_call_site
31; ENABLE-NEXT:    DW_AT_call_origin    (0x[[a:[a-z0-9]+]] "_Z1av")
32; DISABLE-NEXT:   DW_AT_call_origin    (0x[[a:[a-z0-9]+]] "a")
33; COMMON:       DW_TAG_call_site
34; COMMON-NEXT:    DW_AT_call_origin     (0x[[b:[a-z0-9]+]] "b")
35; COMMON:       DW_TAG_call_site
36; COMMON-NEXT:    DW_AT_call_origin     (0x[[c:[a-z0-9]+]] "c")
37; COMMON:       DW_TAG_call_site
38; COMMON-NEXT:    DW_AT_call_origin     (0x[[d:[a-z0-9]+]] "d")
39
40; COMMON: 0x[[a]]: DW_TAG_subprogram
41; COMMON:   DW_AT_name  ("a")
42; ENABLE:   DW_AT_linkage_name  ("_Z1av")
43; COMMON: 0x[[b]]: DW_TAG_subprogram
44; COMMON:   DW_AT_name  ("b")
45; COMMON: 0x[[c]]: DW_TAG_subprogram
46; COMMON:   DW_AT_name  ("c")
47; COMMON: 0x[[d]]: DW_TAG_subprogram
48; COMMON:   DW_AT_name  ("d")
49
50target triple = "x86_64-unknown-linux-gnu"
51
52define dso_local void @_Z1ev() local_unnamed_addr !dbg !13 {
53entry:
54  tail call void @_Z1av(), !dbg !14
55  tail call void @_Z1bv(), !dbg !15
56  tail call void @_Z1cv(), !dbg !16
57  tail call void @d(), !dbg !17
58  ret void, !dbg !18
59}
60
61define dso_local void @_Z1bv() local_unnamed_addr !dbg !9 {
62entry:
63  ret void, !dbg !12
64}
65
66declare !dbg !19 void @_Z1av() local_unnamed_addr
67
68define dso_local void @_Z1cv() local_unnamed_addr !dbg !20 {
69entry:
70  ret void, !dbg !21
71}
72declare !dbg !22 void @d() local_unnamed_addr
73
74!llvm.dbg.cu = !{!0}
75!llvm.module.flags = !{!2, !3}
76!llvm.ident = !{!8}
77
78!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 19.0.0git", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
79!1 = !DIFile(filename: "test.cpp", directory: "/")
80!2 = !{i32 7, !"Dwarf Version", i32 5}
81!3 = !{i32 2, !"Debug Info Version", i32 3}
82!8 = !{!"clang version 19.0.0"}
83!9 = distinct !DISubprogram(name: "b", linkageName: "_Z1bv", scope: !1, file: !1, line: 3, type: !10, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)
84!10 = !DISubroutineType(types: !11)
85!11 = !{null}
86!12 = !DILocation(line: 3, column: 11, scope: !9)
87!13 = distinct !DISubprogram(name: "e", linkageName: "_Z1ev", scope: !1, file: !1, line: 9, type: !10, scopeLine: 9, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)
88!14 = !DILocation(line: 10, column: 3, scope: !13)
89!15 = !DILocation(line: 11, column: 3, scope: !13)
90!16 = !DILocation(line: 12, column: 3, scope: !13)
91!17 = !DILocation(line: 13, column: 3, scope: !13)
92!18 = !DILocation(line: 14, column: 1, scope: !13)
93!19 = !DISubprogram(name: "a", linkageName: "_Z1av", scope: !1, file: !1, line: 1, type: !10, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized)
94!20 = distinct !DISubprogram(name: "c", linkageName: "_Z1cv", scope: !1, file: !1, line: 17, type: !10, scopeLine: 17, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)
95!21 = !DILocation(line: 17, column: 11, scope: !20)
96!22 = !DISubprogram(name: "d", scope: !1, file: !1, line: 6, type: !10, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized)
97