1; RUN: %llc_dwarf -O2 -filetype=obj < %s | llvm-dwarfdump -debug-info - | FileCheck %s
2
3; This is a test case that's as reduced as I can get it, though I haven't fully
4; understood the mechanisms by which this bug occurs, so perhaps there's further
5; simplification to be had (it's certainly a bit non-obvious what's going on). I
6; hesitate to hand-craft or otherwise simplify the IR compared to what Clang
7; generates as this is a particular tickling of optimizations and debug location
8; propagation I want a realistic example of.
9
10; Generated with clang-tot -cc1 -g -O2 -w -std=c++11  -fsanitize=address,use-after-return -fcxx-exceptions -fexceptions -x c++ incorrect-variable-debug-loc.cpp -emit-llvm
11
12; struct A {
13;   int m_fn1();
14; };
15;
16; struct B {
17;   void __attribute__((always_inline)) m_fn2() { i = 0; }
18;   int i;
19; };
20;
21; struct C {
22;   void m_fn3();
23;   int j;
24;   B b;
25; };
26;
27; int fn1() {
28;   C A;
29;   A.b.m_fn2();
30;   A.m_fn3();
31; }
32; void C::m_fn3() {
33;   A().m_fn1();
34;   b.m_fn2();
35; }
36
37; CHECK: DW_TAG_structure_type
38; CHECK-NEXT: DW_AT_name ("B")
39
40; CHECK: DW_TAG_structure_type
41; CHECK-NEXT: DW_AT_name ("C")
42; CHECK: [[M_FN3_DECL:.*]]:  DW_TAG_subprogram
43; CHECK-NOT: {{DW_TAG|NULL}}
44; CHECK: DW_AT_name ("m_fn3")
45
46; CHECK: DW_AT_specification ([[M_FN3_DECL]]
47; CHECK-NOT: DW_TAG
48; CHECK:   DW_TAG_formal_parameter
49; CHECK-NOT: DW_TAG
50; CHECK:     DW_AT_name ("this")
51
52%struct.C = type { i32, %struct.B }
53%struct.B = type { i32 }
54%struct.A = type { i8 }
55
56@llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 1, void ()* @asan.module_ctor, i8* null }]
57@__asan_option_detect_stack_use_after_return = external global i32
58@___asan_gen_ = private unnamed_addr constant [11 x i8] c"1 32 8 1 A\00", align 1
59@___asan_gen_1 = private unnamed_addr constant [13 x i8] c"1 32 1 3 tmp\00", align 1
60
61; Function Attrs: noreturn sanitize_address
62define i32 @_Z3fn1v() #0 !dbg !22 {
63entry:
64  %MyAlloca = alloca [64 x i8], align 32, !dbg !39
65  %0 = ptrtoint [64 x i8]* %MyAlloca to i64, !dbg !39
66  %1 = load i32, i32* @__asan_option_detect_stack_use_after_return, !dbg !39
67  %2 = icmp ne i32 %1, 0, !dbg !39
68  br i1 %2, label %3, label %5
69
70; <label>:3                                       ; preds = %entry
71  %4 = call i64 @__asan_stack_malloc_0(i64 64, i64 %0), !dbg !39
72  br label %5
73
74; <label>:5                                       ; preds = %entry, %3
75  %6 = phi i64 [ %0, %entry ], [ %4, %3 ], !dbg !39
76  %7 = add i64 %6, 32, !dbg !39
77  %8 = inttoptr i64 %7 to %struct.C*, !dbg !39
78  %9 = inttoptr i64 %6 to i64*, !dbg !39
79  store i64 1102416563, i64* %9, !dbg !39
80  %10 = add i64 %6, 8, !dbg !39
81  %11 = inttoptr i64 %10 to i64*, !dbg !39
82  store i64 ptrtoint ([11 x i8]* @___asan_gen_ to i64), i64* %11, !dbg !39
83  %12 = add i64 %6, 16, !dbg !39
84  %13 = inttoptr i64 %12 to i64*, !dbg !39
85  store i64 ptrtoint (i32 ()* @_Z3fn1v to i64), i64* %13, !dbg !39
86  %14 = lshr i64 %6, 3, !dbg !39
87  %15 = add i64 %14, 2147450880, !dbg !39
88  %16 = add i64 %15, 0, !dbg !39
89  %17 = inttoptr i64 %16 to i64*, !dbg !39
90  store i64 -868083117767659023, i64* %17, !dbg !39
91  %i.i = getelementptr inbounds %struct.C, %struct.C* %8, i64 0, i32 1, i32 0, !dbg !39
92  %18 = ptrtoint i32* %i.i to i64, !dbg !39
93  %19 = lshr i64 %18, 3, !dbg !39
94  %20 = add i64 %19, 2147450880, !dbg !39
95  %21 = inttoptr i64 %20 to i8*, !dbg !39
96  %22 = load i8, i8* %21, !dbg !39
97  %23 = icmp ne i8 %22, 0, !dbg !39
98  br i1 %23, label %24, label %30, !dbg !39
99
100; <label>:24                                      ; preds = %5
101  %25 = and i64 %18, 7, !dbg !39
102  %26 = add i64 %25, 3, !dbg !39
103  %27 = trunc i64 %26 to i8, !dbg !39
104  %28 = icmp sge i8 %27, %22, !dbg !39
105  br i1 %28, label %29, label %30
106
107; <label>:29                                      ; preds = %24
108  call void @__asan_report_store4(i64 %18), !dbg !39
109  call void asm sideeffect "", ""()
110  unreachable
111
112; <label>:30                                      ; preds = %24, %5
113  store i32 0, i32* %i.i, align 4, !dbg !39, !tbaa !41
114  tail call void @llvm.dbg.value(metadata %struct.C* %8, metadata !27, metadata !DIExpression(DW_OP_deref)), !dbg !46
115  call void @_ZN1C5m_fn3Ev(%struct.C* %8), !dbg !47
116  unreachable, !dbg !47
117}
118
119; Function Attrs: sanitize_address
120define void @_ZN1C5m_fn3Ev(%struct.C* nocapture %this) #1 align 2 !dbg !28 {
121entry:
122  %MyAlloca = alloca [64 x i8], align 32, !dbg !48
123  %0 = ptrtoint [64 x i8]* %MyAlloca to i64, !dbg !48
124  %1 = load i32, i32* @__asan_option_detect_stack_use_after_return, !dbg !48
125  %2 = icmp ne i32 %1, 0, !dbg !48
126  br i1 %2, label %3, label %5
127
128; <label>:3                                       ; preds = %entry
129  %4 = call i64 @__asan_stack_malloc_0(i64 64, i64 %0), !dbg !48
130  br label %5
131
132; <label>:5                                       ; preds = %entry, %3
133  %6 = phi i64 [ %0, %entry ], [ %4, %3 ], !dbg !48
134  %7 = add i64 %6, 32, !dbg !48
135  %8 = inttoptr i64 %7 to %struct.A*, !dbg !48
136  %9 = inttoptr i64 %6 to i64*, !dbg !48
137  store i64 1102416563, i64* %9, !dbg !48
138  %10 = add i64 %6, 8, !dbg !48
139  %11 = inttoptr i64 %10 to i64*, !dbg !48
140  store i64 ptrtoint ([13 x i8]* @___asan_gen_1 to i64), i64* %11, !dbg !48
141  %12 = add i64 %6, 16, !dbg !48
142  %13 = inttoptr i64 %12 to i64*, !dbg !48
143  store i64 ptrtoint (void (%struct.C*)* @_ZN1C5m_fn3Ev to i64), i64* %13, !dbg !48
144  %14 = lshr i64 %6, 3, !dbg !48
145  %15 = add i64 %14, 2147450880, !dbg !48
146  %16 = add i64 %15, 0, !dbg !48
147  %17 = inttoptr i64 %16 to i64*, !dbg !48
148  store i64 -868083113472691727, i64* %17, !dbg !48
149  tail call void @llvm.dbg.value(metadata %struct.C* %this, metadata !30, metadata !DIExpression()), !dbg !48
150  %call = call i32 @_ZN1A5m_fn1Ev(%struct.A* %8), !dbg !49
151  %i.i = getelementptr inbounds %struct.C, %struct.C* %this, i64 0, i32 1, i32 0, !dbg !50
152  %18 = ptrtoint i32* %i.i to i64, !dbg !50
153  %19 = lshr i64 %18, 3, !dbg !50
154  %20 = add i64 %19, 2147450880, !dbg !50
155  %21 = inttoptr i64 %20 to i8*, !dbg !50
156  %22 = load i8, i8* %21, !dbg !50
157  %23 = icmp ne i8 %22, 0, !dbg !50
158  br i1 %23, label %24, label %30, !dbg !50
159
160; <label>:24                                      ; preds = %5
161  %25 = and i64 %18, 7, !dbg !50
162  %26 = add i64 %25, 3, !dbg !50
163  %27 = trunc i64 %26 to i8, !dbg !50
164  %28 = icmp sge i8 %27, %22, !dbg !50
165  br i1 %28, label %29, label %30
166
167; <label>:29                                      ; preds = %24
168  call void @__asan_report_store4(i64 %18), !dbg !50
169  call void asm sideeffect "", ""()
170  unreachable
171
172; <label>:30                                      ; preds = %24, %5
173  store i32 0, i32* %i.i, align 4, !dbg !50, !tbaa !41
174  store i64 1172321806, i64* %9, !dbg !52
175  %31 = icmp ne i64 %6, %0, !dbg !52
176  br i1 %31, label %32, label %39, !dbg !52
177
178; <label>:32                                      ; preds = %30
179  %33 = add i64 %15, 0, !dbg !52
180  %34 = inttoptr i64 %33 to i64*, !dbg !52
181  store i64 -723401728380766731, i64* %34, !dbg !52
182  %35 = add i64 %6, 56, !dbg !52
183  %36 = inttoptr i64 %35 to i64*, !dbg !52
184  %37 = load i64, i64* %36, !dbg !52
185  %38 = inttoptr i64 %37 to i8*, !dbg !52
186  store i8 0, i8* %38, !dbg !52
187  br label %42, !dbg !52
188
189; <label>:39                                      ; preds = %30
190  %40 = add i64 %15, 0, !dbg !52
191  %41 = inttoptr i64 %40 to i64*, !dbg !52
192  store i64 0, i64* %41, !dbg !52
193  br label %42, !dbg !52
194
195; <label>:42                                      ; preds = %39, %32
196  ret void, !dbg !52
197}
198
199declare i32 @_ZN1A5m_fn1Ev(%struct.A*) #2
200
201; Function Attrs: nounwind readnone
202declare void @llvm.dbg.value(metadata, metadata, metadata) #3
203
204define internal void @asan.module_ctor() {
205  tail call void @__asan_init_v3()
206  ret void
207}
208
209declare void @__asan_init_v3()
210
211declare void @__asan_report_load1(i64)
212
213declare void @__asan_load1(i64)
214
215declare void @__asan_report_load2(i64)
216
217declare void @__asan_load2(i64)
218
219declare void @__asan_report_load4(i64)
220
221declare void @__asan_load4(i64)
222
223declare void @__asan_report_load8(i64)
224
225declare void @__asan_load8(i64)
226
227declare void @__asan_report_load16(i64)
228
229declare void @__asan_load16(i64)
230
231declare void @__asan_report_store1(i64)
232
233declare void @__asan_store1(i64)
234
235declare void @__asan_report_store2(i64)
236
237declare void @__asan_store2(i64)
238
239declare void @__asan_report_store4(i64)
240
241declare void @__asan_store4(i64)
242
243declare void @__asan_report_store8(i64)
244
245declare void @__asan_store8(i64)
246
247declare void @__asan_report_store16(i64)
248
249declare void @__asan_store16(i64)
250
251declare void @__asan_report_load_n(i64, i64)
252
253declare void @__asan_report_store_n(i64, i64)
254
255declare void @__asan_loadN(i64, i64)
256
257declare void @__asan_storeN(i64, i64)
258
259declare i8* @__asan_memmove(i8*, i8*, i64)
260
261declare i8* @__asan_memcpy(i8*, i8*, i64)
262
263declare i8* @__asan_memset(i8*, i32, i64)
264
265declare void @__asan_handle_no_return()
266
267declare void @__sanitizer_cov()
268
269declare void @__sanitizer_ptr_cmp(i64, i64)
270
271declare void @__sanitizer_ptr_sub(i64, i64)
272
273declare i64 @__asan_stack_malloc_0(i64, i64)
274
275declare void @__asan_stack_free_0(i64, i64, i64)
276
277declare i64 @__asan_stack_malloc_1(i64, i64)
278
279declare void @__asan_stack_free_1(i64, i64, i64)
280
281declare i64 @__asan_stack_malloc_2(i64, i64)
282
283declare void @__asan_stack_free_2(i64, i64, i64)
284
285declare i64 @__asan_stack_malloc_3(i64, i64)
286
287declare void @__asan_stack_free_3(i64, i64, i64)
288
289declare i64 @__asan_stack_malloc_4(i64, i64)
290
291declare void @__asan_stack_free_4(i64, i64, i64)
292
293declare i64 @__asan_stack_malloc_5(i64, i64)
294
295declare void @__asan_stack_free_5(i64, i64, i64)
296
297declare i64 @__asan_stack_malloc_6(i64, i64)
298
299declare void @__asan_stack_free_6(i64, i64, i64)
300
301declare i64 @__asan_stack_malloc_7(i64, i64)
302
303declare void @__asan_stack_free_7(i64, i64, i64)
304
305declare i64 @__asan_stack_malloc_8(i64, i64)
306
307declare void @__asan_stack_free_8(i64, i64, i64)
308
309declare i64 @__asan_stack_malloc_9(i64, i64)
310
311declare void @__asan_stack_free_9(i64, i64, i64)
312
313declare i64 @__asan_stack_malloc_10(i64, i64)
314
315declare void @__asan_stack_free_10(i64, i64, i64)
316
317declare void @__asan_poison_stack_memory(i64, i64)
318
319declare void @__asan_unpoison_stack_memory(i64, i64)
320
321declare void @__asan_before_dynamic_init(i64)
322
323declare void @__asan_after_dynamic_init()
324
325declare void @__asan_register_globals(i64, i64)
326
327declare void @__asan_unregister_globals(i64, i64)
328
329declare void @__sanitizer_cov_module_init(i64)
330
331attributes #0 = { noreturn sanitize_address "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
332attributes #1 = { sanitize_address "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
333attributes #2 = { "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
334attributes #3 = { nounwind readnone }
335
336!llvm.dbg.cu = !{!0}
337!llvm.module.flags = !{!36, !37}
338!llvm.ident = !{!38}
339
340!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5.0 ", isOptimized: true, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !3, globals: !2, imports: !2)
341!1 = !DIFile(filename: "<stdin>", directory: "/tmp/dbginfo")
342!2 = !{}
343!3 = !{!4, !14}
344!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "C", line: 10, size: 64, align: 32, file: !5, elements: !6, identifier: "_ZTS1C")
345!5 = !DIFile(filename: "incorrect-variable-debug-loc.cpp", directory: "/tmp/dbginfo")
346!6 = !{!7, !9, !10}
347!7 = !DIDerivedType(tag: DW_TAG_member, name: "j", line: 12, size: 32, align: 32, file: !5, scope: !4, baseType: !8)
348!8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
349!9 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 13, size: 32, align: 32, offset: 32, file: !5, scope: !4, baseType: !14)
350!10 = !DISubprogram(name: "m_fn3", linkageName: "_ZN1C5m_fn3Ev", line: 11, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 11, file: !5, scope: !4, type: !11)
351!11 = !DISubroutineType(types: !12)
352!12 = !{null, !13}
353!13 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer, baseType: !4)
354!14 = !DICompositeType(tag: DW_TAG_structure_type, name: "B", line: 5, size: 32, align: 32, file: !5, elements: !15, identifier: "_ZTS1B")
355!15 = !{!16, !17}
356!16 = !DIDerivedType(tag: DW_TAG_member, name: "i", line: 7, size: 32, align: 32, file: !5, scope: !14, baseType: !8)
357!17 = !DISubprogram(name: "m_fn2", linkageName: "_ZN1B5m_fn2Ev", line: 6, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 6, file: !5, scope: !14, type: !18)
358!18 = !DISubroutineType(types: !19)
359!19 = !{null, !20}
360!20 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer, baseType: !14)
361!22 = distinct !DISubprogram(name: "fn1", linkageName: "_Z3fn1v", line: 16, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 16, file: !5, scope: !23, type: !24, retainedNodes: !26)
362!23 = !DIFile(filename: "incorrect-variable-debug-loc.cpp", directory: "/tmp/dbginfo")
363!24 = !DISubroutineType(types: !25)
364!25 = !{!8}
365!26 = !{!27}
366!27 = !DILocalVariable(name: "A", line: 17, scope: !22, file: !23, type: !4)
367!28 = distinct !DISubprogram(name: "m_fn3", linkageName: "_ZN1C5m_fn3Ev", line: 21, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 21, file: !5, scope: !4, type: !11, declaration: !10, retainedNodes: !29)
368!29 = !{!30}
369!30 = !DILocalVariable(name: "this", arg: 1, flags: DIFlagArtificial | DIFlagObjectPointer, scope: !28, type: !31)
370!31 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !4)
371!32 = distinct !DISubprogram(name: "m_fn2", linkageName: "_ZN1B5m_fn2Ev", line: 6, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 6, file: !5, scope: !14, type: !18, declaration: !17, retainedNodes: !33)
372!33 = !{!34}
373!34 = !DILocalVariable(name: "this", arg: 1, flags: DIFlagArtificial | DIFlagObjectPointer, scope: !32, type: !35)
374!35 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !14)
375!36 = !{i32 2, !"Dwarf Version", i32 4}
376!37 = !{i32 2, !"Debug Info Version", i32 3}
377!38 = !{!"clang version 3.5.0 "}
378!39 = !DILocation(line: 6, scope: !32, inlinedAt: !40)
379!40 = !DILocation(line: 18, scope: !22)
380!41 = !{!42, !43, i64 0}
381!42 = !{!"struct", !43, i64 0}
382!43 = !{!"int", !44, i64 0}
383!44 = !{!"omnipotent char", !45, i64 0}
384!45 = !{!"Simple C/C++ TBAA"}
385!46 = !DILocation(line: 17, scope: !22)
386!47 = !DILocation(line: 19, scope: !22)
387!48 = !DILocation(line: 0, scope: !28)
388!49 = !DILocation(line: 22, scope: !28)
389!50 = !DILocation(line: 6, scope: !32, inlinedAt: !51)
390!51 = !DILocation(line: 23, scope: !28)
391!52 = !DILocation(line: 24, scope: !28)
392