1 ; REQUIRES: object-emission
3 ; RUN: %llc_dwarf -O2 -filetype=obj < %s | llvm-dwarfdump -debug-dump=info - | FileCheck %s
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.
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
19 ; void __attribute__((always_inline)) m_fn2() { i = 0; }
39 ; CHECK: DW_TAG_structure_type
40 ; CHECK-NEXT: DW_AT_name {{.*}} "C"
41 ; CHECK: DW_TAG_subprogram
43 ; CHECK: DW_AT_name {{.*}} "m_fn3"
45 ; CHECK: DW_AT_specification {{.*}} "_ZN1C5m_fn3Ev"
47 ; CHECK: DW_TAG_formal_parameter
49 ; CHECK: DW_AT_name {{.*}} "this"
51 %struct.C = type { i32, %struct.B }
52 %struct.B = type { i32 }
53 %struct.A = type { i8 }
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
60 ; Function Attrs: noreturn sanitize_address
61 define i32 @_Z3fn1v() #0 {
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
69 ; <label>:3 ; preds = %entry
70 %4 = call i64 @__asan_stack_malloc_0(i64 64, i64 %0), !dbg !39
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
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
106 ; <label>:29 ; preds = %24
107 call void @__asan_report_store4(i64 %18), !dbg !39
108 call void asm sideeffect "", ""()
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, metadata !{!"0x102"}), !dbg !46
114 call void @_ZN1C5m_fn3Ev(%struct.C* %8), !dbg !47
115 unreachable, !dbg !47
118 ; Function Attrs: sanitize_address
119 define void @_ZN1C5m_fn3Ev(%struct.C* nocapture %this) #1 align 2 {
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
127 ; <label>:3 ; preds = %entry
128 %4 = call i64 @__asan_stack_malloc_0(i64 64, i64 %0), !dbg !48
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, metadata !{!"0x102"}), !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
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
166 ; <label>:29 ; preds = %24
167 call void @__asan_report_store4(i64 %18), !dbg !50
168 call void asm sideeffect "", ""()
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
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
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
194 ; <label>:42 ; preds = %39, %32
198 declare i32 @_ZN1A5m_fn1Ev(%struct.A*) #2
200 ; Function Attrs: nounwind readnone
201 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #3
203 define internal void @asan.module_ctor() {
204 tail call void @__asan_init_v3()
208 declare void @__asan_init_v3()
210 declare void @__asan_report_load1(i64)
212 declare void @__asan_load1(i64)
214 declare void @__asan_report_load2(i64)
216 declare void @__asan_load2(i64)
218 declare void @__asan_report_load4(i64)
220 declare void @__asan_load4(i64)
222 declare void @__asan_report_load8(i64)
224 declare void @__asan_load8(i64)
226 declare void @__asan_report_load16(i64)
228 declare void @__asan_load16(i64)
230 declare void @__asan_report_store1(i64)
232 declare void @__asan_store1(i64)
234 declare void @__asan_report_store2(i64)
236 declare void @__asan_store2(i64)
238 declare void @__asan_report_store4(i64)
240 declare void @__asan_store4(i64)
242 declare void @__asan_report_store8(i64)
244 declare void @__asan_store8(i64)
246 declare void @__asan_report_store16(i64)
248 declare void @__asan_store16(i64)
250 declare void @__asan_report_load_n(i64, i64)
252 declare void @__asan_report_store_n(i64, i64)
254 declare void @__asan_loadN(i64, i64)
256 declare void @__asan_storeN(i64, i64)
258 declare i8* @__asan_memmove(i8*, i8*, i64)
260 declare i8* @__asan_memcpy(i8*, i8*, i64)
262 declare i8* @__asan_memset(i8*, i32, i64)
264 declare void @__asan_handle_no_return()
266 declare void @__sanitizer_cov()
268 declare void @__sanitizer_ptr_cmp(i64, i64)
270 declare void @__sanitizer_ptr_sub(i64, i64)
272 declare i64 @__asan_stack_malloc_0(i64, i64)
274 declare void @__asan_stack_free_0(i64, i64, i64)
276 declare i64 @__asan_stack_malloc_1(i64, i64)
278 declare void @__asan_stack_free_1(i64, i64, i64)
280 declare i64 @__asan_stack_malloc_2(i64, i64)
282 declare void @__asan_stack_free_2(i64, i64, i64)
284 declare i64 @__asan_stack_malloc_3(i64, i64)
286 declare void @__asan_stack_free_3(i64, i64, i64)
288 declare i64 @__asan_stack_malloc_4(i64, i64)
290 declare void @__asan_stack_free_4(i64, i64, i64)
292 declare i64 @__asan_stack_malloc_5(i64, i64)
294 declare void @__asan_stack_free_5(i64, i64, i64)
296 declare i64 @__asan_stack_malloc_6(i64, i64)
298 declare void @__asan_stack_free_6(i64, i64, i64)
300 declare i64 @__asan_stack_malloc_7(i64, i64)
302 declare void @__asan_stack_free_7(i64, i64, i64)
304 declare i64 @__asan_stack_malloc_8(i64, i64)
306 declare void @__asan_stack_free_8(i64, i64, i64)
308 declare i64 @__asan_stack_malloc_9(i64, i64)
310 declare void @__asan_stack_free_9(i64, i64, i64)
312 declare i64 @__asan_stack_malloc_10(i64, i64)
314 declare void @__asan_stack_free_10(i64, i64, i64)
316 declare void @__asan_poison_stack_memory(i64, i64)
318 declare void @__asan_unpoison_stack_memory(i64, i64)
320 declare void @__asan_before_dynamic_init(i64)
322 declare void @__asan_after_dynamic_init()
324 declare void @__asan_register_globals(i64, i64)
326 declare void @__asan_unregister_globals(i64, i64)
328 declare void @__sanitizer_cov_module_init(i64)
330 attributes #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" }
331 attributes #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" }
332 attributes #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" }
333 attributes #3 = { nounwind readnone }
336 !llvm.module.flags = !{!36, !37}
339 !0 = !{!"0x11\004\00clang version 3.5.0 \001\00\000\00\001", !1, !2, !3, !21, !2, !2} ; [ DW_TAG_compile_unit ] [/tmp/dbginfo/<stdin>] [DW_LANG_C_plus_plus]
340 !1 = !{!"<stdin>", !"/tmp/dbginfo"}
343 !4 = !{!"0x13\00C\0010\0064\0032\000\000\000", !5, null, null, !6, null, null, !"_ZTS1C"} ; [ DW_TAG_structure_type ] [C] [line 10, size 64, align 32, offset 0] [def] [from ]
344 !5 = !{!"incorrect-variable-debug-loc.cpp", !"/tmp/dbginfo"}
346 !7 = !{!"0xd\00j\0012\0032\0032\000\000", !5, !"_ZTS1C", !8} ; [ DW_TAG_member ] [j] [line 12, size 32, align 32, offset 0] [from int]
347 !8 = !{!"0x24\00int\000\0032\0032\000\000\005", null, null} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
348 !9 = !{!"0xd\00b\0013\0032\0032\0032\000", !5, !"_ZTS1C", !"_ZTS1B"} ; [ DW_TAG_member ] [b] [line 13, size 32, align 32, offset 32] [from _ZTS1B]
349 !10 = !{!"0x2e\00m_fn3\00m_fn3\00_ZN1C5m_fn3Ev\0011\000\000\000\006\00256\001\0011", !5, !"_ZTS1C", !11, null, null, null, i32 0, null} ; [ DW_TAG_subprogram ] [line 11] [m_fn3]
350 !11 = !{!"0x15\00\000\000\000\000\000\000", i32 0, null, null, !12, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
352 !13 = !{!"0xf\00\000\0064\0064\000\001088", null, null, !"_ZTS1C"} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [artificial] [from _ZTS1C]
353 !14 = !{!"0x13\00B\005\0032\0032\000\000\000", !5, null, null, !15, null, null, !"_ZTS1B"} ; [ DW_TAG_structure_type ] [B] [line 5, size 32, align 32, offset 0] [def] [from ]
355 !16 = !{!"0xd\00i\007\0032\0032\000\000", !5, !"_ZTS1B", !8} ; [ DW_TAG_member ] [i] [line 7, size 32, align 32, offset 0] [from int]
356 !17 = !{!"0x2e\00m_fn2\00m_fn2\00_ZN1B5m_fn2Ev\006\000\000\000\006\00256\001\006", !5, !"_ZTS1B", !18, null, null, null, i32 0, null} ; [ DW_TAG_subprogram ] [line 6] [m_fn2]
357 !18 = !{!"0x15\00\000\000\000\000\000\000", i32 0, null, null, !19, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
359 !20 = !{!"0xf\00\000\0064\0064\000\001088", null, null, !"_ZTS1B"} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [artificial] [from _ZTS1B]
360 !21 = !{!22, !28, !32}
361 !22 = !{!"0x2e\00fn1\00fn1\00_Z3fn1v\0016\000\001\000\006\00256\001\0016", !5, !23, !24, null, i32 ()* @_Z3fn1v, null, null, !26} ; [ DW_TAG_subprogram ] [line 16] [def] [fn1]
362 !23 = !{!"0x29", !5} ; [ DW_TAG_file_type ] [/tmp/dbginfo/incorrect-variable-debug-loc.cpp]
363 !24 = !{!"0x15\00\000\000\000\000\000\000", i32 0, null, null, !25, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
366 !27 = !{!"0x100\00A\0017\000", !22, !23, !"_ZTS1C"} ; [ DW_TAG_auto_variable ] [A] [line 17]
367 !28 = !{!"0x2e\00m_fn3\00m_fn3\00_ZN1C5m_fn3Ev\0021\000\001\000\006\00256\001\0021", !5, !"_ZTS1C", !11, null, void (%struct.C*)* @_ZN1C5m_fn3Ev, null, !10, !29} ; [ DW_TAG_subprogram ] [line 21] [def] [m_fn3]
369 !30 = !{!"0x101\00this\0016777216\001088", !28, null, !31} ; [ DW_TAG_arg_variable ] [this] [line 0]
370 !31 = !{!"0xf\00\000\0064\0064\000\000", null, null, !"_ZTS1C"} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from _ZTS1C]
371 !32 = !{!"0x2e\00m_fn2\00m_fn2\00_ZN1B5m_fn2Ev\006\000\001\000\006\00256\001\006", !5, !"_ZTS1B", !18, null, null, null, !17, !33} ; [ DW_TAG_subprogram ] [line 6] [def] [m_fn2]
373 !34 = !{!"0x101\00this\0016777216\001088", !32, null, !35} ; [ DW_TAG_arg_variable ] [this] [line 0]
374 !35 = !{!"0xf\00\000\0064\0064\000\000", null, null, !"_ZTS1B"} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from _ZTS1B]
375 !36 = !{i32 2, !"Dwarf Version", i32 4}
376 !37 = !{i32 2, !"Debug Info Version", i32 2}
377 !38 = !{!"clang version 3.5.0 "}
378 !39 = !MDLocation(line: 6, scope: !32, inlinedAt: !40)
379 !40 = !MDLocation(line: 18, scope: !22)
380 !41 = !{!42, !43, i64 0}
381 !42 = !{!"_ZTS1B", !43, i64 0}
382 !43 = !{!"int", !44, i64 0}
383 !44 = !{!"omnipotent char", !45, i64 0}
384 !45 = !{!"Simple C/C++ TBAA"}
385 !46 = !MDLocation(line: 17, scope: !22)
386 !47 = !MDLocation(line: 19, scope: !22)
387 !48 = !MDLocation(line: 0, scope: !28)
388 !49 = !MDLocation(line: 22, scope: !28)
389 !50 = !MDLocation(line: 6, scope: !32, inlinedAt: !51)
390 !51 = !MDLocation(line: 23, scope: !28)
391 !52 = !MDLocation(line: 24, scope: !28)