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 ()*, i8* }] [{ i32, void ()*, i8* } { i32 0, void ()* @__msan_init, i8* null }]
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 !dbg !4 {
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], [1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !19
30 store i64 0, i64* getelementptr inbounds ([8 x i64], [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, i64* getelementptr inbounds ([8 x i64], [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, metadata !9, metadata !DIExpression()), !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, metadata !9, metadata !DIExpression()), !dbg !19
39 %p.0.p.0. = load volatile i32*, i32** %p, align 8, !dbg !20
40 %_msld = load i64, 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, 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, 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], [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], [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 !dbg !13 {
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], [1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !30
95 store i64 0, i64* getelementptr inbounds ([8 x i64], [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, i64* getelementptr inbounds ([8 x i64], [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, metadata !32, metadata !DIExpression()), !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, metadata !32, metadata !DIExpression()), !dbg !30
104 %p.i.0.p.0.p.0..i = load volatile i32*, i32** %p.i, align 8, !dbg !33
105 %_msld = load i64, 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, 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, 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], [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], [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, 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, 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 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5.0 (trunk 207243) (llvm/trunk 207259)", isOptimized: true, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !2, globals: !2, imports: !2)
206 !1 = !DIFile(filename: "foo.cpp", directory: "/usr/local/google/home/echristo/tmp")
208 !4 = distinct !DISubprogram(name: "f", linkageName: "_Z1fv", line: 3, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 3, file: !1, scope: !5, type: !6, retainedNodes: !8)
209 !5 = !DIFile(filename: "foo.cpp", directory: "/usr/local/google/home/echristo/tmp")
210 !6 = !DISubroutineType(types: !7)
213 !9 = !DILocalVariable(name: "p", line: 4, scope: !4, file: !5, type: !10)
214 !10 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !11)
215 !11 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !12)
216 !12 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
217 !13 = distinct !DISubprogram(name: "main", line: 9, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 9, file: !1, scope: !5, type: !14, retainedNodes: !2)
218 !14 = !DISubroutineType(types: !15)
220 !16 = !{i32 2, !"Dwarf Version", i32 4}
221 !17 = !{i32 1, !"Debug Info Version", i32 3}
222 !18 = !{!"clang version 3.5.0 (trunk 207243) (llvm/trunk 207259)"}
223 !19 = !DILocation(line: 4, scope: !4)
224 !20 = !DILocation(line: 5, scope: !21)
225 !21 = distinct !DILexicalBlock(line: 5, column: 0, file: !1, scope: !4)
226 !22 = !{!"branch_weights", i32 1000, i32 1}
227 !23 = !{!24, !24, i64 0}
228 !24 = !{!"int", !25, i64 0}
229 !25 = !{!"omnipotent char", !26, i64 0}
230 !26 = !{!"Simple C/C++ TBAA"}
231 !27 = !{!"branch_weights", i32 1, i32 1000}
232 !28 = !DILocation(line: 6, scope: !21)
233 !29 = !DILocation(line: 7, scope: !4)
234 !30 = !DILocation(line: 4, scope: !4, inlinedAt: !31)
235 !31 = !DILocation(line: 10, scope: !13)
236 !32 = !DILocalVariable(name: "p", line: 4, scope: !4, file: !5, type: !10)
237 !33 = !DILocation(line: 5, scope: !21, inlinedAt: !31)
238 !34 = !DILocation(line: 6, scope: !21, inlinedAt: !31)
239 !35 = !DILocation(line: 7, scope: !4, inlinedAt: !31)
240 !36 = !DILocation(line: 11, scope: !13)