Google Git
Sign in
swiftshader / SwiftShader / 4175b2a684c1bb9f6e148825dccc2641f0390b02 / . / tests_lit / llvm2ice_tests / fpconst.pnacl.ll
blob: 80c6f9fbadc767a1fd7498b9a62d99641d203928 [file] [log] [blame]
Jim Stichnothf7c9a142014-04-29 10:52:43 -0700[diff] [blame]1; This is a smoke test for floating-point constant pooling. It tests
2; pooling of various float and double constants (including positive
3; and negative NaN) within functions and across functions. Note that
4; in LLVM bitcode, hex constants are used for an FP constant whenever
5; the constant "cannot be represented as a decimal floating point
6; number in a reasonable number of digits". See
7; http://llvm.org/docs/LangRef.html#simple-constants .
8
Jan Voungb5447a02015-02-24 16:57:17 -0800[diff] [blame]9; RUN: %p2i --assemble --disassemble --filetype=obj --dis-flags=-s \
10; RUN: -i %s --args -O2 --verbose none | FileCheck %s
11; RUN: %p2i --assemble --disassemble --filetype=obj --dis-flags=-s \
12; RUN: -i %s --args -Om1 --verbose none | FileCheck %s
13
14; RUN: %if --need allow_dump --command %p2i --assemble --disassemble \
15; RUN: --dis-flags=-s -i %s --args -O2 --verbose none \
16; RUN: | %if --need allow_dump --command FileCheck %s
17; RUN: %if --need allow_dump --command %p2i --assemble --disassemble \
18; RUN: --dis-flags=-s -i %s --args -Om1 --verbose none \
19; RUN: | %if --need allow_dump --command FileCheck %s
Jim Stichnoth5bc2b1d2014-05-22 13:38:48 -0700[diff] [blame]20
Jim Stichnothf7c9a142014-04-29 10:52:43 -0700[diff] [blame]21@__init_array_start = internal constant [0 x i8] zeroinitializer, align 4
22@__fini_array_start = internal constant [0 x i8] zeroinitializer, align 4
23@__tls_template_start = internal constant [0 x i8] zeroinitializer, align 8
24@__tls_template_alignment = internal constant [4 x i8] c"\01\00\00\00", align 4
25
26define internal float @FpLookup1(i32 %Arg) {
27entry:
28 switch i32 %Arg, label %return [
29 i32 0, label %sw.bb
30 i32 1, label %sw.bb1
31 i32 2, label %sw.bb4
32 i32 3, label %sw.bb7
33 i32 -1, label %sw.bb10
34 i32 -2, label %sw.bb14
35 i32 -3, label %sw.bb19
36 i32 10, label %sw.bb24
37 i32 -10, label %sw.bb27
38 i32 100, label %sw.bb30
39 i32 101, label %sw.bb33
40 i32 102, label %sw.bb36
41 i32 103, label %sw.bb39
42 i32 -101, label %sw.bb42
43 i32 -102, label %sw.bb47
44 i32 -103, label %sw.bb52
45 i32 110, label %sw.bb57
46 i32 -110, label %sw.bb60
47 ]
48
49sw.bb: ; preds = %entry
50 %call = call float @Dummy(i32 0)
51 %add = fadd float %call, 1.000000e+00
52 br label %return
53
54sw.bb1: ; preds = %entry
55 %call2 = call float @Dummy(i32 1)
56 %add3 = fadd float %call2, 2.000000e+00
57 br label %return
58
59sw.bb4: ; preds = %entry
60 %call5 = call float @Dummy(i32 2)
61 %add6 = fadd float %call5, 4.000000e+00
62 br label %return
63
64sw.bb7: ; preds = %entry
65 %call8 = call float @Dummy(i32 3)
66 %add9 = fadd float %call8, 8.000000e+00
67 br label %return
68
69sw.bb10: ; preds = %entry
70 %call11 = call float @Dummy(i32 -1)
71 %conv13 = fadd float %call11, 5.000000e-01
72 br label %return
73
74sw.bb14: ; preds = %entry
75 %call15 = call float @Dummy(i32 -2)
76 %conv16 = fpext float %call15 to double
77 %add17 = fadd double %conv16, 0x3FD5555555555555
78 %conv18 = fptrunc double %add17 to float
79 br label %return
80
81sw.bb19: ; preds = %entry
82 %call20 = call float @Dummy(i32 -3)
83 %conv23 = fadd float %call20, 2.500000e-01
84 br label %return
85
86sw.bb24: ; preds = %entry
87 %call25 = call float @Dummy(i32 10)
88 %add26 = fadd float %call25, 0x7FF8000000000000
89 br label %return
90
91sw.bb27: ; preds = %entry
92 %call28 = call float @Dummy(i32 -10)
93 %add29 = fadd float %call28, 0xFFF8000000000000
94 br label %return
95
96sw.bb30: ; preds = %entry
97 %call31 = call float @Dummy(i32 100)
98 %add32 = fadd float %call31, 1.000000e+00
99 br label %return
100
101sw.bb33: ; preds = %entry
102 %call34 = call float @Dummy(i32 101)
103 %add35 = fadd float %call34, 2.000000e+00
104 br label %return
105
106sw.bb36: ; preds = %entry
107 %call37 = call float @Dummy(i32 102)
108 %add38 = fadd float %call37, 4.000000e+00
109 br label %return
110
111sw.bb39: ; preds = %entry
112 %call40 = call float @Dummy(i32 103)
113 %add41 = fadd float %call40, 8.000000e+00
114 br label %return
115
116sw.bb42: ; preds = %entry
117 %call43 = call float @Dummy(i32 -101)
118 %conv46 = fadd float %call43, 5.000000e-01
119 br label %return
120
121sw.bb47: ; preds = %entry
122 %call48 = call float @Dummy(i32 -102)
123 %conv49 = fpext float %call48 to double
124 %add50 = fadd double %conv49, 0x3FD5555555555555
125 %conv51 = fptrunc double %add50 to float
126 br label %return
127
128sw.bb52: ; preds = %entry
129 %call53 = call float @Dummy(i32 -103)
130 %conv56 = fadd float %call53, 2.500000e-01
131 br label %return
132
133sw.bb57: ; preds = %entry
134 %call58 = call float @Dummy(i32 110)
135 %add59 = fadd float %call58, 0x7FF8000000000000
136 br label %return
137
138sw.bb60: ; preds = %entry
139 %call61 = call float @Dummy(i32 -110)
140 %add62 = fadd float %call61, 0xFFF8000000000000
141 br label %return
142
143return: ; preds = %entry, %sw.bb60, %sw.bb57, %sw.bb52, %sw.bb47, %sw.bb42, %sw.bb39, %sw.bb36, %sw.bb33, %sw.bb30, %sw.bb27, %sw.bb24, %sw.bb19, %sw.bb14, %sw.bb10, %sw.bb7, %sw.bb4, %sw.bb1, %sw.bb
144 %retval.0 = phi float [ %add62, %sw.bb60 ], [ %add59, %sw.bb57 ], [ %conv56, %sw.bb52 ], [ %conv51, %sw.bb47 ], [ %conv46, %sw.bb42 ], [ %add41, %sw.bb39 ], [ %add38, %sw.bb36 ], [ %add35, %sw.bb33 ], [ %add32, %sw.bb30 ], [ %add29, %sw.bb27 ], [ %add26, %sw.bb24 ], [ %conv23, %sw.bb19 ], [ %conv18, %sw.bb14 ], [ %conv13, %sw.bb10 ], [ %add9, %sw.bb7 ], [ %add6, %sw.bb4 ], [ %add3, %sw.bb1 ], [ %add, %sw.bb ], [ 0.000000e+00, %entry ]
145 ret float %retval.0
146}
147
148declare float @Dummy(i32)
149
150define internal float @FpLookup2(i32 %Arg) {
151entry:
152 switch i32 %Arg, label %return [
153 i32 0, label %sw.bb
154 i32 1, label %sw.bb1
155 i32 2, label %sw.bb4
156 i32 3, label %sw.bb7
157 i32 -1, label %sw.bb10
158 i32 -2, label %sw.bb14
159 i32 -3, label %sw.bb19
160 i32 10, label %sw.bb24
161 i32 -10, label %sw.bb27
162 i32 100, label %sw.bb30
163 i32 101, label %sw.bb33
164 i32 102, label %sw.bb36
165 i32 103, label %sw.bb39
166 i32 -101, label %sw.bb42
167 i32 -102, label %sw.bb47
168 i32 -103, label %sw.bb52
169 i32 110, label %sw.bb57
170 i32 -110, label %sw.bb60
171 ]
172
173sw.bb: ; preds = %entry
174 %call = call float @Dummy(i32 0)
175 %add = fadd float %call, 1.000000e+00
176 br label %return
177
178sw.bb1: ; preds = %entry
179 %call2 = call float @Dummy(i32 1)
180 %add3 = fadd float %call2, 2.000000e+00
181 br label %return
182
183sw.bb4: ; preds = %entry
184 %call5 = call float @Dummy(i32 2)
185 %add6 = fadd float %call5, 4.000000e+00
186 br label %return
187
188sw.bb7: ; preds = %entry
189 %call8 = call float @Dummy(i32 3)
190 %add9 = fadd float %call8, 8.000000e+00
191 br label %return
192
193sw.bb10: ; preds = %entry
194 %call11 = call float @Dummy(i32 -1)
195 %conv13 = fadd float %call11, 5.000000e-01
196 br label %return
197
198sw.bb14: ; preds = %entry
199 %call15 = call float @Dummy(i32 -2)
200 %conv16 = fpext float %call15 to double
201 %add17 = fadd double %conv16, 0x3FD5555555555555
202 %conv18 = fptrunc double %add17 to float
203 br label %return
204
205sw.bb19: ; preds = %entry
206 %call20 = call float @Dummy(i32 -3)
207 %conv23 = fadd float %call20, 2.500000e-01
208 br label %return
209
210sw.bb24: ; preds = %entry
211 %call25 = call float @Dummy(i32 10)
212 %add26 = fadd float %call25, 0x7FF8000000000000
213 br label %return
214
215sw.bb27: ; preds = %entry
216 %call28 = call float @Dummy(i32 -10)
217 %add29 = fadd float %call28, 0xFFF8000000000000
218 br label %return
219
220sw.bb30: ; preds = %entry
221 %call31 = call float @Dummy(i32 100)
222 %add32 = fadd float %call31, 1.000000e+00
223 br label %return
224
225sw.bb33: ; preds = %entry
226 %call34 = call float @Dummy(i32 101)
227 %add35 = fadd float %call34, 2.000000e+00
228 br label %return
229
230sw.bb36: ; preds = %entry
231 %call37 = call float @Dummy(i32 102)
232 %add38 = fadd float %call37, 4.000000e+00
233 br label %return
234
235sw.bb39: ; preds = %entry
236 %call40 = call float @Dummy(i32 103)
237 %add41 = fadd float %call40, 8.000000e+00
238 br label %return
239
240sw.bb42: ; preds = %entry
241 %call43 = call float @Dummy(i32 -101)
242 %conv46 = fadd float %call43, 5.000000e-01
243 br label %return
244
245sw.bb47: ; preds = %entry
246 %call48 = call float @Dummy(i32 -102)
247 %conv49 = fpext float %call48 to double
248 %add50 = fadd double %conv49, 0x3FD5555555555555
249 %conv51 = fptrunc double %add50 to float
250 br label %return
251
252sw.bb52: ; preds = %entry
253 %call53 = call float @Dummy(i32 -103)
254 %conv56 = fadd float %call53, 2.500000e-01
255 br label %return
256
257sw.bb57: ; preds = %entry
258 %call58 = call float @Dummy(i32 110)
259 %add59 = fadd float %call58, 0x7FF8000000000000
260 br label %return
261
262sw.bb60: ; preds = %entry
263 %call61 = call float @Dummy(i32 -110)
264 %add62 = fadd float %call61, 0xFFF8000000000000
265 br label %return
266
267return: ; preds = %entry, %sw.bb60, %sw.bb57, %sw.bb52, %sw.bb47, %sw.bb42, %sw.bb39, %sw.bb36, %sw.bb33, %sw.bb30, %sw.bb27, %sw.bb24, %sw.bb19, %sw.bb14, %sw.bb10, %sw.bb7, %sw.bb4, %sw.bb1, %sw.bb
268 %retval.0 = phi float [ %add62, %sw.bb60 ], [ %add59, %sw.bb57 ], [ %conv56, %sw.bb52 ], [ %conv51, %sw.bb47 ], [ %conv46, %sw.bb42 ], [ %add41, %sw.bb39 ], [ %add38, %sw.bb36 ], [ %add35, %sw.bb33 ], [ %add32, %sw.bb30 ], [ %add29, %sw.bb27 ], [ %add26, %sw.bb24 ], [ %conv23, %sw.bb19 ], [ %conv18, %sw.bb14 ], [ %conv13, %sw.bb10 ], [ %add9, %sw.bb7 ], [ %add6, %sw.bb4 ], [ %add3, %sw.bb1 ], [ %add, %sw.bb ], [ 0.000000e+00, %entry ]
269 ret float %retval.0
270}
271
272define internal double @FpLookup3(i32 %Arg) {
273entry:
274 switch i32 %Arg, label %return [
275 i32 0, label %sw.bb
276 i32 1, label %sw.bb1
277 i32 2, label %sw.bb5
278 i32 3, label %sw.bb9
279 i32 -1, label %sw.bb13
280 i32 -2, label %sw.bb17
281 i32 -3, label %sw.bb21
282 i32 10, label %sw.bb25
283 i32 -10, label %sw.bb29
284 i32 100, label %sw.bb33
285 i32 101, label %sw.bb37
286 i32 102, label %sw.bb41
287 i32 103, label %sw.bb45
288 i32 -101, label %sw.bb49
289 i32 -102, label %sw.bb53
290 i32 -103, label %sw.bb57
291 i32 110, label %sw.bb61
292 i32 -110, label %sw.bb65
293 ]
294
295sw.bb: ; preds = %entry
296 %call = call float @Dummy(i32 0)
297 %add = fadd float %call, 1.000000e+00
298 %conv = fpext float %add to double
299 br label %return
300
301sw.bb1: ; preds = %entry
302 %call2 = call float @Dummy(i32 1)
303 %add3 = fadd float %call2, 2.000000e+00
304 %conv4 = fpext float %add3 to double
305 br label %return
306
307sw.bb5: ; preds = %entry
308 %call6 = call float @Dummy(i32 2)
309 %add7 = fadd float %call6, 4.000000e+00
310 %conv8 = fpext float %add7 to double
311 br label %return
312
313sw.bb9: ; preds = %entry
314 %call10 = call float @Dummy(i32 3)
315 %add11 = fadd float %call10, 8.000000e+00
316 %conv12 = fpext float %add11 to double
317 br label %return
318
319sw.bb13: ; preds = %entry
320 %call14 = call float @Dummy(i32 -1)
321 %conv15 = fpext float %call14 to double
322 %add16 = fadd double %conv15, 5.000000e-01
323 br label %return
324
325sw.bb17: ; preds = %entry
326 %call18 = call float @Dummy(i32 -2)
327 %conv19 = fpext float %call18 to double
328 %add20 = fadd double %conv19, 0x3FD5555555555555
329 br label %return
330
331sw.bb21: ; preds = %entry
332 %call22 = call float @Dummy(i32 -3)
333 %conv23 = fpext float %call22 to double
334 %add24 = fadd double %conv23, 2.500000e-01
335 br label %return
336
337sw.bb25: ; preds = %entry
338 %call26 = call float @Dummy(i32 10)
339 %conv27 = fpext float %call26 to double
340 %add28 = fadd double %conv27, 0x7FF8000000000000
341 br label %return
342
343sw.bb29: ; preds = %entry
344 %call30 = call float @Dummy(i32 -10)
345 %conv31 = fpext float %call30 to double
346 %add32 = fadd double %conv31, 0xFFF8000000000000
347 br label %return
348
349sw.bb33: ; preds = %entry
350 %call34 = call float @Dummy(i32 100)
351 %add35 = fadd float %call34, 1.000000e+00
352 %conv36 = fpext float %add35 to double
353 br label %return
354
355sw.bb37: ; preds = %entry
356 %call38 = call float @Dummy(i32 101)
357 %add39 = fadd float %call38, 2.000000e+00
358 %conv40 = fpext float %add39 to double
359 br label %return
360
361sw.bb41: ; preds = %entry
362 %call42 = call float @Dummy(i32 102)
363 %add43 = fadd float %call42, 4.000000e+00
364 %conv44 = fpext float %add43 to double
365 br label %return
366
367sw.bb45: ; preds = %entry
368 %call46 = call float @Dummy(i32 103)
369 %add47 = fadd float %call46, 8.000000e+00
370 %conv48 = fpext float %add47 to double
371 br label %return
372
373sw.bb49: ; preds = %entry
374 %call50 = call float @Dummy(i32 -101)
375 %conv51 = fpext float %call50 to double
376 %add52 = fadd double %conv51, 5.000000e-01
377 br label %return
378
379sw.bb53: ; preds = %entry
380 %call54 = call float @Dummy(i32 -102)
381 %conv55 = fpext float %call54 to double
382 %add56 = fadd double %conv55, 0x3FD5555555555555
383 br label %return
384
385sw.bb57: ; preds = %entry
386 %call58 = call float @Dummy(i32 -103)
387 %conv59 = fpext float %call58 to double
388 %add60 = fadd double %conv59, 2.500000e-01
389 br label %return
390
391sw.bb61: ; preds = %entry
392 %call62 = call float @Dummy(i32 110)
393 %conv63 = fpext float %call62 to double
394 %add64 = fadd double %conv63, 0x7FF8000000000000
395 br label %return
396
397sw.bb65: ; preds = %entry
398 %call66 = call float @Dummy(i32 -110)
399 %conv67 = fpext float %call66 to double
400 %add68 = fadd double %conv67, 0xFFF8000000000000
401 br label %return
402
403return: ; preds = %entry, %sw.bb65, %sw.bb61, %sw.bb57, %sw.bb53, %sw.bb49, %sw.bb45, %sw.bb41, %sw.bb37, %sw.bb33, %sw.bb29, %sw.bb25, %sw.bb21, %sw.bb17, %sw.bb13, %sw.bb9, %sw.bb5, %sw.bb1, %sw.bb
404 %retval.0 = phi double [ %add68, %sw.bb65 ], [ %add64, %sw.bb61 ], [ %add60, %sw.bb57 ], [ %add56, %sw.bb53 ], [ %add52, %sw.bb49 ], [ %conv48, %sw.bb45 ], [ %conv44, %sw.bb41 ], [ %conv40, %sw.bb37 ], [ %conv36, %sw.bb33 ], [ %add32, %sw.bb29 ], [ %add28, %sw.bb25 ], [ %add24, %sw.bb21 ], [ %add20, %sw.bb17 ], [ %add16, %sw.bb13 ], [ %conv12, %sw.bb9 ], [ %conv8, %sw.bb5 ], [ %conv4, %sw.bb1 ], [ %conv, %sw.bb ], [ 0.000000e+00, %entry ]
405 ret double %retval.0
406}
407
408define internal double @FpLookup4(i32 %Arg) {
409entry:
410 switch i32 %Arg, label %return [
411 i32 0, label %sw.bb
412 i32 1, label %sw.bb1
413 i32 2, label %sw.bb5
414 i32 3, label %sw.bb9
415 i32 -1, label %sw.bb13
416 i32 -2, label %sw.bb17
417 i32 -3, label %sw.bb21
418 i32 10, label %sw.bb25
419 i32 -10, label %sw.bb29
420 i32 100, label %sw.bb33
421 i32 101, label %sw.bb37
422 i32 102, label %sw.bb41
423 i32 103, label %sw.bb45
424 i32 -101, label %sw.bb49
425 i32 -102, label %sw.bb53
426 i32 -103, label %sw.bb57
427 i32 110, label %sw.bb61
428 i32 -110, label %sw.bb65
429 ]
430
431sw.bb: ; preds = %entry
432 %call = call float @Dummy(i32 0)
433 %add = fadd float %call, 1.000000e+00
434 %conv = fpext float %add to double
435 br label %return
436
437sw.bb1: ; preds = %entry
438 %call2 = call float @Dummy(i32 1)
439 %add3 = fadd float %call2, 2.000000e+00
440 %conv4 = fpext float %add3 to double
441 br label %return
442
443sw.bb5: ; preds = %entry
444 %call6 = call float @Dummy(i32 2)
445 %add7 = fadd float %call6, 4.000000e+00
446 %conv8 = fpext float %add7 to double
447 br label %return
448
449sw.bb9: ; preds = %entry
450 %call10 = call float @Dummy(i32 3)
451 %add11 = fadd float %call10, 8.000000e+00
452 %conv12 = fpext float %add11 to double
453 br label %return
454
455sw.bb13: ; preds = %entry
456 %call14 = call float @Dummy(i32 -1)
457 %conv15 = fpext float %call14 to double
458 %add16 = fadd double %conv15, 5.000000e-01
459 br label %return
460
461sw.bb17: ; preds = %entry
462 %call18 = call float @Dummy(i32 -2)
463 %conv19 = fpext float %call18 to double
464 %add20 = fadd double %conv19, 0x3FD5555555555555
465 br label %return
466
467sw.bb21: ; preds = %entry
468 %call22 = call float @Dummy(i32 -3)
469 %conv23 = fpext float %call22 to double
470 %add24 = fadd double %conv23, 2.500000e-01
471 br label %return
472
473sw.bb25: ; preds = %entry
474 %call26 = call float @Dummy(i32 10)
475 %conv27 = fpext float %call26 to double
476 %add28 = fadd double %conv27, 0x7FF8000000000000
477 br label %return
478
479sw.bb29: ; preds = %entry
480 %call30 = call float @Dummy(i32 -10)
481 %conv31 = fpext float %call30 to double
482 %add32 = fadd double %conv31, 0xFFF8000000000000
483 br label %return
484
485sw.bb33: ; preds = %entry
486 %call34 = call float @Dummy(i32 100)
487 %add35 = fadd float %call34, 1.000000e+00
488 %conv36 = fpext float %add35 to double
489 br label %return
490
491sw.bb37: ; preds = %entry
492 %call38 = call float @Dummy(i32 101)
493 %add39 = fadd float %call38, 2.000000e+00
494 %conv40 = fpext float %add39 to double
495 br label %return
496
497sw.bb41: ; preds = %entry
498 %call42 = call float @Dummy(i32 102)
499 %add43 = fadd float %call42, 4.000000e+00
500 %conv44 = fpext float %add43 to double
501 br label %return
502
503sw.bb45: ; preds = %entry
504 %call46 = call float @Dummy(i32 103)
505 %add47 = fadd float %call46, 8.000000e+00
506 %conv48 = fpext float %add47 to double
507 br label %return
508
509sw.bb49: ; preds = %entry
510 %call50 = call float @Dummy(i32 -101)
511 %conv51 = fpext float %call50 to double
512 %add52 = fadd double %conv51, 5.000000e-01
513 br label %return
514
515sw.bb53: ; preds = %entry
516 %call54 = call float @Dummy(i32 -102)
517 %conv55 = fpext float %call54 to double
518 %add56 = fadd double %conv55, 0x3FD5555555555555
519 br label %return
520
521sw.bb57: ; preds = %entry
522 %call58 = call float @Dummy(i32 -103)
523 %conv59 = fpext float %call58 to double
524 %add60 = fadd double %conv59, 2.500000e-01
525 br label %return
526
527sw.bb61: ; preds = %entry
528 %call62 = call float @Dummy(i32 110)
529 %conv63 = fpext float %call62 to double
530 %add64 = fadd double %conv63, 0x7FF8000000000000
531 br label %return
532
533sw.bb65: ; preds = %entry
534 %call66 = call float @Dummy(i32 -110)
535 %conv67 = fpext float %call66 to double
536 %add68 = fadd double %conv67, 0xFFF8000000000000
537 br label %return
538
539return: ; preds = %entry, %sw.bb65, %sw.bb61, %sw.bb57, %sw.bb53, %sw.bb49, %sw.bb45, %sw.bb41, %sw.bb37, %sw.bb33, %sw.bb29, %sw.bb25, %sw.bb21, %sw.bb17, %sw.bb13, %sw.bb9, %sw.bb5, %sw.bb1, %sw.bb
540 %retval.0 = phi double [ %add68, %sw.bb65 ], [ %add64, %sw.bb61 ], [ %add60, %sw.bb57 ], [ %add56, %sw.bb53 ], [ %add52, %sw.bb49 ], [ %conv48, %sw.bb45 ], [ %conv44, %sw.bb41 ], [ %conv40, %sw.bb37 ], [ %conv36, %sw.bb33 ], [ %add32, %sw.bb29 ], [ %add28, %sw.bb25 ], [ %add24, %sw.bb21 ], [ %add20, %sw.bb17 ], [ %add16, %sw.bb13 ], [ %conv12, %sw.bb9 ], [ %conv8, %sw.bb5 ], [ %conv4, %sw.bb1 ], [ %conv, %sw.bb ], [ 0.000000e+00, %entry ]
541 ret double %retval.0
542}
543
Jim Stichnothf61d5b22014-05-23 13:31:24 -0700[diff] [blame]544; The FP constant pool entries for each type are dumped in some
545; implementation-dependent order. So for the purposes of lit, we just
546; pick one value for each type, and make sure it appears exactly once.
547
548; Check for float 0.5
Jan Voungdddc3062014-08-29 12:59:02 -0700[diff] [blame]549; CHECK-LABEL: .rodata.cst4
550; CHECK: 0000003f
551; CHECK-NOT: 0000003f
552
Jim Stichnothf61d5b22014-05-23 13:31:24 -0700[diff] [blame]553; Check for double 0.5
Jan Voungdddc3062014-08-29 12:59:02 -0700[diff] [blame]554; CHECK-LABEL: .rodata.cst8
555; CHECK: 00000000 0000e03f
556; CHECK-NOT: 00000000 0000e03f
Jan Vounga2703ae2015-02-19 11:27:44 -0800[diff] [blame]557; CHECK-LABEL: .text