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