Lines Matching full:single
2 from single: f32(nan:0x7fe00000)
3 to single: f64(nan:0x007ffc000000000000) (OK)
8 from single: f32(-nan:0xffc00000)
9 to single: f64(-nan:0x00fff8000000000000) (OK)
14 from single: f32(-inf:0xff800000)
15 to single: f64(-inf:0x00fff0000000000000) (OK)
20 from single: f32(-inf:0xff800000)
21 to single: f64(-inf:0x00fff0000000000000) (OVERFLOW INEXACT )
26 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
27 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
32 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
33 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
38 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
39 to single: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (INEXACT )
44 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
45 to single: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (INEXACT )
50 from single: f32(-0x1.00000000000000000000p+1:0xc0000000)
51 to single: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) (OK)
56 from single: f32(-0x1.00000000000000000000p+0:0xbf800000)
57 to single: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) (OK)
62 from single: f32(-0x0.00000000000000000000p+0:0x80000000)
63 to single: f64(-0x0.00000000000000000000p+0:0x008000000000000000) (UNDERFLOW INEXACT )
68 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
69 to single: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
74 from single: f32(0x0.00000000000000000000p+0:0000000000)
75 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
80 from single: f32(0x1.00000000000000000000p-126:0x00800000)
81 to single: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
86 from single: f32(0x1.00000000000000000000p-25:0x33000000)
87 to single: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (INEXACT )
92 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
93 to single: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (INEXACT )
98 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
99 to single: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (INEXACT )
104 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
105 to single: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (INEXACT )
110 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
111 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
116 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
117 to single: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
122 from single: f32(0x0.00000000000000000000p+0:0000000000)
123 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
128 from single: f32(0x0.00000000000000000000p+0:0000000000)
129 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
134 from single: f32(0x0.00000000000000000000p+0:0000000000)
135 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
140 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
141 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
146 from single: f32(0x1.00000000000000000000p+1:0x40000000)
147 to single: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
152 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
153 to single: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (INEXACT )
158 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
159 to single: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (INEXACT )
164 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
165 to single: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
170 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
171 to single: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
176 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
177 to single: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
182 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
183 to single: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
188 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
189 to single: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
194 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
195 to single: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
200 from single: f32(0x1.00000000000000000000p+31:0x4f000000)
201 to single: f64(0x1.00000000000000000000p+31:0x0041e0000000000000) (INEXACT )
206 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
207 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
212 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
213 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
218 from single: f32(inf:0x7f800000)
219 to single: f64(inf:0x007ff0000000000000) (OVERFLOW INEXACT )
224 from single: f32(inf:0x7f800000)
225 to single: f64(inf:0x007ff0000000000000) (OK)
230 from single: f32(nan:0x7fc00000)
231 to single: f64(nan:0x007ff8000000000000) (OK)
236 from single: f32(nan:0x7fc00000)
237 to single: f64(nan:0x007ff8000000000000) (OK)
242 from single: f32(nan:0x7fe00000)
243 to single: f64(nan:0x007ffc000000000000) (OK)
249 from single: f32(nan:0x7fe00000)
250 to single: f64(nan:0x007ffc000000000000) (OK)
255 from single: f32(-nan:0xffc00000)
256 to single: f64(-nan:0x00fff8000000000000) (OK)
261 from single: f32(-inf:0xff800000)
262 to single: f64(-inf:0x00fff0000000000000) (OK)
267 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
268 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OVERFLOW INEXACT )
273 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
274 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
279 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
280 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
285 from single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58)
286 to single: f64(-0x1.1874b000000000000000p+103:0x00c661874b00000000) (INEXACT )
291 from single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a)
292 to single: f64(-0x1.c0bab400000000000000p+99:0x00c62c0bab40000000) (INEXACT )
297 from single: f32(-0x1.00000000000000000000p+1:0xc0000000)
298 to single: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) (OK)
303 from single: f32(-0x1.00000000000000000000p+0:0xbf800000)
304 to single: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) (OK)
309 from single: f32(-0x0.00000000000000000000p+0:0x80000000)
310 to single: f64(-0x0.00000000000000000000p+0:0x008000000000000000) (UNDERFLOW INEXACT )
315 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
316 to single: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
321 from single: f32(0x0.00000000000000000000p+0:0000000000)
322 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
327 from single: f32(0x1.00000000000000000000p-126:0x00800000)
328 to single: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
333 from single: f32(0x1.00000200000000000000p-25:0x33000001)
334 to single: f64(0x1.00000200000000000000p-25:0x003e60000020000000) (INEXACT )
339 from single: f32(0x1.ffffe800000000000000p-25:0x337ffff4)
340 to single: f64(0x1.ffffe800000000000000p-25:0x003e6ffffe80000000) (INEXACT )
345 from single: f32(0x1.ff801c00000000000000p-15:0x387fc00e)
346 to single: f64(0x1.ff801c00000000000000p-15:0x003f0ff801c0000000) (INEXACT )
351 from single: f32(0x1.00000e00000000000000p-14:0x38800007)
352 to single: f64(0x1.00000e00000000000000p-14:0x003f100000e0000000) (INEXACT )
357 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
358 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
363 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
364 to single: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
369 from single: f32(0x1.00000000000000000000p-149:0x00000001)
370 to single: f64(0x1.00000000000000000000p-149:0x0036a0000000000000) (UNDERFLOW INEXACT )
375 from single: f32(0x1.00000000000000000000p-149:0x00000001)
376 to single: f64(0x1.00000000000000000000p-149:0x0036a0000000000000) (UNDERFLOW INEXACT )
381 from single: f32(0x1.00000000000000000000p-149:0x00000001)
382 to single: f64(0x1.00000000000000000000p-149:0x0036a0000000000000) (UNDERFLOW INEXACT )
387 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
388 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
393 from single: f32(0x1.00000000000000000000p+1:0x40000000)
394 to single: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
399 from single: f32(0x1.5bf0aa00000000000000p+1:0x402df855)
400 to single: f64(0x1.5bf0aa00000000000000p+1:0x004005bf0aa0000000) (INEXACT )
405 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
406 to single: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (INEXACT )
411 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
412 to single: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
417 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
418 to single: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
423 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
424 to single: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
429 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
430 to single: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
435 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
436 to single: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
441 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
442 to single: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
447 from single: f32(0x1.00000000000000000000p+31:0x4f000000)
448 to single: f64(0x1.00000000000000000000p+31:0x0041e0000000000000) (INEXACT )
453 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
454 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
459 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
460 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
465 from single: f32(inf:0x7f800000)
466 to single: f64(inf:0x007ff0000000000000) (OVERFLOW INEXACT )
471 from single: f32(inf:0x7f800000)
472 to single: f64(inf:0x007ff0000000000000) (OK)
477 from single: f32(nan:0x7fc00000)
478 to single: f64(nan:0x007ff8000000000000) (OK)
483 from single: f32(nan:0x7fc00000)
484 to single: f64(nan:0x007ff8000000000000) (OK)
489 from single: f32(nan:0x7fe00000)
490 to single: f64(nan:0x007ffc000000000000) (OK)
496 from single: f32(nan:0x7fe00000)
497 to single: f64(nan:0x007ffc000000000000) (OK)
502 from single: f32(-nan:0xffc00000)
503 to single: f64(-nan:0x00fff8000000000000) (OK)
508 from single: f32(-inf:0xff800000)
509 to single: f64(-inf:0x00fff0000000000000) (OK)
514 from single: f32(-inf:0xff800000)
515 to single: f64(-inf:0x00fff0000000000000) (OVERFLOW INEXACT )
520 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
521 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
526 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
527 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
532 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
533 to single: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (INEXACT )
538 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
539 to single: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (INEXACT )
544 from single: f32(-0x1.00000000000000000000p+1:0xc0000000)
545 to single: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) (OK)
550 from single: f32(-0x1.00000000000000000000p+0:0xbf800000)
551 to single: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) (OK)
556 from single: f32(-0x1.00000000000000000000p-149:0x80000001)
557 to single: f64(-0x1.00000000000000000000p-149:0x00b6a0000000000000) (UNDERFLOW INEXACT )
562 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
563 to single: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
568 from single: f32(0x0.00000000000000000000p+0:0000000000)
569 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
574 from single: f32(0x1.00000000000000000000p-126:0x00800000)
575 to single: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
580 from single: f32(0x1.00000000000000000000p-25:0x33000000)
581 to single: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (INEXACT )
586 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
587 to single: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (INEXACT )
592 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
593 to single: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (INEXACT )
598 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
599 to single: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (INEXACT )
604 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
605 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
610 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
611 to single: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
616 from single: f32(0x0.00000000000000000000p+0:0000000000)
617 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
622 from single: f32(0x0.00000000000000000000p+0:0000000000)
623 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
628 from single: f32(0x0.00000000000000000000p+0:0000000000)
629 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
634 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
635 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
640 from single: f32(0x1.00000000000000000000p+1:0x40000000)
641 to single: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
646 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
647 to single: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (INEXACT )
652 from single: f32(0x1.921fb400000000000000p+1:0x40490fda)
653 to single: f64(0x1.921fb400000000000000p+1:0x00400921fb40000000) (INEXACT )
658 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
659 to single: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
664 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
665 to single: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
670 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
671 to single: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
676 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
677 to single: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
682 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
683 to single: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
688 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
689 to single: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
694 from single: f32(0x1.fffffe00000000000000p+30:0x4effffff)
695 to single: f64(0x1.fffffe00000000000000p+30:0x0041dfffffe0000000) (INEXACT )
700 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
701 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
706 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
707 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
712 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
713 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OVERFLOW INEXACT )
718 from single: f32(inf:0x7f800000)
719 to single: f64(inf:0x007ff0000000000000) (OK)
724 from single: f32(nan:0x7fc00000)
725 to single: f64(nan:0x007ff8000000000000) (OK)
730 from single: f32(nan:0x7fc00000)
731 to single: f64(nan:0x007ff8000000000000) (OK)
736 from single: f32(nan:0x7fe00000)
737 to single: f64(nan:0x007ffc000000000000) (OK)
743 from single: f32(nan:0x7fe00000)
744 to single: f64(nan:0x007ffc000000000000) (OK)
749 from single: f32(-nan:0xffc00000)
750 to single: f64(-nan:0x00fff8000000000000) (OK)
755 from single: f32(-inf:0xff800000)
756 to single: f64(-inf:0x00fff0000000000000) (OK)
761 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
762 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OVERFLOW INEXACT )
767 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
768 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
773 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
774 to single: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
779 from single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58)
780 to single: f64(-0x1.1874b000000000000000p+103:0x00c661874b00000000) (INEXACT )
785 from single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a)
786 to single: f64(-0x1.c0bab400000000000000p+99:0x00c62c0bab40000000) (INEXACT )
791 from single: f32(-0x1.00000000000000000000p+1:0xc0000000)
792 to single: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) (OK)
797 from single: f32(-0x1.00000000000000000000p+0:0xbf800000)
798 to single: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) (OK)
803 from single: f32(-0x0.00000000000000000000p+0:0x80000000)
804 to single: f64(-0x0.00000000000000000000p+0:0x008000000000000000) (UNDERFLOW INEXACT )
809 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
810 to single: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
815 from single: f32(0x0.00000000000000000000p+0:0000000000)
816 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
821 from single: f32(0x1.00000000000000000000p-126:0x00800000)
822 to single: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
827 from single: f32(0x1.00000000000000000000p-25:0x33000000)
828 to single: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (INEXACT )
833 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
834 to single: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (INEXACT )
839 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
840 to single: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (INEXACT )
845 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
846 to single: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (INEXACT )
851 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
852 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
857 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
858 to single: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
863 from single: f32(0x0.00000000000000000000p+0:0000000000)
864 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
869 from single: f32(0x0.00000000000000000000p+0:0000000000)
870 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
875 from single: f32(0x0.00000000000000000000p+0:0000000000)
876 to single: f64(0x0.00000000000000000000p+0:00000000000000000000) (UNDERFLOW INEXACT )
881 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
882 to single: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
887 from single: f32(0x1.00000000000000000000p+1:0x40000000)
888 to single: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
893 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
894 to single: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (INEXACT )
899 from single: f32(0x1.921fb400000000000000p+1:0x40490fda)
900 to single: f64(0x1.921fb400000000000000p+1:0x00400921fb40000000) (INEXACT )
905 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
906 to single: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
911 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
912 to single: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
917 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
918 to single: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
923 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
924 to single: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
929 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
930 to single: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
935 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
936 to single: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
941 from single: f32(0x1.fffffe00000000000000p+30:0x4effffff)
942 to single: f64(0x1.fffffe00000000000000p+30:0x0041dfffffe0000000) (INEXACT )
947 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
948 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
953 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
954 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
959 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
960 to single: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OVERFLOW INEXACT )
965 from single: f32(inf:0x7f800000)
966 to single: f64(inf:0x007ff0000000000000) (OK)
971 from single: f32(nan:0x7fc00000)
972 to single: f64(nan:0x007ff8000000000000) (OK)
977 from single: f32(nan:0x7fc00000)
978 to single: f64(nan:0x007ff8000000000000) (OK)
983 from single: f32(nan:0x7fe00000)
984 to single: f64(nan:0x007ffc000000000000) (OK)