xref: /llvm-project/llvm/test/DebugInfo/X86/debug-names-types.ll (revision bd5c6367bd79c01665ff8ab9848afbf5b1249ce6)
1; UNSUPPORTED: system-windows
2; This checks that .debug_names can be generated with monolithic, and split-dwarf, when -fdebug-type-sections is enabled.
3; It also checks that TU in .debug_info.dwo has correct DW_AT_comp_dir and DW_AT_dwo_name.
4; Generated with: clang++ main.cpp   -g2 -gdwarf-5 -gpubnames -fdebug-types-section
5
6; RUN: llc -mtriple=x86_64 -generate-type-units -dwarf-version=5 -filetype=obj %s -o %t
7; RUN: llvm-dwarfdump -debug-info -debug-names %t | FileCheck %s
8
9; CHECK:     .debug_info contents:
10; CHECK:      DW_TAG_type_unit
11; CHECK-NEXT:   DW_AT_language  (DW_LANG_C_plus_plus_14)
12; CHECK-NEXT:   DW_AT_stmt_list (0x00000000)
13; CHECK-NEXT:   DW_AT_str_offsets_base  (0x00000008)
14; CHECK:      DW_TAG_structure_type
15; CHECK-NEXT:     DW_AT_calling_convention  (DW_CC_pass_by_value)
16; CHECK-NEXT:     DW_AT_name  ("Foo")
17; CHECK-NEXT:     DW_AT_byte_size (0x08)
18; CHECK-NEXT:     DW_AT_decl_file ("/typeSmall/main.cpp")
19; CHECK-NEXT:     DW_AT_decl_line (1)
20; CHECK:       DW_TAG_member
21; CHECK-NEXT:       DW_AT_name  ("c1")
22; CHECK-NEXT:       DW_AT_type  (0x00000033 "char *")
23; CHECK-NEXT:       DW_AT_decl_file ("/typeSmall/main.cpp")
24; CHECK-NEXT:       DW_AT_decl_line (2)
25; CHECK-NEXT:       DW_AT_data_member_location  (0x00)
26; CHECK:       DW_TAG_pointer_type
27; CHECK-NEXT:     DW_AT_type  (0x00000038 "char")
28; CHECK:       DW_TAG_base_type
29; CHECK-NEXT:     DW_AT_name  ("char")
30; CHECK-NEXT:     DW_AT_encoding  (DW_ATE_signed_char)
31; CHECK-NEXT:     DW_AT_byte_size (0x01)
32; CHECK:        .debug_names contents:
33; CHECK:         Compilation Unit offsets [
34; CHECK-NEXT:        CU[0]: 0x00000000
35; CHECK-NEXT:      ]
36; CHECK-NEXT:      Local Type Unit offsets [
37; CHECK-NEXT:        LocalTU[0]: 0x00000000
38; CHECK-NEXT:      ]
39; CHECK:        Abbreviations [
40; CHECK-NEXT:     Abbreviation [[ABBREV:0x[0-9a-f]*]] {
41; CHECK-NEXT:       Tag: DW_TAG_base_type
42; CHECK-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
43; CHECK-NEXT:       DW_IDX_parent: DW_FORM_flag_present
44; CHECK-NEXT:     }
45; CHECK-NEXT:     Abbreviation [[ABBREV3:0x[0-9a-f]*]] {
46; CHECK-NEXT:       Tag: DW_TAG_structure_type
47; CHECK-NEXT:       DW_IDX_type_unit: DW_FORM_data1
48; CHECK-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
49; CHECK-NEXT:       DW_IDX_parent: DW_FORM_flag_present
50; CHECK-NEXT:     }
51; CHECK-NEXT:     Abbreviation [[ABBREV2:0x[0-9a-f]*]] {
52; CHECK-NEXT:       Tag: DW_TAG_subprogram
53; CHECK-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
54; CHECK-NEXT:       DW_IDX_parent: DW_FORM_flag_present
55; CHECK-NEXT:     }
56; CHECK-NEXT:     Abbreviation [[ABBREV4:0x[0-9a-f]*]] {
57; CHECK-NEXT:       Tag: DW_TAG_base_type
58; CHECK-NEXT:       DW_IDX_type_unit: DW_FORM_data1
59; CHECK-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
60; CHECK-NEXT:       DW_IDX_parent: DW_FORM_flag_present
61; CHECK-NEXT:     }
62; CHECK-NEXT:   ]
63; CHECK-NEXT:   Bucket 0 [
64; CHECK-NEXT:     Name 1 {
65; CHECK-NEXT:       Hash: 0xB888030
66; CHECK-NEXT:       String: {{.+}} "int"
67; CHECK-NEXT:       Entry @ {{.+}} {
68; CHECK-NEXT:         Abbrev: [[ABBREV]]
69; CHECK-NEXT:         Tag: DW_TAG_base_type
70; CHECK-NEXT:         DW_IDX_die_offset: 0x0000003e
71; CHECK-NEXT:         DW_IDX_parent: <parent not indexed>
72; CHECK-NEXT:       }
73; CHECK-NEXT:     }
74; CHECK-NEXT:   ]
75; CHECK-NEXT:   Bucket 1 [
76; CHECK-NEXT:     Name 2 {
77; CHECK-NEXT:       Hash: 0xB887389
78; CHECK-NEXT:       String: {{.+}} "Foo"
79; CHECK-NEXT:       Entry @ {{.+}} {
80; CHECK-NEXT:         Abbrev: [[ABBREV3]]
81; CHECK-NEXT:           Tag: DW_TAG_structure_type
82; CHECK-NEXT:           DW_IDX_type_unit: 0x00
83; CHECK-NEXT:           DW_IDX_die_offset: 0x00000023
84; CHECK-NEXT:           DW_IDX_parent: <parent not indexed>
85; CHECK-NEXT:       }
86; CHECK-NEXT:     }
87; CHECK-NEXT:   ]
88; CHECK-NEXT:   Bucket 2 [
89; CHECK-NEXT:     Name 3 {
90; CHECK-NEXT:       Hash: 0x7C9A7F6A
91; CHECK-NEXT:       String: {{.+}} "main"
92; CHECK-NEXT:       Entry @ {{.+}} {
93; CHECK-NEXT:         Abbrev: [[ABBREV2]]
94; CHECK-NEXT:         Tag: DW_TAG_subprogram
95; CHECK-NEXT:         DW_IDX_die_offset: 0x00000023
96; CHECK-NEXT:         DW_IDX_parent: <parent not indexed>
97; CHECK-NEXT:       }
98; CHECK-NEXT:     }
99; CHECK-NEXT:   ]
100; CHECK-NEXT:   Bucket 3 [
101; CHECK-NEXT:     Name 4 {
102; CHECK-NEXT:       Hash: 0x7C952063
103; CHECK-NEXT:       String: {{.+}} "char"
104; CHECK-NEXT:       Entry @ {{.+}} {
105; CHECK-NEXT:         Abbrev: [[ABBREV4]]
106; CHECK-NEXT:           Tag: DW_TAG_base_type
107; CHECK-NEXT:           DW_IDX_type_unit: 0x00
108; CHECK-NEXT:           DW_IDX_die_offset: 0x00000038
109; CHECK-NEXT:           DW_IDX_parent: <parent not indexed>
110; CHECK-NEXT:       }
111; CHECK-NEXT:     }
112; CHECK-NEXT:   ]
113; CHECK-NEXT: }
114
115; RUN: llc -mtriple=x86_64 -generate-type-units -dwarf-version=5 -filetype=obj -split-dwarf-file=%t.mainTypes.dwo --split-dwarf-output=%t.mainTypes.dwo %s -o %t
116; RUN: llvm-dwarfdump -debug-names %t | FileCheck %s --check-prefixes=CHECK-SPLIT
117
118; CHECK-SPLIT:          .debug_names contents
119; CHECK-SPLIT:          Foreign TU count: 1
120; CHECK-SPLIT-NEXT:     Bucket count: 4
121; CHECK-SPLIT-NEXT:     Name count: 4
122; CHECK-SPLIT-NEXT:     Abbreviations table size: 0x25
123; CHECK-SPLIT-NEXT:     Augmentation: 'LLVM0700'
124; CHECK-SPLIT-NEXT:   }
125; CHECK-SPLIT-NEXT:   Compilation Unit offsets [
126; CHECK-SPLIT-NEXT:     CU[0]: 0x00000000
127; CHECK-SPLIT-NEXT:   ]
128; CHECK-SPLIT-NEXT:   Foreign Type Unit signatures [
129; CHECK-SPLIT-NEXT:     ForeignTU[0]: 0x675d23e4f33235f2
130; CHECK-SPLIT-NEXT:   ]
131; CHECK-SPLIT-NEXT:   Abbreviations [
132; CHECK-SPLIT-NEXT:     Abbreviation [[ABBREV2:0x[0-9a-f]*]] {
133; CHECK-SPLIT-NEXT:       Tag: DW_TAG_base_type
134; CHECK-SPLIT-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
135; CHECK-SPLIT-NEXT:       DW_IDX_parent: DW_FORM_flag_present
136; CHECK-SPLIT-NEXT:     }
137; CHECK-SPLIT-NEXT:     Abbreviation [[ABBREV1:0x[0-9a-f]*]] {
138; CHECK-SPLIT-NEXT:       Tag: DW_TAG_structure_type
139; CHECK-SPLIT-NEXT:       DW_IDX_type_unit: DW_FORM_data1
140; CHECK-SPLIT-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
141; CHECK-SPLIT-NEXT:       DW_IDX_parent: DW_FORM_flag_present
142; CHECK-SPLIT-NEXT:     }
143; CHECK-SPLIT-NEXT:     Abbreviation [[ABBREV3:0x[0-9a-f]*]] {
144; CHECK-SPLIT-NEXT:       Tag: DW_TAG_subprogram
145; CHECK-SPLIT-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
146; CHECK-SPLIT-NEXT:       DW_IDX_parent: DW_FORM_flag_present
147; CHECK-SPLIT-NEXT:     }
148; CHECK-SPLIT-NEXT:     Abbreviation [[ABBREV4:0x[0-9a-f]*]] {
149; CHECK-SPLIT-NEXT:       Tag: DW_TAG_base_type
150; CHECK-SPLIT-NEXT:       DW_IDX_type_unit: DW_FORM_data1
151; CHECK-SPLIT-NEXT:       DW_IDX_die_offset: DW_FORM_ref4
152; CHECK-SPLIT-NEXT:       DW_IDX_parent: DW_FORM_flag_present
153; CHECK-SPLIT-NEXT:     }
154; CHECK-SPLIT-NEXT:   ]
155; CHECK-SPLIT-NEXT:   Bucket 0 [
156; CHECK-SPLIT-NEXT:     Name 1 {
157; CHECK-SPLIT-NEXT:       Hash: 0xB888030
158; CHECK-SPLIT-NEXT:       String: {{.+}} "int"
159; CHECK-SPLIT-NEXT:       Entry @ {{.+}} {
160; CHECK-SPLIT-NEXT:         Abbrev: [[ABBREV2]]
161; CHECK-SPLIT-NEXT:         Tag: DW_TAG_base_type
162; CHECK-SPLIT-NEXT:         DW_IDX_die_offset: 0x00000035
163; CHECK-SPLIT-NEXT:         DW_IDX_parent: <parent not indexed>
164; CHECK-SPLIT-NEXT:       }
165; CHECK-SPLIT-NEXT:     }
166; CHECK-SPLIT-NEXT:   ]
167; CHECK-SPLIT-NEXT:   Bucket 1 [
168; CHECK-SPLIT-NEXT:     Name 2 {
169; CHECK-SPLIT-NEXT:       Hash: 0xB887389
170; CHECK-SPLIT-NEXT:       String: {{.+}} "Foo"
171; CHECK-SPLIT-NEXT:       Entry @ {{.+}} {
172; CHECK-SPLIT-NEXT:         Abbrev: [[ABBREV1]]
173; CHECK-SPLIT-NEXT:         Tag: DW_TAG_structure_type
174; CHECK-SPLIT-NEXT:         DW_IDX_type_unit: 0x00
175; CHECK-SPLIT-NEXT:         DW_IDX_die_offset: 0x00000021
176; CHECK-SPLIT-NEXT:         DW_IDX_parent: <parent not indexed>
177; CHECK-SPLIT-NEXT:       }
178; CHECK-SPLIT-NEXT:     }
179; CHECK-SPLIT-NEXT:   ]
180; CHECK-SPLIT-NEXT:   Bucket 2 [
181; CHECK-SPLIT-NEXT:     Name 3 {
182; CHECK-SPLIT-NEXT:       Hash: 0x7C9A7F6A
183; CHECK-SPLIT-NEXT:       String: {{.+}} "main"
184; CHECK-SPLIT-NEXT:       Entry @ {{.+}} {
185; CHECK-SPLIT-NEXT:         Abbrev: [[ABBREV3]]
186; CHECK-SPLIT-NEXT:         Tag: DW_TAG_subprogram
187; CHECK-SPLIT-NEXT:         DW_IDX_die_offset: 0x0000001a
188; CHECK-SPLIT-NEXT:         DW_IDX_parent: <parent not indexed>
189; CHECK-SPLIT-NEXT:       }
190; CHECK-SPLIT-NEXT:     }
191; CHECK-SPLIT-NEXT:   ]
192; CHECK-SPLIT-NEXT:   Bucket 3 [
193; CHECK-SPLIT-NEXT:     Name 4 {
194; CHECK-SPLIT-NEXT:       Hash: 0x7C952063
195; CHECK-SPLIT-NEXT:       String: {{.+}} "char"
196; CHECK-SPLIT-NEXT:       Entry @ {{.+}} {
197; CHECK-SPLIT-NEXT:         Abbrev: [[ABBREV4]]
198; CHECK-SPLIT-NEXT:         Tag: DW_TAG_base_type
199; CHECK-SPLIT-NEXT:         DW_IDX_type_unit: 0x00
200; CHECK-SPLIT-NEXT:         DW_IDX_die_offset: 0x00000036
201; CHECK-SPLIT-NEXT:         DW_IDX_parent: <parent not indexed>
202; CHECK-SPLIT-NEXT:       }
203; CHECK-SPLIT-NEXT:     }
204; CHECK-SPLIT-NEXT:   ]
205; CHECK-SPLIT-NEXT: }
206
207
208
209; RUN: llvm-dwarfdump -debug-info -r 0 %t > %tdebugInfo.txt
210; RUN: llvm-dwarfdump -debug-info -r 0 %t.mainTypes.dwo >> %tdebugInfo.txt
211; RUN: cat %tdebugInfo.txt | FileCheck %s --check-prefixes=CHECK-TYPE
212
213; CHECK-TYPE:         DW_TAG_skeleton_unit
214; CHECK-TYPE-NEXT:      DW_AT_stmt_list
215; CHECK-TYPE-NEXT:      DW_AT_str_offsets_base
216; CHECK-TYPE-NEXT:      DW_AT_comp_dir  ("/typeSmall")
217; CHECK-TYPE-NEXT:      DW_AT_dwo_name
218; CHECK-TYPE-SAME:        debug-names-types.ll.tmp.mainTypes.dwo
219; CHECK-TYPE-NEXT:      DW_AT_low_pc
220; CHECK-TYPE-NEXT:      DW_AT_high_pc
221; CHECK-TYPE-NEXT:      DW_AT_addr_base
222
223; CHECK-TYPE:           DW_TAG_type_unit
224; CHECK-TYPE-NOT:       DW_TAG
225; CHECK-TYPE:           DW_AT_comp_dir  ("/typeSmall")
226; CHECK-TYPE-NOT:       DW_TAG
227; CHECK-TYPE:           DW_AT_dwo_name
228; CHECK-TYPE-SAME:        debug-names-types.ll.tmp.mainTypes.dwo
229
230; ModuleID = 'main.cpp'
231source_filename = "main.cpp"
232target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
233target triple = "x86_64-unknown-linux-gnu"
234
235%struct.Foo = type { ptr }
236
237; Function Attrs: mustprogress noinline norecurse nounwind optnone uwtable
238define dso_local noundef i32 @main() #0 !dbg !10 {
239entry:
240  %retval = alloca i32, align 4
241  %f = alloca %struct.Foo, align 8
242  store i32 0, ptr %retval, align 4
243  call void @llvm.dbg.declare(metadata ptr %f, metadata !15, metadata !DIExpression()), !dbg !21
244  ret i32 0, !dbg !22
245}
246
247; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
248declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
249
250attributes #0 = { mustprogress noinline norecurse nounwind optnone uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
251attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
252
253!llvm.dbg.cu = !{!0}
254!llvm.module.flags = !{!2, !3, !4, !5, !6, !7, !8}
255!llvm.ident = !{!9}
256
257!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 18.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false)
258!1 = !DIFile(filename: "main.cpp", directory: "/typeSmall", checksumkind: CSK_MD5, checksum: "e5b402e9dbafe24c7adbb087d1f03549")
259!2 = !{i32 7, !"Dwarf Version", i32 5}
260!3 = !{i32 2, !"Debug Info Version", i32 3}
261!4 = !{i32 1, !"wchar_size", i32 4}
262!5 = !{i32 8, !"PIC Level", i32 2}
263!6 = !{i32 7, !"PIE Level", i32 2}
264!7 = !{i32 7, !"uwtable", i32 2}
265!8 = !{i32 7, !"frame-pointer", i32 2}
266!9 = !{!"clang version 18.0.0"}
267!10 = distinct !DISubprogram(name: "main", scope: !1, file: !1, line: 4, type: !11, scopeLine: 4, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !14)
268!11 = !DISubroutineType(types: !12)
269!12 = !{!13}
270!13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
271!14 = !{}
272!15 = !DILocalVariable(name: "f", scope: !10, file: !1, line: 5, type: !16)
273!16 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Foo", file: !1, line: 1, size: 64, flags: DIFlagTypePassByValue, elements: !17, identifier: "_ZTS3Foo")
274!17 = !{!18}
275!18 = !DIDerivedType(tag: DW_TAG_member, name: "c1", scope: !16, file: !1, line: 2, baseType: !19, size: 64)
276!19 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !20, size: 64)
277!20 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
278!21 = !DILocation(line: 5, column: 6, scope: !10)
279!22 = !DILocation(line: 6, column: 2, scope: !10)
280