Lines Matching refs:x1
20 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
21 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
26 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
27 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
32 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
33 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
38 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
39 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
44 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
45 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
50 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
51 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
62 from single: f32(0x1.00000000000000000000p-126:0x00800000)
63 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
68 from single: f32(0x1.00000000000000000000p-25:0x33000000)
69 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
74 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
75 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
80 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
81 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
86 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
87 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
92 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
93 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
98 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
99 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
104 from single: f32(0x1.00000000000000000000p+1:0x40000000)
105 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
110 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
111 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
116 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
117 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
122 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
123 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
128 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
129 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
134 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
135 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
140 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
141 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
146 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
147 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
152 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
153 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
158 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
159 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
164 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
165 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
207 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
208 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
213 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
214 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
219 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
220 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
225 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
226 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
231 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
232 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
237 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
238 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
249 from single: f32(0x1.00000000000000000000p-126:0x00800000)
250 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
255 from single: f32(0x1.00000000000000000000p-25:0x33000000)
256 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
261 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
262 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
267 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
268 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
273 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
274 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
279 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
280 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
285 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
286 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
291 from single: f32(0x1.00000000000000000000p+1:0x40000000)
292 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
297 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
298 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
303 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
304 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
309 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
310 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
315 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
316 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
321 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
322 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
327 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
328 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
333 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
334 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
339 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
340 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
345 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
346 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
351 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
352 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
394 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
395 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
400 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
401 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
406 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
407 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
412 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
413 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
418 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
419 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
424 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
425 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
436 from single: f32(0x1.00000000000000000000p-126:0x00800000)
437 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
442 from single: f32(0x1.00000000000000000000p-25:0x33000000)
443 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
448 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
449 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
454 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
455 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
460 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
461 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
466 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
467 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
472 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
473 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
478 from single: f32(0x1.00000000000000000000p+1:0x40000000)
479 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
484 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
485 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
490 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
491 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
496 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
497 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
502 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
503 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
508 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
509 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
514 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
515 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
520 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
521 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
526 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
527 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
532 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
533 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
538 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
539 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
581 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
582 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
587 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
588 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
593 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
594 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
599 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
600 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
605 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
606 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
611 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
612 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
623 from single: f32(0x1.00000000000000000000p-126:0x00800000)
624 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
629 from single: f32(0x1.00000000000000000000p-25:0x33000000)
630 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
635 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
636 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
641 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
642 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
647 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
648 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
653 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
654 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
659 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
660 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
665 from single: f32(0x1.00000000000000000000p+1:0x40000000)
666 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
671 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
672 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
677 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
678 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
683 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
684 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
689 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
690 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
695 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
696 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
701 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
702 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
707 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
708 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
713 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
714 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
719 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
720 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
725 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
726 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)