• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; REQUIRES: object-emission
2
3; RUN: llc < %s -o %t -filetype=obj -O0 -generate-type-units -mtriple=x86_64-unknown-linux-gnu
4; RUN: llvm-dwarfdump %t | FileCheck --check-prefix=CHECK --check-prefix=SINGLE %s
5; RUN: llvm-readobj -s -t %t | FileCheck --check-prefix=OBJ_SINGLE %s
6
7; RUN: llc < %s -split-dwarf=Enable -o %t -filetype=obj -O0 -generate-type-units -mtriple=x86_64-unknown-linux-gnu
8; RUN: llvm-dwarfdump %t | FileCheck --check-prefix=CHECK --check-prefix=FISSION %s
9; RUN: llvm-readobj -s -t %t | FileCheck --check-prefix=OBJ_FISSION %s
10
11; Generated from bar.cpp:
12
13; #line 1 "bar.h"
14; struct bar {};
15; #line 2 "bar.cpp"
16
17; struct bar b;
18
19; void foo(void) {
20;   struct baz {};
21;   baz b;
22; }
23
24; namespace echidna {
25; namespace capybara {
26; namespace mongoose {
27; class fluffy {
28;   int a;
29;   int b;
30; };
31
32; fluffy animal;
33; }
34; }
35; }
36
37; namespace {
38; struct walrus {
39;   walrus() {}
40; };
41; }
42
43; walrus w;
44
45; struct wombat {
46;   struct {
47;     int a;
48;     int b;
49;   } a_b;
50; };
51
52; wombat wom;
53
54; SINGLE-LABEL: .debug_info contents:
55; FISSION-LABEL: .debug_info.dwo contents:
56; CHECK: Compile Unit: length = [[CU_SIZE:[0-9a-f]+]]
57
58; CHECK: [[BAR:^0x........]]: DW_TAG_structure_type
59; CHECK-NEXT: DW_AT_declaration
60; CHECK-NEXT: DW_AT_signature {{.*}} (0x1d02f3be30cc5688)
61; CHECK: [[FLUFFY:^0x........]]: DW_TAG_class_type
62; CHECK-NEXT: DW_AT_declaration
63; CHECK-NEXT: DW_AT_signature {{.*}} (0xb04af47397402e77)
64
65; Ensure the CU-local type 'walrus' is not placed in a type unit.
66; CHECK: [[WALRUS:^0x........]]: DW_TAG_structure_type
67; CHECK-NEXT: DW_AT_name{{.*}}"walrus"
68; CHECK-NEXT: DW_AT_byte_size
69; CHECK-NEXT: DW_AT_decl_file
70; CHECK-NEXT: DW_AT_decl_line
71
72
73; CHECK: [[WOMBAT:^0x........]]: DW_TAG_structure_type
74; CHECK-NEXT: DW_AT_declaration
75; CHECK-NEXT: DW_AT_signature {{.*}} (0xfd756cee88f8a118)
76
77; SINGLE-LABEL: .debug_types contents:
78; FISSION-NOT: .debug_types contents:
79; FISSION-LABEL: .debug_types.dwo contents:
80
81; Check that we generate a hash for bar and the value.
82; CHECK-NOT: type_signature
83; CHECK-LABEL: type_signature = 0x1d02f3be30cc5688
84; CHECK: DW_TAG_structure_type
85; FISSION-NEXT: DW_AT_name {{.*}} ( indexed {{.*}} "bar"
86; SINGLE-NEXT: DW_AT_name {{.*}} "bar"
87
88
89; Check that we generate a hash for fluffy and the value.
90; CHECK-NOT: type_signature
91; CHECK-LABEL: type_signature = 0xb04af47397402e77
92; CHECK-NOT: DW_AT_GNU_odr_signature [DW_FORM_data8]   (0x9a0124d5a0c21c52)
93; CHECK: DW_TAG_namespace
94; CHECK-NEXT: DW_AT_name{{.*}}"echidna"
95; CHECK: DW_TAG_namespace
96; CHECK-NEXT: DW_AT_name{{.*}}"capybara"
97; CHECK: DW_TAG_namespace
98; CHECK-NEXT: DW_AT_name{{.*}}"mongoose"
99; CHECK: DW_TAG_class_type
100; CHECK-NEXT: DW_AT_name{{.*}}"fluffy"
101
102; Check that we generate a hash for wombat and the value, but not for the
103; anonymous type contained within.
104; CHECK-NOT: type_signature
105; CHECK-LABEL: type_signature = 0xfd756cee88f8a118
106; CHECK-NOT: DW_AT_GNU_odr_signature [DW_FORM_data8] (0x685bcc220141e9d7)
107; CHECK: DW_TAG_structure_type
108; CHECK-NEXT: DW_AT_name{{.*}}"wombat"
109
110; CHECK-NOT: type_signature
111; CHECK-LABEL: type_signature = 0xe94f6d3843e62d6b
112; CHECK: DW_TAG_type_unit
113; CHECK: DW_AT_stmt_list [DW_FORM_sec_offset] (0x00000000)
114; CHECK-NOT: NULL
115; CHECK-NOT: DW_AT_GNU_odr_signature
116; CHECK: DW_TAG_structure_type
117; The signature for the outer 'wombat' type
118; CHECK: DW_AT_signature [DW_FORM_ref_sig8] (0xfd756cee88f8a118)
119; CHECK: DW_TAG_structure_type
120; CHECK-NOT: DW_AT_name
121; CHECK-NOT: DW_AT_GNU_odr_signature
122; CHECK: DW_TAG_member
123; CHECK-NEXT: DW_AT_name{{.*}}"a"
124
125; CHECK-LABEL: .debug_line contents:
126; CHECK: Line table prologue
127; CHECK-NOT: file_names[
128; SINGLE: file_names{{.*}} bar.h
129; CHECK: file_names{{.*}} bar.cpp
130; CHECK-NOT: file_names[
131
132; CHECK-LABEL: .debug_line.dwo contents:
133; FISSION: Line table prologue
134; FISSION: opcode_base: 1
135; FISSION-NOT: standard_opcode_lengths
136; FISSION-NOT: include_directories
137; FISSION-NOT: file_names[
138; FISSION: file_names{{.*}} bar.h
139; FISSION: file_names{{.*}} bar.cpp
140; FISSION-NOT: file_names[
141
142; CHECK-LABEL: .debug_str contents:
143
144; Use the unit size as a rough hash/identifier for the unit we're dealing with
145; it happens to be unambiguous at the moment, but it's hardly ideal.
146; CHECK-LABEL: .debug_pubtypes contents:
147; Don't emit pubtype entries for type DIEs in the compile unit that just indirect to a type unit.
148; CHECK-NEXT: unit_size = [[CU_SIZE]]
149; CHECK-NEXT: Offset Name
150; CHECK-DAG: [[BAR]] "bar"
151; CHECK-DAG: [[WALRUS]] "(anonymous namespace)::walrus"
152; CHECK-DAG: [[WOMBAT]] "wombat"
153; CHECK-DAG: [[FLUFFY]] "echidna::capybara::mongoose::fluffy"
154
155; Make sure debug_types are in comdat groups. This could be more rigid to check
156; that they're the right comdat groups (each type in a separate comdat group,
157; etc)
158; OBJ_SINGLE: Name: .debug_types (
159; OBJ_SINGLE-NOT: }
160; OBJ_SINGLE: SHF_GROUP
161
162; Fission type units don't go in comdat groups, since their linker is debug
163; aware it's handled using the debug info semantics rather than raw ELF object
164; semantics.
165; OBJ_FISSION: Name: .debug_types.dwo (
166; OBJ_FISSION-NOT: SHF_GROUP
167; OBJ_FISSION: }
168
169%struct.bar = type { i8 }
170%"class.echidna::capybara::mongoose::fluffy" = type { i32, i32 }
171%"struct.<anonymous namespace>::walrus" = type { i8 }
172%struct.wombat = type { %struct.anon }
173%struct.anon = type { i32, i32 }
174%struct.baz = type { i8 }
175
176@b = global %struct.bar zeroinitializer, align 1
177@_ZN7echidna8capybara8mongoose6animalE = global %"class.echidna::capybara::mongoose::fluffy" zeroinitializer, align 4
178@w = internal global %"struct.<anonymous namespace>::walrus" zeroinitializer, align 1
179@wom = global %struct.wombat zeroinitializer, align 4
180@llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 65535, void ()* @_GLOBAL__I_a }]
181
182; Function Attrs: nounwind uwtable
183define void @_Z3foov() #0 !dbg !22 {
184entry:
185  %b = alloca %struct.baz, align 1
186  call void @llvm.dbg.declare(metadata %struct.baz* %b, metadata !46, metadata !DIExpression()), !dbg !48
187  ret void, !dbg !49
188}
189
190; Function Attrs: nounwind readnone
191declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
192
193define internal void @__cxx_global_var_init() section ".text.startup" !dbg !26 {
194entry:
195  call void @_ZN12_GLOBAL__N_16walrusC2Ev(%"struct.<anonymous namespace>::walrus"* @w), !dbg !50
196  ret void, !dbg !50
197}
198
199; Function Attrs: nounwind uwtable
200define internal void @_ZN12_GLOBAL__N_16walrusC2Ev(%"struct.<anonymous namespace>::walrus"* %this) unnamed_addr #0 align 2 !dbg !27 {
201entry:
202  %this.addr = alloca %"struct.<anonymous namespace>::walrus"*, align 8
203  store %"struct.<anonymous namespace>::walrus"* %this, %"struct.<anonymous namespace>::walrus"** %this.addr, align 8
204  call void @llvm.dbg.declare(metadata %"struct.<anonymous namespace>::walrus"** %this.addr, metadata !51, metadata !DIExpression()), !dbg !53
205  %this1 = load %"struct.<anonymous namespace>::walrus"*, %"struct.<anonymous namespace>::walrus"** %this.addr
206  ret void, !dbg !54
207}
208
209define internal void @_GLOBAL__I_a() section ".text.startup" !dbg !36 {
210entry:
211  call void @__cxx_global_var_init(), !dbg !55
212  ret void, !dbg !55
213}
214
215attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
216attributes #1 = { nounwind readnone }
217
218!llvm.dbg.cu = !{!0}
219!llvm.module.flags = !{!43, !44}
220!llvm.ident = !{!45}
221
222!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5 ", isOptimized: false, splitDebugFilename: "bar.dwo", emissionKind: 0, file: !1, enums: !2, retainedTypes: !3, subprograms: !21, globals: !38, imports: !2)
223!1 = !DIFile(filename: "bar.cpp", directory: "/tmp/dbginfo")
224!2 = !{}
225!3 = !{!4, !6, !14, !17}
226!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "bar", line: 1, size: 8, align: 8, file: !5, elements: !2, identifier: "_ZTS3bar")
227!5 = !DIFile(filename: "bar.h", directory: "/tmp/dbginfo")
228!6 = !DICompositeType(tag: DW_TAG_class_type, name: "fluffy", line: 13, size: 64, align: 32, file: !1, scope: !7, elements: !10, identifier: "_ZTSN7echidna8capybara8mongoose6fluffyE")
229!7 = !DINamespace(name: "mongoose", line: 12, file: !1, scope: !8)
230!8 = !DINamespace(name: "capybara", line: 11, file: !1, scope: !9)
231!9 = !DINamespace(name: "echidna", line: 10, file: !1, scope: null)
232!10 = !{!11, !13}
233!11 = !DIDerivedType(tag: DW_TAG_member, name: "a", line: 14, size: 32, align: 32, flags: DIFlagPrivate, file: !1, scope: !"_ZTSN7echidna8capybara8mongoose6fluffyE", baseType: !12)
234!12 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
235!13 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 15, size: 32, align: 32, offset: 32, flags: DIFlagPrivate, file: !1, scope: !"_ZTSN7echidna8capybara8mongoose6fluffyE", baseType: !12)
236!14 = !DICompositeType(tag: DW_TAG_structure_type, name: "wombat", line: 31, size: 64, align: 32, file: !1, elements: !15, identifier: "_ZTS6wombat")
237!15 = !{!16}
238!16 = !DIDerivedType(tag: DW_TAG_member, name: "a_b", line: 35, size: 64, align: 32, file: !1, scope: !"_ZTS6wombat", baseType: !"_ZTSN6wombatUt_E")
239!17 = !DICompositeType(tag: DW_TAG_structure_type, line: 32, size: 64, align: 32, file: !1, scope: !"_ZTS6wombat", elements: !18, identifier: "_ZTSN6wombatUt_E")
240!18 = !{!19, !20}
241!19 = !DIDerivedType(tag: DW_TAG_member, name: "a", line: 33, size: 32, align: 32, file: !1, scope: !"_ZTSN6wombatUt_E", baseType: !12)
242!20 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 34, size: 32, align: 32, offset: 32, file: !1, scope: !"_ZTSN6wombatUt_E", baseType: !12)
243!21 = !{!22, !26, !27, !36}
244!22 = distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", line: 5, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 5, file: !1, scope: !23, type: !24, variables: !2)
245!23 = !DIFile(filename: "bar.cpp", directory: "/tmp/dbginfo")
246!24 = !DISubroutineType(types: !25)
247!25 = !{null}
248!26 = distinct !DISubprogram(name: "__cxx_global_var_init", line: 29, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 29, file: !1, scope: !23, type: !24, variables: !2)
249!27 = distinct !DISubprogram(name: "walrus", linkageName: "_ZN12_GLOBAL__N_16walrusC2Ev", line: 25, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 25, file: !1, scope: !28, type: !32, declaration: !31, variables: !2)
250!28 = !DICompositeType(tag: DW_TAG_structure_type, name: "walrus", line: 24, size: 8, align: 8, file: !1, scope: !29, elements: !30)
251!29 = !DINamespace(line: 23, file: !1, scope: null)
252!30 = !{!31}
253!31 = !DISubprogram(name: "walrus", line: 25, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 25, file: !1, scope: !28, type: !32)
254!32 = !DISubroutineType(types: !33)
255!33 = !{null, !34}
256!34 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer, baseType: !28)
257!36 = distinct !DISubprogram(name: "", linkageName: "_GLOBAL__I_a", line: 25, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagArtificial, isOptimized: false, scopeLine: 25, file: !1, scope: !23, type: !37, variables: !2)
258!37 = !DISubroutineType(types: !2)
259!38 = !{!39, !40, !41, !42}
260!39 = !DIGlobalVariable(name: "b", line: 3, isLocal: false, isDefinition: true, scope: null, file: !23, type: !4, variable: %struct.bar* @b)
261!40 = !DIGlobalVariable(name: "animal", linkageName: "_ZN7echidna8capybara8mongoose6animalE", line: 18, isLocal: false, isDefinition: true, scope: !7, file: !23, type: !6, variable: %"class.echidna::capybara::mongoose::fluffy"* @_ZN7echidna8capybara8mongoose6animalE)
262!41 = !DIGlobalVariable(name: "w", line: 29, isLocal: true, isDefinition: true, scope: null, file: !23, type: !28, variable: %"struct.<anonymous namespace>::walrus"* @w)
263!42 = !DIGlobalVariable(name: "wom", line: 38, isLocal: false, isDefinition: true, scope: null, file: !23, type: !14, variable: %struct.wombat* @wom)
264!43 = !{i32 2, !"Dwarf Version", i32 4}
265!44 = !{i32 1, !"Debug Info Version", i32 3}
266!45 = !{!"clang version 3.5 "}
267!46 = !DILocalVariable(name: "b", line: 7, scope: !22, file: !23, type: !47)
268!47 = !DICompositeType(tag: DW_TAG_structure_type, name: "baz", line: 6, size: 8, align: 8, file: !1, scope: !22, elements: !2)
269!48 = !DILocation(line: 7, scope: !22)
270!49 = !DILocation(line: 8, scope: !22)
271!50 = !DILocation(line: 29, scope: !26)
272!51 = !DILocalVariable(name: "this", arg: 1, flags: DIFlagArtificial | DIFlagObjectPointer, scope: !27, type: !52)
273!52 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !28)
274!53 = !DILocation(line: 0, scope: !27)
275!54 = !DILocation(line: 25, scope: !27)
276!55 = !DILocation(line: 25, scope: !36)
277