blob: 711cca15bede7ae4b779c09a8594d4b34dd2f152 [file] [log] [blame]
Eric Christopherece0e902014-04-25 22:23:54 +00001; RUN: llc -filetype=obj -mtriple=x86_64-pc-linux-gnu %s -o %t
2; RUN: llvm-readobj --relocations %t | FileCheck %s
3
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
8
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
20
21; Function Attrs: sanitize_memory uwtable
22define void @_Z1fv() #0 {
23entry:
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
David Blaikief72d05b2015-03-13 18:20:45 +000029 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
Eric Christopherece0e902014-04-25 22:23:54 +000031 %call = call i8* @_Znwm(i64 4) #4, !dbg !19
David Blaikief72d05b2015-03-13 18:20:45 +000032 %_msret = load i64, i64* getelementptr inbounds ([8 x i64], [8 x i64]* @__msan_retval_tls, i64 0, i64 0), align 8, !dbg !19
Eric Christopherece0e902014-04-25 22:23:54 +000033 %3 = bitcast i8* %call to i32*, !dbg !19
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000034 tail call void @llvm.dbg.value(metadata i32* %3, i64 0, metadata !9, metadata !DIExpression()), !dbg !19
Eric Christopherece0e902014-04-25 22:23:54 +000035 %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
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000038 tail call void @llvm.dbg.value(metadata i32** %p, i64 0, metadata !9, metadata !DIExpression()), !dbg !19
David Blaikiea79ac142015-02-27 21:17:42 +000039 %p.0.p.0. = load volatile i32*, i32** %p, align 8, !dbg !20
40 %_msld = load i64, i64* %4, align 8, !dbg !20
Eric Christopherece0e902014-04-25 22:23:54 +000041 %_mscmp = icmp eq i64 %_msld, 0, !dbg !20
42 br i1 %_mscmp, label %6, label %5, !dbg !20, !prof !22
43
44; <label>:5 ; preds = %entry
45 call void @__msan_warning_noreturn(), !dbg !20
46 call void asm sideeffect "", ""() #3, !dbg !20
47 unreachable, !dbg !20
48
49; <label>:6 ; preds = %entry
David Blaikiea79ac142015-02-27 21:17:42 +000050 %7 = load i32, i32* %p.0.p.0., align 4, !dbg !20, !tbaa !23
Eric Christopherece0e902014-04-25 22:23:54 +000051 %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
David Blaikiea79ac142015-02-27 21:17:42 +000054 %_msld2 = load i32, i32* %10, align 4, !dbg !20
Eric Christopherece0e902014-04-25 22:23:54 +000055 %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
61
62; <label>:15 ; preds = %6
63 call void @__msan_warning_noreturn(), !dbg !20
64 call void asm sideeffect "", ""() #3, !dbg !20
65 unreachable, !dbg !20
66
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
70
71if.then: ; preds = %16
David Blaikief72d05b2015-03-13 18:20:45 +000072 store i64 0, i64* getelementptr inbounds ([1000 x i64], [1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !28
Eric Christopherece0e902014-04-25 22:23:54 +000073 store i32 0, i32* bitcast ([8 x i64]* @__msan_retval_tls to i32*), align 8, !dbg !28
David Blaikief72d05b2015-03-13 18:20:45 +000074 %puts = call i32 @puts(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @str, i64 0, i64 0)), !dbg !28
Eric Christopherece0e902014-04-25 22:23:54 +000075 br label %if.end, !dbg !28
76
77if.end: ; preds = %16, %if.then
78 ret void, !dbg !29
79}
80
81; Function Attrs: nobuiltin
82declare i8* @_Znwm(i64) #1
83
84; Function Attrs: sanitize_memory uwtable
85define i32 @main() #0 {
86entry:
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
David Blaikief72d05b2015-03-13 18:20:45 +000094 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
Eric Christopherece0e902014-04-25 22:23:54 +000096 %call.i = call i8* @_Znwm(i64 4) #4, !dbg !30
David Blaikief72d05b2015-03-13 18:20:45 +000097 %_msret = load i64, i64* getelementptr inbounds ([8 x i64], [8 x i64]* @__msan_retval_tls, i64 0, i64 0), align 8, !dbg !30
Eric Christopherece0e902014-04-25 22:23:54 +000098 %3 = bitcast i8* %call.i to i32*, !dbg !30
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000099 tail call void @llvm.dbg.value(metadata i32* %3, i64 0, metadata !32, metadata !DIExpression()), !dbg !30
Eric Christopherece0e902014-04-25 22:23:54 +0000100 %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
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000103 tail call void @llvm.dbg.value(metadata i32** %p.i, i64 0, metadata !32, metadata !DIExpression()), !dbg !30
David Blaikiea79ac142015-02-27 21:17:42 +0000104 %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
Eric Christopherece0e902014-04-25 22:23:54 +0000106 %_mscmp = icmp eq i64 %_msld, 0, !dbg !33
107 br i1 %_mscmp, label %6, label %5, !dbg !33, !prof !22
108
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
113
114; <label>:6 ; preds = %entry
David Blaikiea79ac142015-02-27 21:17:42 +0000115 %7 = load i32, i32* %p.i.0.p.0.p.0..i, align 4, !dbg !33, !tbaa !23
Eric Christopherece0e902014-04-25 22:23:54 +0000116 %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
David Blaikiea79ac142015-02-27 21:17:42 +0000119 %_msld2 = load i32, i32* %10, align 4, !dbg !33
Eric Christopherece0e902014-04-25 22:23:54 +0000120 %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
126
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
131
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
135
136if.then.i: ; preds = %16
David Blaikief72d05b2015-03-13 18:20:45 +0000137 store i64 0, i64* getelementptr inbounds ([1000 x i64], [1000 x i64]* @__msan_param_tls, i64 0, i64 0), align 8, !dbg !34
Eric Christopherece0e902014-04-25 22:23:54 +0000138 store i32 0, i32* bitcast ([8 x i64]* @__msan_retval_tls to i32*), align 8, !dbg !34
David Blaikief72d05b2015-03-13 18:20:45 +0000139 %puts.i = call i32 @puts(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @str, i64 0, i64 0)), !dbg !34
Eric Christopherece0e902014-04-25 22:23:54 +0000140 br label %_Z1fv.exit, !dbg !34
141
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
145 ret i32 0, !dbg !36
146}
147
148declare void @__msan_init()
149
150; Function Attrs: nounwind readnone
Adrian Prantl87b7eb92014-10-01 18:55:02 +0000151declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2
Eric Christopherece0e902014-04-25 22:23:54 +0000152
153; Function Attrs: nounwind
154declare i32 @puts(i8* nocapture readonly) #3
155
156; Function Attrs: nounwind
157declare void @llvm.lifetime.start(i64, i8* nocapture) #3
158
159; Function Attrs: nounwind
160declare void @llvm.lifetime.end(i64, i8* nocapture) #3
161
162declare void @__msan_warning_noreturn()
163
164declare void @__msan_maybe_warning_1(i8, i32)
165
166declare void @__msan_maybe_store_origin_1(i8, i8*, i32)
167
168declare void @__msan_maybe_warning_2(i16, i32)
169
170declare void @__msan_maybe_store_origin_2(i16, i8*, i32)
171
172declare void @__msan_maybe_warning_4(i32, i32)
173
174declare void @__msan_maybe_store_origin_4(i32, i8*, i32)
175
176declare void @__msan_maybe_warning_8(i64, i32)
177
178declare void @__msan_maybe_store_origin_8(i64, i8*, i32)
179
180declare void @__msan_set_alloca_origin4(i8*, i64, i8*, i64)
181
182declare void @__msan_poison_stack(i8*, i64)
183
184declare i32 @__msan_chain_origin(i32)
185
186declare i8* @__msan_memmove(i8*, i8*, i64)
187
188declare i8* @__msan_memcpy(i8*, i8*, i64)
189
190declare i8* @__msan_memset(i8*, i32, i64)
191
192; Function Attrs: nounwind
193declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) #3
194
195attributes #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" }
196attributes #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" }
197attributes #2 = { nounwind readnone }
198attributes #3 = { nounwind }
199attributes #4 = { builtin }
200
201!llvm.dbg.cu = !{!0}
202!llvm.module.flags = !{!16, !17}
203!llvm.ident = !{!18}
204
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000205!0 = !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5.0 (trunk 207243) (llvm/trunk 207259)", isOptimized: true, emissionKind: 1, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2)
206!1 = !DIFile(filename: "foo.cpp", directory: "/usr/local/google/home/echristo/tmp")
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000207!2 = !{}
208!3 = !{!4, !13}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000209!4 = !DISubprogram(name: "f", linkageName: "_Z1fv", line: 3, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 3, file: !1, scope: !5, type: !6, function: void ()* @_Z1fv, variables: !8)
210!5 = !DIFile(filename: "foo.cpp", directory: "/usr/local/google/home/echristo/tmp")
211!6 = !DISubroutineType(types: !7)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000212!7 = !{null}
213!8 = !{!9}
Duncan P. N. Exon Smithed013cd2015-07-31 18:58:39 +0000214!9 = !DILocalVariable(name: "p", line: 4, scope: !4, file: !5, type: !10)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000215!10 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !11)
216!11 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !12)
217!12 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
218!13 = !DISubprogram(name: "main", line: 9, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 9, file: !1, scope: !5, type: !14, function: i32 ()* @main, variables: !2)
219!14 = !DISubroutineType(types: !15)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000220!15 = !{!12}
221!16 = !{i32 2, !"Dwarf Version", i32 4}
Duncan P. N. Exon Smithe2741802015-03-03 17:24:31 +0000222!17 = !{i32 1, !"Debug Info Version", i32 3}
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000223!18 = !{!"clang version 3.5.0 (trunk 207243) (llvm/trunk 207259)"}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000224!19 = !DILocation(line: 4, scope: !4)
225!20 = !DILocation(line: 5, scope: !21)
226!21 = distinct !DILexicalBlock(line: 5, column: 0, file: !1, scope: !4)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000227!22 = !{!"branch_weights", i32 1000, i32 1}
228!23 = !{!24, !24, i64 0}
229!24 = !{!"int", !25, i64 0}
230!25 = !{!"omnipotent char", !26, i64 0}
231!26 = !{!"Simple C/C++ TBAA"}
232!27 = !{!"branch_weights", i32 1, i32 1000}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000233!28 = !DILocation(line: 6, scope: !21)
234!29 = !DILocation(line: 7, scope: !4)
235!30 = !DILocation(line: 4, scope: !4, inlinedAt: !31)
236!31 = !DILocation(line: 10, scope: !13)
Duncan P. N. Exon Smithed013cd2015-07-31 18:58:39 +0000237!32 = !DILocalVariable(name: "p", line: 4, scope: !4, file: !5, type: !10)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000238!33 = !DILocation(line: 5, scope: !21, inlinedAt: !31)
239!34 = !DILocation(line: 6, scope: !21, inlinedAt: !31)
240!35 = !DILocation(line: 7, scope: !4, inlinedAt: !31)
241!36 = !DILocation(line: 11, scope: !13)