DebugInfo: Shrink pubnames/pubtypes in the presence of type units by only emitting...
[oota-llvm.git] / test / DebugInfo / X86 / generate-odr-hash.ll
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
6 ; RUN: llc %s -split-dwarf=Enable -o %t -filetype=obj -O0 -generate-type-units -mtriple=x86_64-unknown-linux-gnu
7 ; RUN: llvm-dwarfdump %t | FileCheck --check-prefix=CHECK --check-prefix=FISSION %s
8
9 ; Generated from bar.cpp:
10
11 ; #line 1 "bar.h"
12 ; struct bar {};
13 ; #line 2 "bar.cpp"
14
15 ; struct bar b;
16
17 ; void foo(void) {
18 ;   struct baz {};
19 ;   baz b;
20 ; }
21
22 ; namespace echidna {
23 ; namespace capybara {
24 ; namespace mongoose {
25 ; class fluffy {
26 ;   int a;
27 ;   int b;
28 ; };
29
30 ; fluffy animal;
31 ; }
32 ; }
33 ; }
34
35 ; namespace {
36 ; struct walrus {
37 ;   walrus() {}
38 ; };
39 ; }
40
41 ; walrus w;
42
43 ; struct wombat {
44 ;   struct {
45 ;     int a;
46 ;     int b;
47 ;   } a_b;
48 ; };
49
50 ; wombat wom;
51
52 ; SINGLE-LABEL: .debug_info contents:
53 ; FISSION-LABEL: .debug_info.dwo contents:
54 ; CHECK: Compile Unit: length = [[CU_SIZE:[0-9a-f]+]]
55
56 ; CHECK: [[BAR:^0x........]]: DW_TAG_structure_type
57 ; CHECK-NEXT: DW_AT_declaration
58 ; CHECK-NEXT: DW_AT_signature {{.*}} (0x1d02f3be30cc5688)
59 ; CHECK: [[FLUFFY:^0x........]]: DW_TAG_class_type
60 ; CHECK-NEXT: DW_AT_declaration
61 ; CHECK-NEXT: DW_AT_signature {{.*}} (0xb04af47397402e77)
62
63 ; Ensure the CU-local type 'walrus' is not placed in a type unit.
64 ; CHECK: [[WALRUS:^0x........]]: DW_TAG_structure_type
65 ; CHECK-NEXT: DW_AT_name{{.*}}"walrus"
66 ; CHECK-NEXT: DW_AT_byte_size
67 ; CHECK-NEXT: DW_AT_decl_file
68 ; CHECK-NEXT: DW_AT_decl_line
69
70
71 ; CHECK: [[WOMBAT:^0x........]]: DW_TAG_structure_type
72 ; CHECK-NEXT: DW_AT_declaration
73 ; CHECK-NEXT: DW_AT_signature {{.*}} (0xfd756cee88f8a118)
74
75 ; FISSION-LABEL: .debug_types contents:
76 ; FISSION-NOT: type_signature
77 ; FISSION-LABEL: type_signature = 0x1d02f3be30cc5688
78 ; FISSION: DW_TAG_type_unit
79 ; FISSION: DW_AT_stmt_list [DW_FORM_sec_offset] (0x00000000)
80 ; FISSION: DW_AT_GNU_dwo_name{{.*}}"bar.dwo"
81 ; FISSION: DW_AT_comp_dir{{.*}}"/tmp/dbginfo"
82 ; FISSION-NOT: type_signature
83 ; FISSION-LABEL: type_signature = 0xb04af47397402e77
84 ; FISSION-NOT: type_signature
85 ; FISSION-LABEL: type_signature = 0xfd756cee88f8a118
86 ; FISSION-NOT: type_signature
87 ; FISSION-LABEL: type_signature = 0xe94f6d3843e62d6b
88
89 ; SINGLE-LABEL: .debug_types contents:
90 ; FISSION-LABEL: .debug_types.dwo contents:
91
92 ; Check that we generate a hash for bar and the value.
93 ; CHECK-NOT: type_signature
94 ; CHECK-LABEL: type_signature = 0x1d02f3be30cc5688
95 ; CHECK: DW_TAG_structure_type
96 ; CHECK-NEXT: DW_AT_name{{.*}}"bar"
97
98
99 ; Check that we generate a hash for fluffy and the value.
100 ; CHECK-NOT: type_signature
101 ; CHECK-LABEL: type_signature = 0xb04af47397402e77
102 ; CHECK-NOT: DW_AT_GNU_odr_signature [DW_FORM_data8]   (0x9a0124d5a0c21c52)
103 ; CHECK: DW_TAG_namespace
104 ; CHECK-NEXT: DW_AT_name{{.*}}"echidna"
105 ; CHECK: DW_TAG_namespace
106 ; CHECK-NEXT: DW_AT_name{{.*}}"capybara"
107 ; CHECK: DW_TAG_namespace
108 ; CHECK-NEXT: DW_AT_name{{.*}}"mongoose"
109 ; CHECK: DW_TAG_class_type
110 ; CHECK-NEXT: DW_AT_name{{.*}}"fluffy"
111
112 ; Check that we generate a hash for wombat and the value, but not for the
113 ; anonymous type contained within.
114 ; CHECK-NOT: type_signature
115 ; CHECK-LABEL: type_signature = 0xfd756cee88f8a118
116 ; CHECK-NOT: DW_AT_GNU_odr_signature [DW_FORM_data8] (0x685bcc220141e9d7)
117 ; CHECK: DW_TAG_structure_type
118 ; CHECK-NEXT: DW_AT_name{{.*}}"wombat"
119
120 ; CHECK-NOT: type_signature
121 ; CHECK-LABEL: type_signature = 0xe94f6d3843e62d6b
122 ; CHECK: DW_TAG_type_unit
123 ; SINGLE: DW_AT_stmt_list [DW_FORM_sec_offset] (0x00000000)
124 ; FISSION-NOT: DW_AT_stmt_list
125 ; CHECK-NOT: NULL
126 ; CHECK-NOT: DW_AT_GNU_odr_signature
127 ; CHECK: DW_TAG_structure_type
128 ; The signature for the outer 'wombat' type
129 ; CHECK: DW_AT_signature [DW_FORM_ref_sig8] (0xfd756cee88f8a118)
130 ; CHECK: DW_TAG_structure_type
131 ; CHECK-NOT: DW_AT_name
132 ; CHECK-NOT: DW_AT_GNU_odr_signature
133 ; CHECK: DW_TAG_member
134 ; CHECK-NEXT: DW_AT_name{{.*}}"a"
135
136 ; CHECK-LABEL: .debug_line contents:
137 ; CHECK: Line table prologue
138 ; CHECK-NOT: file_names[
139 ; CHECK: file_names{{.*}} bar.h
140 ; CHECK: file_names{{.*}} bar.cpp
141 ; CHECK-NOT: file_names[
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-NEXT: [[BAR]] "bar"
151 ; CHECK-NEXT: [[WOMBAT]] "wombat"
152 ; CHECK-NEXT: [[FLUFFY]] "echidna::capybara::mongoose::fluffy"
153 ; CHECK-NEXT: [[WALRUS]] "walrus"
154
155 %struct.bar = type { i8 }
156 %"class.echidna::capybara::mongoose::fluffy" = type { i32, i32 }
157 %"struct.<anonymous namespace>::walrus" = type { i8 }
158 %struct.wombat = type { %struct.anon }
159 %struct.anon = type { i32, i32 }
160 %struct.baz = type { i8 }
161
162 @b = global %struct.bar zeroinitializer, align 1
163 @_ZN7echidna8capybara8mongoose6animalE = global %"class.echidna::capybara::mongoose::fluffy" zeroinitializer, align 4
164 @w = internal global %"struct.<anonymous namespace>::walrus" zeroinitializer, align 1
165 @wom = global %struct.wombat zeroinitializer, align 4
166 @llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 65535, void ()* @_GLOBAL__I_a }]
167
168 ; Function Attrs: nounwind uwtable
169 define void @_Z3foov() #0 {
170 entry:
171   %b = alloca %struct.baz, align 1
172   call void @llvm.dbg.declare(metadata !{%struct.baz* %b}, metadata !46), !dbg !48
173   ret void, !dbg !49
174 }
175
176 ; Function Attrs: nounwind readnone
177 declare void @llvm.dbg.declare(metadata, metadata) #1
178
179 define internal void @__cxx_global_var_init() section ".text.startup" {
180 entry:
181   call void @_ZN12_GLOBAL__N_16walrusC2Ev(%"struct.<anonymous namespace>::walrus"* @w), !dbg !50
182   ret void, !dbg !50
183 }
184
185 ; Function Attrs: nounwind uwtable
186 define internal void @_ZN12_GLOBAL__N_16walrusC2Ev(%"struct.<anonymous namespace>::walrus"* %this) unnamed_addr #0 align 2 {
187 entry:
188   %this.addr = alloca %"struct.<anonymous namespace>::walrus"*, align 8
189   store %"struct.<anonymous namespace>::walrus"* %this, %"struct.<anonymous namespace>::walrus"** %this.addr, align 8
190   call void @llvm.dbg.declare(metadata !{%"struct.<anonymous namespace>::walrus"** %this.addr}, metadata !51), !dbg !53
191   %this1 = load %"struct.<anonymous namespace>::walrus"** %this.addr
192   ret void, !dbg !54
193 }
194
195 define internal void @_GLOBAL__I_a() section ".text.startup" {
196 entry:
197   call void @__cxx_global_var_init(), !dbg !55
198   ret void, !dbg !55
199 }
200
201 attributes #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" }
202 attributes #1 = { nounwind readnone }
203
204 !llvm.dbg.cu = !{!0}
205 !llvm.module.flags = !{!43, !44}
206 !llvm.ident = !{!45}
207
208 !0 = metadata !{i32 786449, metadata !1, i32 4, metadata !"clang version 3.5 ", i1 false, metadata !"", i32 0, metadata !2, metadata !3, metadata !21, metadata !38, metadata !2, metadata !"bar.dwo"} ; [ DW_TAG_compile_unit ] [/tmp/dbginfo/bar.cpp] [DW_LANG_C_plus_plus]
209 !1 = metadata !{metadata !"bar.cpp", metadata !"/tmp/dbginfo"}
210 !2 = metadata !{}
211 !3 = metadata !{metadata !4, metadata !6, metadata !14, metadata !17}
212 !4 = metadata !{i32 786451, metadata !5, null, metadata !"bar", i32 1, i64 8, i64 8, i32 0, i32 0, null, metadata !2, i32 0, null, null, metadata !"_ZTS3bar"} ; [ DW_TAG_structure_type ] [bar] [line 1, size 8, align 8, offset 0] [def] [from ]
213 !5 = metadata !{metadata !"bar.h", metadata !"/tmp/dbginfo"}
214 !6 = metadata !{i32 786434, metadata !1, metadata !7, metadata !"fluffy", i32 13, i64 64, i64 32, i32 0, i32 0, null, metadata !10, i32 0, null, null, metadata !"_ZTSN7echidna8capybara8mongoose6fluffyE"} ; [ DW_TAG_class_type ] [fluffy] [line 13, size 64, align 32, offset 0] [def] [from ]
215 !7 = metadata !{i32 786489, metadata !1, metadata !8, metadata !"mongoose", i32 12} ; [ DW_TAG_namespace ] [mongoose] [line 12]
216 !8 = metadata !{i32 786489, metadata !1, metadata !9, metadata !"capybara", i32 11} ; [ DW_TAG_namespace ] [capybara] [line 11]
217 !9 = metadata !{i32 786489, metadata !1, null, metadata !"echidna", i32 10} ; [ DW_TAG_namespace ] [echidna] [line 10]
218 !10 = metadata !{metadata !11, metadata !13}
219 !11 = metadata !{i32 786445, metadata !1, metadata !"_ZTSN7echidna8capybara8mongoose6fluffyE", metadata !"a", i32 14, i64 32, i64 32, i64 0, i32 1, metadata !12} ; [ DW_TAG_member ] [a] [line 14, size 32, align 32, offset 0] [private] [from int]
220 !12 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
221 !13 = metadata !{i32 786445, metadata !1, metadata !"_ZTSN7echidna8capybara8mongoose6fluffyE", metadata !"b", i32 15, i64 32, i64 32, i64 32, i32 1, metadata !12} ; [ DW_TAG_member ] [b] [line 15, size 32, align 32, offset 32] [private] [from int]
222 !14 = metadata !{i32 786451, metadata !1, null, metadata !"wombat", i32 31, i64 64, i64 32, i32 0, i32 0, null, metadata !15, i32 0, null, null, metadata !"_ZTS6wombat"} ; [ DW_TAG_structure_type ] [wombat] [line 31, size 64, align 32, offset 0] [def] [from ]
223 !15 = metadata !{metadata !16}
224 !16 = metadata !{i32 786445, metadata !1, metadata !"_ZTS6wombat", metadata !"a_b", i32 35, i64 64, i64 32, i64 0, i32 0, metadata !"_ZTSN6wombatUt_E"} ; [ DW_TAG_member ] [a_b] [line 35, size 64, align 32, offset 0] [from _ZTSN6wombatUt_E]
225 !17 = metadata !{i32 786451, metadata !1, metadata !"_ZTS6wombat", metadata !"", i32 32, i64 64, i64 32, i32 0, i32 0, null, metadata !18, i32 0, null, null, metadata !"_ZTSN6wombatUt_E"} ; [ DW_TAG_structure_type ] [line 32, size 64, align 32, offset 0] [def] [from ]
226 !18 = metadata !{metadata !19, metadata !20}
227 !19 = metadata !{i32 786445, metadata !1, metadata !"_ZTSN6wombatUt_E", metadata !"a", i32 33, i64 32, i64 32, i64 0, i32 0, metadata !12} ; [ DW_TAG_member ] [a] [line 33, size 32, align 32, offset 0] [from int]
228 !20 = metadata !{i32 786445, metadata !1, metadata !"_ZTSN6wombatUt_E", metadata !"b", i32 34, i64 32, i64 32, i64 32, i32 0, metadata !12} ; [ DW_TAG_member ] [b] [line 34, size 32, align 32, offset 32] [from int]
229 !21 = metadata !{metadata !22, metadata !26, metadata !27, metadata !36}
230 !22 = metadata !{i32 786478, metadata !1, metadata !23, metadata !"foo", metadata !"foo", metadata !"_Z3foov", i32 5, metadata !24, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void ()* @_Z3foov, null, null, metadata !2, i32 5} ; [ DW_TAG_subprogram ] [line 5] [def] [foo]
231 !23 = metadata !{i32 786473, metadata !1}         ; [ DW_TAG_file_type ] [/tmp/dbginfo/bar.cpp]
232 !24 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !25, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
233 !25 = metadata !{null}
234 !26 = metadata !{i32 786478, metadata !1, metadata !23, metadata !"__cxx_global_var_init", metadata !"__cxx_global_var_init", metadata !"", i32 29, metadata !24, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 false, void ()* @__cxx_global_var_init, null, null, metadata !2, i32 29} ; [ DW_TAG_subprogram ] [line 29] [local] [def] [__cxx_global_var_init]
235 !27 = metadata !{i32 786478, metadata !1, metadata !28, metadata !"walrus", metadata !"walrus", metadata !"_ZN12_GLOBAL__N_16walrusC2Ev", i32 25, metadata !32, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 false, void (%"struct.<anonymous namespace>::walrus"*)* @_ZN12_GLOBAL__N_16walrusC2Ev, null, metadata !31, metadata !2, i32 25} ; [ DW_TAG_subprogram ] [line 25] [local] [def] [walrus]
236 !28 = metadata !{i32 786451, metadata !1, metadata !29, metadata !"walrus", i32 24, i64 8, i64 8, i32 0, i32 0, null, metadata !30, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [walrus] [line 24, size 8, align 8, offset 0] [def] [from ]
237 !29 = metadata !{i32 786489, metadata !1, null, metadata !"", i32 23} ; [ DW_TAG_namespace ] [line 23]
238 !30 = metadata !{metadata !31}
239 !31 = metadata !{i32 786478, metadata !1, metadata !28, metadata !"walrus", metadata !"walrus", metadata !"", i32 25, metadata !32, i1 false, i1 false, i32 0, i32 0, null, i32 256, i1 false, null, null, i32 0, metadata !35, i32 25} ; [ DW_TAG_subprogram ] [line 25] [walrus]
240 !32 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !33, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
241 !33 = metadata !{null, metadata !34}
242 !34 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 1088, metadata !28} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [artificial] [from walrus]
243 !35 = metadata !{i32 786468}
244 !36 = metadata !{i32 786478, metadata !1, metadata !23, metadata !"", metadata !"", metadata !"_GLOBAL__I_a", i32 25, metadata !37, i1 true, i1 true, i32 0, i32 0, null, i32 64, i1 false, void ()* @_GLOBAL__I_a, null, null, metadata !2, i32 25} ; [ DW_TAG_subprogram ] [line 25] [local] [def]
245 !37 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !2, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
246 !38 = metadata !{metadata !39, metadata !40, metadata !41, metadata !42}
247 !39 = metadata !{i32 786484, i32 0, null, metadata !"b", metadata !"b", metadata !"", metadata !23, i32 3, metadata !4, i32 0, i32 1, %struct.bar* @b, null} ; [ DW_TAG_variable ] [b] [line 3] [def]
248 !40 = metadata !{i32 786484, i32 0, metadata !7, metadata !"animal", metadata !"animal", metadata !"_ZN7echidna8capybara8mongoose6animalE", metadata !23, i32 18, metadata !6, i32 0, i32 1, %"class.echidna::capybara::mongoose::fluffy"* @_ZN7echidna8capybara8mongoose6animalE, null} ; [ DW_TAG_variable ] [animal] [line 18] [def]
249 !41 = metadata !{i32 786484, i32 0, null, metadata !"w", metadata !"w", metadata !"", metadata !23, i32 29, metadata !28, i32 1, i32 1, %"struct.<anonymous namespace>::walrus"* @w, null} ; [ DW_TAG_variable ] [w] [line 29] [local] [def]
250 !42 = metadata !{i32 786484, i32 0, null, metadata !"wom", metadata !"wom", metadata !"", metadata !23, i32 38, metadata !14, i32 0, i32 1, %struct.wombat* @wom, null} ; [ DW_TAG_variable ] [wom] [line 38] [def]
251 !43 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
252 !44 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
253 !45 = metadata !{metadata !"clang version 3.5 "}
254 !46 = metadata !{i32 786688, metadata !22, metadata !"b", metadata !23, i32 7, metadata !47, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [b] [line 7]
255 !47 = metadata !{i32 786451, metadata !1, metadata !22, metadata !"baz", i32 6, i64 8, i64 8, i32 0, i32 0, null, metadata !2, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [baz] [line 6, size 8, align 8, offset 0] [def] [from ]
256 !48 = metadata !{i32 7, i32 0, metadata !22, null}
257 !49 = metadata !{i32 8, i32 0, metadata !22, null} ; [ DW_TAG_imported_declaration ]
258 !50 = metadata !{i32 29, i32 0, metadata !26, null}
259 !51 = metadata !{i32 786689, metadata !27, metadata !"this", null, i32 16777216, metadata !52, i32 1088, i32 0} ; [ DW_TAG_arg_variable ] [this] [line 0]
260 !52 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !28} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from walrus]
261 !53 = metadata !{i32 0, i32 0, metadata !27, null}
262 !54 = metadata !{i32 25, i32 0, metadata !27, null}
263 !55 = metadata !{i32 25, i32 0, metadata !36, null}