1 ; RUN: llc -filetype=obj -mtriple=x86_64-pc-linux-gnu %s -o %t
2 ; RUN: llvm-readobj --relocations %t | FileCheck %s
4 ; Check that we don't have any relocations in the ranges section -
5 ; to show that we're producing this as a relative offset to the
6 ; low_pc for the compile unit.
7 ; CHECK-NOT: .rela.debug_ranges
9 @llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 0, void ()* @__msan_init }]
10 @str = private unnamed_addr constant [4 x i8] c"zzz\00"
11 @__msan_retval_tls = external thread_local(initialexec) global [8 x i64]
12 @__msan_retval_origin_tls = external thread_local(initialexec) global i32
13 @__msan_param_tls = external thread_local(initialexec) global [1000 x i64]
14 @__msan_param_origin_tls = external thread_local(initialexec) global [1000 x i32]
15 @__msan_va_arg_tls = external thread_local(initialexec) global [1000 x i64]
16 @__msan_va_arg_overflow_size_tls = external thread_local(initialexec) global i64
17 @__msan_origin_tls = external thread_local(initialexec) global i32
18 @__executable_start = external hidden global i32
19 @_end = external hidden global i32
21 ; Function Attrs: sanitize_memory uwtable
22 define void @_Z1fv() #0 {
24 %p = alloca i32*, align 8
25 %0 = ptrtoint i32** %p to i64, !dbg !19
26 %1 = and i64 %0, -70368744177672, !dbg !19
27 %2 = inttoptr i64 %1 to i64*, !dbg !19
28 store i64 -1, i64* %2, align 8, !dbg !19
29 store i64 0, i64* getelementptr inbounds ([1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !19
30 store i64 0, i64* getelementptr inbounds ([8 x i64]* @__msan_retval_tls, i64 0, i64 0), align 8, !dbg !19
31 %call = call i8* @_Znwm(i64 4) #4, !dbg !19
32 %_msret = load i64* getelementptr inbounds ([8 x i64]* @__msan_retval_tls, i64 0, i64 0), align 8, !dbg !19
33 %3 = bitcast i8* %call to i32*, !dbg !19
34 tail call void @llvm.dbg.value(metadata !{i32* %3}, i64 0, metadata !9, metadata !{metadata !"0x102"}), !dbg !19
35 %4 = inttoptr i64 %1 to i64*, !dbg !19
36 store i64 %_msret, i64* %4, align 8, !dbg !19
37 store volatile i32* %3, i32** %p, align 8, !dbg !19
38 tail call void @llvm.dbg.value(metadata !{i32** %p}, i64 0, metadata !9, metadata !{metadata !"0x102"}), !dbg !19
39 %p.0.p.0. = load volatile i32** %p, align 8, !dbg !20
40 %_msld = load i64* %4, align 8, !dbg !20
41 %_mscmp = icmp eq i64 %_msld, 0, !dbg !20
42 br i1 %_mscmp, label %6, label %5, !dbg !20, !prof !22
44 ; <label>:5 ; preds = %entry
45 call void @__msan_warning_noreturn(), !dbg !20
46 call void asm sideeffect "", ""() #3, !dbg !20
49 ; <label>:6 ; preds = %entry
50 %7 = load i32* %p.0.p.0., align 4, !dbg !20, !tbaa !23
51 %8 = ptrtoint i32* %p.0.p.0. to i64, !dbg !20
52 %9 = and i64 %8, -70368744177665, !dbg !20
53 %10 = inttoptr i64 %9 to i32*, !dbg !20
54 %_msld2 = load i32* %10, align 4, !dbg !20
55 %11 = icmp ne i32 %_msld2, 0, !dbg !20
56 %12 = xor i32 %_msld2, -1, !dbg !20
57 %13 = and i32 %7, %12, !dbg !20
58 %14 = icmp eq i32 %13, 0, !dbg !20
59 %_msprop_icmp = and i1 %11, %14, !dbg !20
60 br i1 %_msprop_icmp, label %15, label %16, !dbg !20, !prof !27
62 ; <label>:15 ; preds = %6
63 call void @__msan_warning_noreturn(), !dbg !20
64 call void asm sideeffect "", ""() #3, !dbg !20
67 ; <label>:16 ; preds = %6
68 %tobool = icmp eq i32 %7, 0, !dbg !20
69 br i1 %tobool, label %if.end, label %if.then, !dbg !20
71 if.then: ; preds = %16
72 store i64 0, i64* getelementptr inbounds ([1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !28
73 store i32 0, i32* bitcast ([8 x i64]* @__msan_retval_tls to i32*), align 8, !dbg !28
74 %puts = call i32 @puts(i8* getelementptr inbounds ([4 x i8]* @str, i64 0, i64 0)), !dbg !28
75 br label %if.end, !dbg !28
77 if.end: ; preds = %16, %if.then
81 ; Function Attrs: nobuiltin
82 declare i8* @_Znwm(i64) #1
84 ; Function Attrs: sanitize_memory uwtable
85 define i32 @main() #0 {
87 %p.i = alloca i32*, align 8
88 %0 = ptrtoint i32** %p.i to i64, !dbg !30
89 %1 = and i64 %0, -70368744177672, !dbg !30
90 %2 = inttoptr i64 %1 to i64*, !dbg !30
91 store i64 -1, i64* %2, align 8, !dbg !30
92 %p.i.0..sroa_cast = bitcast i32** %p.i to i8*, !dbg !30
93 call void @llvm.lifetime.start(i64 8, i8* %p.i.0..sroa_cast), !dbg !30
94 store i64 0, i64* getelementptr inbounds ([1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !30
95 store i64 0, i64* getelementptr inbounds ([8 x i64]* @__msan_retval_tls, i64 0, i64 0), align 8, !dbg !30
96 %call.i = call i8* @_Znwm(i64 4) #4, !dbg !30
97 %_msret = load i64* getelementptr inbounds ([8 x i64]* @__msan_retval_tls, i64 0, i64 0), align 8, !dbg !30
98 %3 = bitcast i8* %call.i to i32*, !dbg !30
99 tail call void @llvm.dbg.value(metadata !{i32* %3}, i64 0, metadata !32, metadata !{metadata !"0x102"}), !dbg !30
100 %4 = inttoptr i64 %1 to i64*, !dbg !30
101 store i64 %_msret, i64* %4, align 8, !dbg !30
102 store volatile i32* %3, i32** %p.i, align 8, !dbg !30
103 tail call void @llvm.dbg.value(metadata !{i32** %p.i}, i64 0, metadata !32, metadata !{metadata !"0x102"}), !dbg !30
104 %p.i.0.p.0.p.0..i = load volatile i32** %p.i, align 8, !dbg !33
105 %_msld = load i64* %4, align 8, !dbg !33
106 %_mscmp = icmp eq i64 %_msld, 0, !dbg !33
107 br i1 %_mscmp, label %6, label %5, !dbg !33, !prof !22
109 ; <label>:5 ; preds = %entry
110 call void @__msan_warning_noreturn(), !dbg !33
111 call void asm sideeffect "", ""() #3, !dbg !33
112 unreachable, !dbg !33
114 ; <label>:6 ; preds = %entry
115 %7 = load i32* %p.i.0.p.0.p.0..i, align 4, !dbg !33, !tbaa !23
116 %8 = ptrtoint i32* %p.i.0.p.0.p.0..i to i64, !dbg !33
117 %9 = and i64 %8, -70368744177665, !dbg !33
118 %10 = inttoptr i64 %9 to i32*, !dbg !33
119 %_msld2 = load i32* %10, align 4, !dbg !33
120 %11 = icmp ne i32 %_msld2, 0, !dbg !33
121 %12 = xor i32 %_msld2, -1, !dbg !33
122 %13 = and i32 %7, %12, !dbg !33
123 %14 = icmp eq i32 %13, 0, !dbg !33
124 %_msprop_icmp = and i1 %11, %14, !dbg !33
125 br i1 %_msprop_icmp, label %15, label %16, !dbg !33, !prof !27
127 ; <label>:15 ; preds = %6
128 call void @__msan_warning_noreturn(), !dbg !33
129 call void asm sideeffect "", ""() #3, !dbg !33
130 unreachable, !dbg !33
132 ; <label>:16 ; preds = %6
133 %tobool.i = icmp eq i32 %7, 0, !dbg !33
134 br i1 %tobool.i, label %_Z1fv.exit, label %if.then.i, !dbg !33
136 if.then.i: ; preds = %16
137 store i64 0, i64* getelementptr inbounds ([1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !34
138 store i32 0, i32* bitcast ([8 x i64]* @__msan_retval_tls to i32*), align 8, !dbg !34
139 %puts.i = call i32 @puts(i8* getelementptr inbounds ([4 x i8]* @str, i64 0, i64 0)), !dbg !34
140 br label %_Z1fv.exit, !dbg !34
142 _Z1fv.exit: ; preds = %16, %if.then.i
143 call void @llvm.lifetime.end(i64 8, i8* %p.i.0..sroa_cast), !dbg !35
144 store i32 0, i32* bitcast ([8 x i64]* @__msan_retval_tls to i32*), align 8, !dbg !36
148 declare void @__msan_init()
150 ; Function Attrs: nounwind readnone
151 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2
153 ; Function Attrs: nounwind
154 declare i32 @puts(i8* nocapture readonly) #3
156 ; Function Attrs: nounwind
157 declare void @llvm.lifetime.start(i64, i8* nocapture) #3
159 ; Function Attrs: nounwind
160 declare void @llvm.lifetime.end(i64, i8* nocapture) #3
162 declare void @__msan_warning_noreturn()
164 declare void @__msan_maybe_warning_1(i8, i32)
166 declare void @__msan_maybe_store_origin_1(i8, i8*, i32)
168 declare void @__msan_maybe_warning_2(i16, i32)
170 declare void @__msan_maybe_store_origin_2(i16, i8*, i32)
172 declare void @__msan_maybe_warning_4(i32, i32)
174 declare void @__msan_maybe_store_origin_4(i32, i8*, i32)
176 declare void @__msan_maybe_warning_8(i64, i32)
178 declare void @__msan_maybe_store_origin_8(i64, i8*, i32)
180 declare void @__msan_set_alloca_origin4(i8*, i64, i8*, i64)
182 declare void @__msan_poison_stack(i8*, i64)
184 declare i32 @__msan_chain_origin(i32)
186 declare i8* @__msan_memmove(i8*, i8*, i64)
188 declare i8* @__msan_memcpy(i8*, i8*, i64)
190 declare i8* @__msan_memset(i8*, i32, i64)
192 ; Function Attrs: nounwind
193 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) #3
195 attributes #0 = { sanitize_memory uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
196 attributes #1 = { nobuiltin "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
197 attributes #2 = { nounwind readnone }
198 attributes #3 = { nounwind }
199 attributes #4 = { builtin }
202 !llvm.module.flags = !{!16, !17}
205 !0 = metadata !{metadata !"0x11\004\00clang version 3.5.0 (trunk 207243) (llvm/trunk 207259)\001\00\000\00\001", metadata !1, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2} ; [ DW_TAG_compile_unit ] [/usr/local/google/home/echristo/tmp/foo.cpp] [DW_LANG_C_plus_plus]
206 !1 = metadata !{metadata !"foo.cpp", metadata !"/usr/local/google/home/echristo/tmp"}
208 !3 = metadata !{metadata !4, metadata !13}
209 !4 = metadata !{metadata !"0x2e\00f\00f\00_Z1fv\003\000\001\000\006\00256\001\003", metadata !1, metadata !5, metadata !6, null, void ()* @_Z1fv, null, null, metadata !8} ; [ DW_TAG_subprogram ] [line 3] [def] [f]
210 !5 = metadata !{metadata !"0x29", metadata !1} ; [ DW_TAG_file_type ] [/usr/local/google/home/echristo/tmp/foo.cpp]
211 !6 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !7, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
212 !7 = metadata !{null}
213 !8 = metadata !{metadata !9}
214 !9 = metadata !{metadata !"0x100\00p\004\000", metadata !4, metadata !5, metadata !10} ; [ DW_TAG_auto_variable ] [p] [line 4]
215 !10 = metadata !{metadata !"0x35\00\000\000\000\000\000", null, null, metadata !11} ; [ DW_TAG_volatile_type ] [line 0, size 0, align 0, offset 0] [from ]
216 !11 = metadata !{metadata !"0xf\00\000\0064\0064\000\000", null, null, metadata !12} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from int]
217 !12 = metadata !{metadata !"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]
218 !13 = metadata !{metadata !"0x2e\00main\00main\00\009\000\001\000\006\00256\001\009", metadata !1, metadata !5, metadata !14, null, i32 ()* @main, null, null, metadata !2} ; [ DW_TAG_subprogram ] [line 9] [def] [main]
219 !14 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !15, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
220 !15 = metadata !{metadata !12}
221 !16 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
222 !17 = metadata !{i32 1, metadata !"Debug Info Version", i32 2}
223 !18 = metadata !{metadata !"clang version 3.5.0 (trunk 207243) (llvm/trunk 207259)"}
224 !19 = metadata !{i32 4, i32 0, metadata !4, null}
225 !20 = metadata !{i32 5, i32 0, metadata !21, null}
226 !21 = metadata !{metadata !"0xb\005\000\000", metadata !1, metadata !4} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/echristo/tmp/foo.cpp]
227 !22 = metadata !{metadata !"branch_weights", i32 1000, i32 1}
228 !23 = metadata !{metadata !24, metadata !24, i64 0}
229 !24 = metadata !{metadata !"int", metadata !25, i64 0}
230 !25 = metadata !{metadata !"omnipotent char", metadata !26, i64 0}
231 !26 = metadata !{metadata !"Simple C/C++ TBAA"}
232 !27 = metadata !{metadata !"branch_weights", i32 1, i32 1000}
233 !28 = metadata !{i32 6, i32 0, metadata !21, null}
234 !29 = metadata !{i32 7, i32 0, metadata !4, null}
235 !30 = metadata !{i32 4, i32 0, metadata !4, metadata !31}
236 !31 = metadata !{i32 10, i32 0, metadata !13, null}
237 !32 = metadata !{metadata !"0x100\00p\004\000", metadata !4, metadata !5, metadata !10, metadata !31} ; [ DW_TAG_auto_variable ] [p] [line 4]
238 !33 = metadata !{i32 5, i32 0, metadata !21, metadata !31}
239 !34 = metadata !{i32 6, i32 0, metadata !21, metadata !31}
240 !35 = metadata !{i32 7, i32 0, metadata !4, metadata !31}
241 !36 = metadata !{i32 11, i32 0, metadata !13, null}