Lines Matching refs:x1
20 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
26 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
27 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
32 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
33 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
38 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
39 to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT )
44 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
45 to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT )
50 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
51 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
56 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
57 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
62 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
68 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
69 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
80 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
81 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
86 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
87 to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
92 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
93 to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
98 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
99 to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
104 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
105 to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
110 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
111 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
116 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
117 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
122 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
140 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
141 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
146 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
147 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
152 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
153 to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
158 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
159 to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT )
164 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
165 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
170 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
171 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
176 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
177 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
182 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
183 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
188 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
189 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
194 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
195 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
200 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
201 to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT )
206 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
207 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
212 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
213 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
218 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
267 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
268 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
273 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
274 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
279 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
280 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
285 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
286 to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT )
291 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
292 to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT )
297 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
298 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
303 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
304 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
309 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
315 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
316 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
327 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
328 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
333 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
334 to single: f32(0x1.00000200000000000000p-25:0x33000001) (INEXACT )
339 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
340 to single: f32(0x1.ffffe800000000000000p-25:0x337ffff4) (INEXACT )
345 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
346 to single: f32(0x1.ff801c00000000000000p-15:0x387fc00e) (INEXACT )
351 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
352 to single: f32(0x1.00000e00000000000000p-14:0x38800007) (INEXACT )
357 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
358 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
363 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
364 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
369 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
370 to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
376 to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
382 to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
387 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
388 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
393 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
394 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
399 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
400 to single: f32(0x1.5bf0aa00000000000000p+1:0x402df855) (INEXACT )
405 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
406 to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT )
411 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
412 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
417 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
418 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
423 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
424 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
429 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
430 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
435 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
436 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
441 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
442 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
447 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
448 to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT )
453 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
454 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
459 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
460 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
465 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
514 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
520 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
521 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
526 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
527 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
532 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
533 to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT )
538 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
539 to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT )
544 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
545 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
550 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
551 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
556 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
557 to single: f32(-0x1.00000000000000000000p-149:0x80000001) (UNDERFLOW INEXACT )
562 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
563 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
574 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
575 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
580 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
581 to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
586 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
587 to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
592 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
593 to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
598 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
599 to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
604 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
605 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
610 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
611 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
616 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
634 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
635 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
640 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
641 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
646 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
647 to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
652 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
653 to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT )
658 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
659 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
664 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
665 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
670 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
671 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
676 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
677 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
682 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
683 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
688 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
689 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
694 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
695 to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT )
700 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
701 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
706 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
707 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
712 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
713 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )
761 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
762 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
767 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
768 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
773 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
774 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
779 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
780 to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT )
785 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
786 to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT )
791 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
792 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
797 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
798 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
803 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
809 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
810 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
821 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
822 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
827 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
828 to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
833 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
834 to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
839 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
840 to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
845 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
846 to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
851 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
852 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
857 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
858 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
863 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
881 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
882 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
887 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
888 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
893 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
894 to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
899 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
900 to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT )
905 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
906 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
911 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
912 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
917 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
918 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
923 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
924 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
929 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
930 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
935 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
936 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
941 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
942 to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT )
947 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
948 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
953 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
954 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
959 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
960 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )