17eabb050STaylor Simpson### Rounding to nearest 27eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 37eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 47eabb050STaylor Simpson to int32: -1 (INVALID) 57eabb050STaylor Simpson to int64: -1 (INVALID) 67eabb050STaylor Simpson to uint32: -1 (INVALID) 77eabb050STaylor Simpson to uint64: -1 (INVALID) 87eabb050STaylor Simpsonfrom double: f64(-nan:0x00fff8000000000000) 97eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 107eabb050STaylor Simpson to int32: -1 (INVALID) 117eabb050STaylor Simpson to int64: -1 (INVALID) 127eabb050STaylor Simpson to uint32: -1 (INVALID) 137eabb050STaylor Simpson to uint64: -1 (INVALID) 147eabb050STaylor Simpsonfrom double: f64(-inf:0x00fff0000000000000) 157eabb050STaylor Simpson to single: f32(-inf:0xff800000) (OK) 167eabb050STaylor Simpson to int32: -2147483648 (INVALID) 177eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 187eabb050STaylor Simpson to uint32: 0 (INVALID) 197eabb050STaylor Simpson to uint64: 0 (INVALID) 207eabb050STaylor Simpsonfrom double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 217eabb050STaylor Simpson to single: f32(-inf:0xff800000) (OVERFLOW INEXACT ) 227eabb050STaylor Simpson to int32: -2147483648 (INVALID) 237eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 247eabb050STaylor Simpson to uint32: 0 (INVALID) 257eabb050STaylor Simpson to uint64: 0 (INVALID) 267eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 277eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 287eabb050STaylor Simpson to int32: -2147483648 (INVALID) 297eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 307eabb050STaylor Simpson to uint32: 0 (INVALID) 317eabb050STaylor Simpson to uint64: 0 (INVALID) 327eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 337eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 347eabb050STaylor Simpson to int32: -2147483648 (INVALID) 357eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 367eabb050STaylor Simpson to uint32: 0 (INVALID) 377eabb050STaylor Simpson to uint64: 0 (INVALID) 387eabb050STaylor Simpsonfrom double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 397eabb050STaylor Simpson to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT ) 407eabb050STaylor Simpson to int32: -2147483648 (INVALID) 417eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 427eabb050STaylor Simpson to uint32: 0 (INVALID) 437eabb050STaylor Simpson to uint64: 0 (INVALID) 447eabb050STaylor Simpsonfrom double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 457eabb050STaylor Simpson to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT ) 467eabb050STaylor Simpson to int32: -2147483648 (INVALID) 477eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 487eabb050STaylor Simpson to uint32: 0 (INVALID) 497eabb050STaylor Simpson to uint64: 0 (INVALID) 507eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 517eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 527eabb050STaylor Simpson to int32: -2 (OK) 537eabb050STaylor Simpson to int64: -2 (OK) 547eabb050STaylor Simpson to uint32: 0 (INVALID) 557eabb050STaylor Simpson to uint64: 0 (INVALID) 567eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 577eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 587eabb050STaylor Simpson to int32: -1 (OK) 597eabb050STaylor Simpson to int64: -1 (OK) 607eabb050STaylor Simpson to uint32: 0 (INVALID) 617eabb050STaylor Simpson to uint64: 0 (INVALID) 627eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 637eabb050STaylor Simpson to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT ) 647eabb050STaylor Simpson to int32: 0 (INEXACT ) 657eabb050STaylor Simpson to int64: 0 (INEXACT ) 667eabb050STaylor Simpson to uint32: 0 (INVALID) 677eabb050STaylor Simpson to uint64: 0 (INVALID) 687eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 697eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 707eabb050STaylor Simpson to int32: 0 (INEXACT ) 717eabb050STaylor Simpson to int64: 0 (INEXACT ) 727eabb050STaylor Simpson to uint32: 0 (INVALID) 737eabb050STaylor Simpson to uint64: 0 (INVALID) 747eabb050STaylor Simpsonfrom double: f64(0x0.00000000000000000000p+0:00000000000000000000) 757eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 767eabb050STaylor Simpson to int32: 0 (OK) 777eabb050STaylor Simpson to int64: 0 (OK) 787eabb050STaylor Simpson to uint32: 0 (OK) 797eabb050STaylor Simpson to uint64: 0 (OK) 807eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 817eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 827eabb050STaylor Simpson to int32: 0 (INEXACT ) 837eabb050STaylor Simpson to int64: 0 (INEXACT ) 847eabb050STaylor Simpson to uint32: 0 (INEXACT ) 857eabb050STaylor Simpson to uint64: 0 (INEXACT ) 867eabb050STaylor Simpsonfrom double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 877eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT ) 887eabb050STaylor Simpson to int32: 0 (INEXACT ) 897eabb050STaylor Simpson to int64: 0 (INEXACT ) 907eabb050STaylor Simpson to uint32: 0 (INEXACT ) 917eabb050STaylor Simpson to uint64: 0 (INEXACT ) 927eabb050STaylor Simpsonfrom double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 937eabb050STaylor Simpson to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT ) 947eabb050STaylor Simpson to int32: 0 (INEXACT ) 957eabb050STaylor Simpson to int64: 0 (INEXACT ) 967eabb050STaylor Simpson to uint32: 0 (INEXACT ) 977eabb050STaylor Simpson to uint64: 0 (INEXACT ) 987eabb050STaylor Simpsonfrom double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 997eabb050STaylor Simpson to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT ) 1007eabb050STaylor Simpson to int32: 0 (INEXACT ) 1017eabb050STaylor Simpson to int64: 0 (INEXACT ) 1027eabb050STaylor Simpson to uint32: 0 (INEXACT ) 1037eabb050STaylor Simpson to uint64: 0 (INEXACT ) 1047eabb050STaylor Simpsonfrom double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 1057eabb050STaylor Simpson to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT ) 1067eabb050STaylor Simpson to int32: 0 (INEXACT ) 1077eabb050STaylor Simpson to int64: 0 (INEXACT ) 1087eabb050STaylor Simpson to uint32: 0 (INEXACT ) 1097eabb050STaylor Simpson to uint64: 0 (INEXACT ) 1107eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 1117eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 1127eabb050STaylor Simpson to int32: 1 (OK) 1137eabb050STaylor Simpson to int64: 1 (OK) 1147eabb050STaylor Simpson to uint32: 1 (OK) 1157eabb050STaylor Simpson to uint64: 1 (OK) 1167eabb050STaylor Simpsonfrom double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 1177eabb050STaylor Simpson to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 1187eabb050STaylor Simpson to int32: 1 (INEXACT ) 1197eabb050STaylor Simpson to int64: 1 (INEXACT ) 1207eabb050STaylor Simpson to uint32: 1 (INEXACT ) 1217eabb050STaylor Simpson to uint64: 1 (INEXACT ) 1227eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 1237eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 1247eabb050STaylor Simpson to int32: 0 (INEXACT ) 1257eabb050STaylor Simpson to int64: 0 (INEXACT ) 1267eabb050STaylor Simpson to uint32: 0 (INEXACT ) 1277eabb050STaylor Simpson to uint64: 0 (INEXACT ) 1287eabb050STaylor Simpsonfrom double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680) 1297eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 1307eabb050STaylor Simpson to int32: 0 (INEXACT ) 1317eabb050STaylor Simpson to int64: 0 (INEXACT ) 1327eabb050STaylor Simpson to uint32: 0 (INEXACT ) 1337eabb050STaylor Simpson to uint64: 0 (INEXACT ) 1347eabb050STaylor Simpsonfrom double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210) 1357eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 1367eabb050STaylor Simpson to int32: 0 (INEXACT ) 1377eabb050STaylor Simpson to int64: 0 (INEXACT ) 1387eabb050STaylor Simpson to uint32: 0 (INEXACT ) 1397eabb050STaylor Simpson to uint64: 0 (INEXACT ) 1407eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 1417eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 1427eabb050STaylor Simpson to int32: 1 (OK) 1437eabb050STaylor Simpson to int64: 1 (OK) 1447eabb050STaylor Simpson to uint32: 1 (OK) 1457eabb050STaylor Simpson to uint64: 1 (OK) 1467eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 1477eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 1487eabb050STaylor Simpson to int32: 2 (OK) 1497eabb050STaylor Simpson to int64: 2 (OK) 1507eabb050STaylor Simpson to uint32: 2 (OK) 1517eabb050STaylor Simpson to uint64: 2 (OK) 1527eabb050STaylor Simpsonfrom double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 1537eabb050STaylor Simpson to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT ) 1547eabb050STaylor Simpson to int32: 2 (INEXACT ) 1557eabb050STaylor Simpson to int64: 2 (INEXACT ) 1567eabb050STaylor Simpson to uint32: 2 (INEXACT ) 1577eabb050STaylor Simpson to uint64: 2 (INEXACT ) 1587eabb050STaylor Simpsonfrom double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 1597eabb050STaylor Simpson to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT ) 1607eabb050STaylor Simpson to int32: 3 (INEXACT ) 1617eabb050STaylor Simpson to int64: 3 (INEXACT ) 1627eabb050STaylor Simpson to uint32: 3 (INEXACT ) 1637eabb050STaylor Simpson to uint64: 3 (INEXACT ) 1647eabb050STaylor Simpsonfrom double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 1657eabb050STaylor Simpson to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 1667eabb050STaylor Simpson to int32: 65503 (OK) 1677eabb050STaylor Simpson to int64: 65503 (OK) 1687eabb050STaylor Simpson to uint32: 65503 (OK) 1697eabb050STaylor Simpson to uint64: 65503 (OK) 1707eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 1717eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 1727eabb050STaylor Simpson to int32: 65504 (OK) 1737eabb050STaylor Simpson to int64: 65504 (OK) 1747eabb050STaylor Simpson to uint32: 65504 (OK) 1757eabb050STaylor Simpson to uint64: 65504 (OK) 1767eabb050STaylor Simpsonfrom double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 1777eabb050STaylor Simpson to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 1787eabb050STaylor Simpson to int32: 65505 (OK) 1797eabb050STaylor Simpson to int64: 65505 (OK) 1807eabb050STaylor Simpson to uint32: 65505 (OK) 1817eabb050STaylor Simpson to uint64: 65505 (OK) 1827eabb050STaylor Simpsonfrom double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 1837eabb050STaylor Simpson to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 1847eabb050STaylor Simpson to int32: 131007 (OK) 1857eabb050STaylor Simpson to int64: 131007 (OK) 1867eabb050STaylor Simpson to uint32: 131007 (OK) 1877eabb050STaylor Simpson to uint64: 131007 (OK) 1887eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 1897eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 1907eabb050STaylor Simpson to int32: 131008 (OK) 1917eabb050STaylor Simpson to int64: 131008 (OK) 1927eabb050STaylor Simpson to uint32: 131008 (OK) 1937eabb050STaylor Simpson to uint64: 131008 (OK) 1947eabb050STaylor Simpsonfrom double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 1957eabb050STaylor Simpson to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 1967eabb050STaylor Simpson to int32: 131009 (OK) 1977eabb050STaylor Simpson to int64: 131009 (OK) 1987eabb050STaylor Simpson to uint32: 131009 (OK) 1997eabb050STaylor Simpson to uint64: 131009 (OK) 2007eabb050STaylor Simpsonfrom double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 2017eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT ) 2027eabb050STaylor Simpson to int32: 2147483647 (OK) 2037eabb050STaylor Simpson to int64: 2147483647 (OK) 2047eabb050STaylor Simpson to uint32: 2147483647 (OK) 2057eabb050STaylor Simpson to uint64: 2147483647 (OK) 2067eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 2077eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 2087eabb050STaylor Simpson to int32: 2147483647 (INVALID) 2097eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 2107eabb050STaylor Simpson to uint32: -1 (INVALID) 2117eabb050STaylor Simpson to uint64: -1 (INVALID) 2127eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 2137eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 2147eabb050STaylor Simpson to int32: 2147483647 (INVALID) 2157eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 2167eabb050STaylor Simpson to uint32: -1 (INVALID) 2177eabb050STaylor Simpson to uint64: -1 (INVALID) 2187eabb050STaylor Simpsonfrom double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 2197eabb050STaylor Simpson to single: f32(inf:0x7f800000) (OVERFLOW INEXACT ) 2207eabb050STaylor Simpson to int32: 2147483647 (INVALID) 2217eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 2227eabb050STaylor Simpson to uint32: -1 (INVALID) 2237eabb050STaylor Simpson to uint64: -1 (INVALID) 2247eabb050STaylor Simpsonfrom double: f64(inf:0x007ff0000000000000) 2257eabb050STaylor Simpson to single: f32(inf:0x7f800000) (OK) 2267eabb050STaylor Simpson to int32: 2147483647 (INVALID) 2277eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 2287eabb050STaylor Simpson to uint32: -1 (INVALID) 2297eabb050STaylor Simpson to uint64: -1 (INVALID) 2307eabb050STaylor Simpsonfrom double: f64(nan:0x007ff8000000000000) 2317eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 2327eabb050STaylor Simpson to int32: -1 (INVALID) 2337eabb050STaylor Simpson to int64: -1 (INVALID) 2347eabb050STaylor Simpson to uint32: -1 (INVALID) 2357eabb050STaylor Simpson to uint64: -1 (INVALID) 2367eabb050STaylor Simpsonfrom double: f64(nan:0x007ff0000000000001) 2377eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 2387eabb050STaylor Simpson to int32: -1 (INVALID) 2397eabb050STaylor Simpson to int64: -1 (INVALID) 2407eabb050STaylor Simpson to uint32: -1 (INVALID) 2417eabb050STaylor Simpson to uint64: -1 (INVALID) 2427eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 2437eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 2447eabb050STaylor Simpson to int32: -1 (INVALID) 2457eabb050STaylor Simpson to int64: -1 (INVALID) 2467eabb050STaylor Simpson to uint32: -1 (INVALID) 2477eabb050STaylor Simpson to uint64: -1 (INVALID) 2487eabb050STaylor Simpson### Rounding upwards 2497eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 2507eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 2517eabb050STaylor Simpson to int32: -1 (INVALID) 2527eabb050STaylor Simpson to int64: -1 (INVALID) 2537eabb050STaylor Simpson to uint32: -1 (INVALID) 2547eabb050STaylor Simpson to uint64: -1 (INVALID) 2557eabb050STaylor Simpsonfrom double: f64(-nan:0x00fff8000000000000) 2567eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 2577eabb050STaylor Simpson to int32: -1 (INVALID) 2587eabb050STaylor Simpson to int64: -1 (INVALID) 2597eabb050STaylor Simpson to uint32: -1 (INVALID) 2607eabb050STaylor Simpson to uint64: -1 (INVALID) 2617eabb050STaylor Simpsonfrom double: f64(-inf:0x00fff0000000000000) 2627eabb050STaylor Simpson to single: f32(-inf:0xff800000) (OK) 2637eabb050STaylor Simpson to int32: -2147483648 (INVALID) 2647eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 2657eabb050STaylor Simpson to uint32: 0 (INVALID) 2667eabb050STaylor Simpson to uint64: 0 (INVALID) 2677eabb050STaylor Simpsonfrom double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 2687eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT ) 2697eabb050STaylor Simpson to int32: -2147483648 (INVALID) 2707eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 2717eabb050STaylor Simpson to uint32: 0 (INVALID) 2727eabb050STaylor Simpson to uint64: 0 (INVALID) 2737eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 2747eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 2757eabb050STaylor Simpson to int32: -2147483648 (INVALID) 2767eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 2777eabb050STaylor Simpson to uint32: 0 (INVALID) 2787eabb050STaylor Simpson to uint64: 0 (INVALID) 2797eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 2807eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 2817eabb050STaylor Simpson to int32: -2147483648 (INVALID) 2827eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 2837eabb050STaylor Simpson to uint32: 0 (INVALID) 2847eabb050STaylor Simpson to uint64: 0 (INVALID) 2857eabb050STaylor Simpsonfrom double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 2867eabb050STaylor Simpson to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT ) 2877eabb050STaylor Simpson to int32: -2147483648 (INVALID) 2887eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 2897eabb050STaylor Simpson to uint32: 0 (INVALID) 2907eabb050STaylor Simpson to uint64: 0 (INVALID) 2917eabb050STaylor Simpsonfrom double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 2927eabb050STaylor Simpson to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT ) 2937eabb050STaylor Simpson to int32: -2147483648 (INVALID) 2947eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 2957eabb050STaylor Simpson to uint32: 0 (INVALID) 2967eabb050STaylor Simpson to uint64: 0 (INVALID) 2977eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 2987eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 2997eabb050STaylor Simpson to int32: -2 (OK) 3007eabb050STaylor Simpson to int64: -2 (OK) 3017eabb050STaylor Simpson to uint32: 0 (INVALID) 3027eabb050STaylor Simpson to uint64: 0 (INVALID) 3037eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 3047eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 3057eabb050STaylor Simpson to int32: -1 (OK) 3067eabb050STaylor Simpson to int64: -1 (OK) 3077eabb050STaylor Simpson to uint32: 0 (INVALID) 3087eabb050STaylor Simpson to uint64: 0 (INVALID) 3097eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 3107eabb050STaylor Simpson to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT ) 3117eabb050STaylor Simpson to int32: 0 (INEXACT ) 3127eabb050STaylor Simpson to int64: 0 (INEXACT ) 3137eabb050STaylor Simpson to uint32: 0 (INVALID) 3147eabb050STaylor Simpson to uint64: 0 (INVALID) 3157eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 3167eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 3177eabb050STaylor Simpson to int32: 0 (INEXACT ) 3187eabb050STaylor Simpson to int64: 0 (INEXACT ) 3197eabb050STaylor Simpson to uint32: 0 (INVALID) 3207eabb050STaylor Simpson to uint64: 0 (INVALID) 3217eabb050STaylor Simpsonfrom double: f64(0x0.00000000000000000000p+0:00000000000000000000) 3227eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 3237eabb050STaylor Simpson to int32: 0 (OK) 3247eabb050STaylor Simpson to int64: 0 (OK) 3257eabb050STaylor Simpson to uint32: 0 (OK) 3267eabb050STaylor Simpson to uint64: 0 (OK) 3277eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 3287eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 3297eabb050STaylor Simpson to int32: 0 (INEXACT ) 3307eabb050STaylor Simpson to int64: 0 (INEXACT ) 3317eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3327eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3337eabb050STaylor Simpsonfrom double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 3347eabb050STaylor Simpson to single: f32(0x1.00000200000000000000p-25:0x33000001) (INEXACT ) 3357eabb050STaylor Simpson to int32: 0 (INEXACT ) 3367eabb050STaylor Simpson to int64: 0 (INEXACT ) 3377eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3387eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3397eabb050STaylor Simpsonfrom double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 3407eabb050STaylor Simpson to single: f32(0x1.ffffe800000000000000p-25:0x337ffff4) (INEXACT ) 3417eabb050STaylor Simpson to int32: 0 (INEXACT ) 3427eabb050STaylor Simpson to int64: 0 (INEXACT ) 3437eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3447eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3457eabb050STaylor Simpsonfrom double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 3467eabb050STaylor Simpson to single: f32(0x1.ff801c00000000000000p-15:0x387fc00e) (INEXACT ) 3477eabb050STaylor Simpson to int32: 0 (INEXACT ) 3487eabb050STaylor Simpson to int64: 0 (INEXACT ) 3497eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3507eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3517eabb050STaylor Simpsonfrom double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 3527eabb050STaylor Simpson to single: f32(0x1.00000e00000000000000p-14:0x38800007) (INEXACT ) 3537eabb050STaylor Simpson to int32: 0 (INEXACT ) 3547eabb050STaylor Simpson to int64: 0 (INEXACT ) 3557eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3567eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3577eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 3587eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 3597eabb050STaylor Simpson to int32: 1 (OK) 3607eabb050STaylor Simpson to int64: 1 (OK) 3617eabb050STaylor Simpson to uint32: 1 (OK) 3627eabb050STaylor Simpson to uint64: 1 (OK) 3637eabb050STaylor Simpsonfrom double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 3647eabb050STaylor Simpson to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 3657eabb050STaylor Simpson to int32: 1 (INEXACT ) 3667eabb050STaylor Simpson to int64: 1 (INEXACT ) 3677eabb050STaylor Simpson to uint32: 1 (INEXACT ) 3687eabb050STaylor Simpson to uint64: 1 (INEXACT ) 3697eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 3707eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT ) 3717eabb050STaylor Simpson to int32: 0 (INEXACT ) 3727eabb050STaylor Simpson to int64: 0 (INEXACT ) 3737eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3747eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3757eabb050STaylor Simpsonfrom double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680) 3767eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT ) 3777eabb050STaylor Simpson to int32: 0 (INEXACT ) 3787eabb050STaylor Simpson to int64: 0 (INEXACT ) 3797eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3807eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3817eabb050STaylor Simpsonfrom double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210) 3827eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT ) 3837eabb050STaylor Simpson to int32: 0 (INEXACT ) 3847eabb050STaylor Simpson to int64: 0 (INEXACT ) 3857eabb050STaylor Simpson to uint32: 0 (INEXACT ) 3867eabb050STaylor Simpson to uint64: 0 (INEXACT ) 3877eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 3887eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 3897eabb050STaylor Simpson to int32: 1 (OK) 3907eabb050STaylor Simpson to int64: 1 (OK) 3917eabb050STaylor Simpson to uint32: 1 (OK) 3927eabb050STaylor Simpson to uint64: 1 (OK) 3937eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 3947eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 3957eabb050STaylor Simpson to int32: 2 (OK) 3967eabb050STaylor Simpson to int64: 2 (OK) 3977eabb050STaylor Simpson to uint32: 2 (OK) 3987eabb050STaylor Simpson to uint64: 2 (OK) 3997eabb050STaylor Simpsonfrom double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 4007eabb050STaylor Simpson to single: f32(0x1.5bf0aa00000000000000p+1:0x402df855) (INEXACT ) 4017eabb050STaylor Simpson to int32: 2 (INEXACT ) 4027eabb050STaylor Simpson to int64: 2 (INEXACT ) 4037eabb050STaylor Simpson to uint32: 2 (INEXACT ) 4047eabb050STaylor Simpson to uint64: 2 (INEXACT ) 4057eabb050STaylor Simpsonfrom double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 4067eabb050STaylor Simpson to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT ) 4077eabb050STaylor Simpson to int32: 3 (INEXACT ) 4087eabb050STaylor Simpson to int64: 3 (INEXACT ) 4097eabb050STaylor Simpson to uint32: 3 (INEXACT ) 4107eabb050STaylor Simpson to uint64: 3 (INEXACT ) 4117eabb050STaylor Simpsonfrom double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 4127eabb050STaylor Simpson to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 4137eabb050STaylor Simpson to int32: 65503 (OK) 4147eabb050STaylor Simpson to int64: 65503 (OK) 4157eabb050STaylor Simpson to uint32: 65503 (OK) 4167eabb050STaylor Simpson to uint64: 65503 (OK) 4177eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 4187eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 4197eabb050STaylor Simpson to int32: 65504 (OK) 4207eabb050STaylor Simpson to int64: 65504 (OK) 4217eabb050STaylor Simpson to uint32: 65504 (OK) 4227eabb050STaylor Simpson to uint64: 65504 (OK) 4237eabb050STaylor Simpsonfrom double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 4247eabb050STaylor Simpson to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 4257eabb050STaylor Simpson to int32: 65505 (OK) 4267eabb050STaylor Simpson to int64: 65505 (OK) 4277eabb050STaylor Simpson to uint32: 65505 (OK) 4287eabb050STaylor Simpson to uint64: 65505 (OK) 4297eabb050STaylor Simpsonfrom double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 4307eabb050STaylor Simpson to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 4317eabb050STaylor Simpson to int32: 131007 (OK) 4327eabb050STaylor Simpson to int64: 131007 (OK) 4337eabb050STaylor Simpson to uint32: 131007 (OK) 4347eabb050STaylor Simpson to uint64: 131007 (OK) 4357eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 4367eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 4377eabb050STaylor Simpson to int32: 131008 (OK) 4387eabb050STaylor Simpson to int64: 131008 (OK) 4397eabb050STaylor Simpson to uint32: 131008 (OK) 4407eabb050STaylor Simpson to uint64: 131008 (OK) 4417eabb050STaylor Simpsonfrom double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 4427eabb050STaylor Simpson to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 4437eabb050STaylor Simpson to int32: 131009 (OK) 4447eabb050STaylor Simpson to int64: 131009 (OK) 4457eabb050STaylor Simpson to uint32: 131009 (OK) 4467eabb050STaylor Simpson to uint64: 131009 (OK) 4477eabb050STaylor Simpsonfrom double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 4487eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT ) 4497eabb050STaylor Simpson to int32: 2147483647 (OK) 4507eabb050STaylor Simpson to int64: 2147483647 (OK) 4517eabb050STaylor Simpson to uint32: 2147483647 (OK) 4527eabb050STaylor Simpson to uint64: 2147483647 (OK) 4537eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 4547eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 4557eabb050STaylor Simpson to int32: 2147483647 (INVALID) 4567eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 4577eabb050STaylor Simpson to uint32: -1 (INVALID) 4587eabb050STaylor Simpson to uint64: -1 (INVALID) 4597eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 4607eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 4617eabb050STaylor Simpson to int32: 2147483647 (INVALID) 4627eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 4637eabb050STaylor Simpson to uint32: -1 (INVALID) 4647eabb050STaylor Simpson to uint64: -1 (INVALID) 4657eabb050STaylor Simpsonfrom double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 4667eabb050STaylor Simpson to single: f32(inf:0x7f800000) (OVERFLOW INEXACT ) 4677eabb050STaylor Simpson to int32: 2147483647 (INVALID) 4687eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 4697eabb050STaylor Simpson to uint32: -1 (INVALID) 4707eabb050STaylor Simpson to uint64: -1 (INVALID) 4717eabb050STaylor Simpsonfrom double: f64(inf:0x007ff0000000000000) 4727eabb050STaylor Simpson to single: f32(inf:0x7f800000) (OK) 4737eabb050STaylor Simpson to int32: 2147483647 (INVALID) 4747eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 4757eabb050STaylor Simpson to uint32: -1 (INVALID) 4767eabb050STaylor Simpson to uint64: -1 (INVALID) 4777eabb050STaylor Simpsonfrom double: f64(nan:0x007ff8000000000000) 4787eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 4797eabb050STaylor Simpson to int32: -1 (INVALID) 4807eabb050STaylor Simpson to int64: -1 (INVALID) 4817eabb050STaylor Simpson to uint32: -1 (INVALID) 4827eabb050STaylor Simpson to uint64: -1 (INVALID) 4837eabb050STaylor Simpsonfrom double: f64(nan:0x007ff0000000000001) 4847eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 4857eabb050STaylor Simpson to int32: -1 (INVALID) 4867eabb050STaylor Simpson to int64: -1 (INVALID) 4877eabb050STaylor Simpson to uint32: -1 (INVALID) 4887eabb050STaylor Simpson to uint64: -1 (INVALID) 4897eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 4907eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 4917eabb050STaylor Simpson to int32: -1 (INVALID) 4927eabb050STaylor Simpson to int64: -1 (INVALID) 4937eabb050STaylor Simpson to uint32: -1 (INVALID) 4947eabb050STaylor Simpson to uint64: -1 (INVALID) 4957eabb050STaylor Simpson### Rounding downwards 4967eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 4977eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 4987eabb050STaylor Simpson to int32: -1 (INVALID) 4997eabb050STaylor Simpson to int64: -1 (INVALID) 5007eabb050STaylor Simpson to uint32: -1 (INVALID) 5017eabb050STaylor Simpson to uint64: -1 (INVALID) 5027eabb050STaylor Simpsonfrom double: f64(-nan:0x00fff8000000000000) 5037eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 5047eabb050STaylor Simpson to int32: -1 (INVALID) 5057eabb050STaylor Simpson to int64: -1 (INVALID) 5067eabb050STaylor Simpson to uint32: -1 (INVALID) 5077eabb050STaylor Simpson to uint64: -1 (INVALID) 5087eabb050STaylor Simpsonfrom double: f64(-inf:0x00fff0000000000000) 5097eabb050STaylor Simpson to single: f32(-inf:0xff800000) (OK) 5107eabb050STaylor Simpson to int32: -2147483648 (INVALID) 5117eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 5127eabb050STaylor Simpson to uint32: 0 (INVALID) 5137eabb050STaylor Simpson to uint64: 0 (INVALID) 5147eabb050STaylor Simpsonfrom double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 5157eabb050STaylor Simpson to single: f32(-inf:0xff800000) (OVERFLOW INEXACT ) 5167eabb050STaylor Simpson to int32: -2147483648 (INVALID) 5177eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 5187eabb050STaylor Simpson to uint32: 0 (INVALID) 5197eabb050STaylor Simpson to uint64: 0 (INVALID) 5207eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 5217eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 5227eabb050STaylor Simpson to int32: -2147483648 (INVALID) 5237eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 5247eabb050STaylor Simpson to uint32: 0 (INVALID) 5257eabb050STaylor Simpson to uint64: 0 (INVALID) 5267eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 5277eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 5287eabb050STaylor Simpson to int32: -2147483648 (INVALID) 5297eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 5307eabb050STaylor Simpson to uint32: 0 (INVALID) 5317eabb050STaylor Simpson to uint64: 0 (INVALID) 5327eabb050STaylor Simpsonfrom double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 5337eabb050STaylor Simpson to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT ) 5347eabb050STaylor Simpson to int32: -2147483648 (INVALID) 5357eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 5367eabb050STaylor Simpson to uint32: 0 (INVALID) 5377eabb050STaylor Simpson to uint64: 0 (INVALID) 5387eabb050STaylor Simpsonfrom double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 5397eabb050STaylor Simpson to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT ) 5407eabb050STaylor Simpson to int32: -2147483648 (INVALID) 5417eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 5427eabb050STaylor Simpson to uint32: 0 (INVALID) 5437eabb050STaylor Simpson to uint64: 0 (INVALID) 5447eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 5457eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 5467eabb050STaylor Simpson to int32: -2 (OK) 5477eabb050STaylor Simpson to int64: -2 (OK) 5487eabb050STaylor Simpson to uint32: 0 (INVALID) 5497eabb050STaylor Simpson to uint64: 0 (INVALID) 5507eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 5517eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 5527eabb050STaylor Simpson to int32: -1 (OK) 5537eabb050STaylor Simpson to int64: -1 (OK) 5547eabb050STaylor Simpson to uint32: 0 (INVALID) 5557eabb050STaylor Simpson to uint64: 0 (INVALID) 5567eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 5577eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p-149:0x80000001) (UNDERFLOW INEXACT ) 5587eabb050STaylor Simpson to int32: 0 (INEXACT ) 5597eabb050STaylor Simpson to int64: 0 (INEXACT ) 5607eabb050STaylor Simpson to uint32: 0 (INVALID) 5617eabb050STaylor Simpson to uint64: 0 (INVALID) 5627eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 5637eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 5647eabb050STaylor Simpson to int32: 0 (INEXACT ) 5657eabb050STaylor Simpson to int64: 0 (INEXACT ) 5667eabb050STaylor Simpson to uint32: 0 (INVALID) 5677eabb050STaylor Simpson to uint64: 0 (INVALID) 5687eabb050STaylor Simpsonfrom double: f64(0x0.00000000000000000000p+0:00000000000000000000) 5697eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 5707eabb050STaylor Simpson to int32: 0 (OK) 5717eabb050STaylor Simpson to int64: 0 (OK) 5727eabb050STaylor Simpson to uint32: 0 (OK) 5737eabb050STaylor Simpson to uint64: 0 (OK) 5747eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 5757eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 5767eabb050STaylor Simpson to int32: 0 (INEXACT ) 5777eabb050STaylor Simpson to int64: 0 (INEXACT ) 5787eabb050STaylor Simpson to uint32: 0 (INEXACT ) 5797eabb050STaylor Simpson to uint64: 0 (INEXACT ) 5807eabb050STaylor Simpsonfrom double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 5817eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT ) 5827eabb050STaylor Simpson to int32: 0 (INEXACT ) 5837eabb050STaylor Simpson to int64: 0 (INEXACT ) 5847eabb050STaylor Simpson to uint32: 0 (INEXACT ) 5857eabb050STaylor Simpson to uint64: 0 (INEXACT ) 5867eabb050STaylor Simpsonfrom double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 5877eabb050STaylor Simpson to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT ) 5887eabb050STaylor Simpson to int32: 0 (INEXACT ) 5897eabb050STaylor Simpson to int64: 0 (INEXACT ) 5907eabb050STaylor Simpson to uint32: 0 (INEXACT ) 5917eabb050STaylor Simpson to uint64: 0 (INEXACT ) 5927eabb050STaylor Simpsonfrom double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 5937eabb050STaylor Simpson to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT ) 5947eabb050STaylor Simpson to int32: 0 (INEXACT ) 5957eabb050STaylor Simpson to int64: 0 (INEXACT ) 5967eabb050STaylor Simpson to uint32: 0 (INEXACT ) 5977eabb050STaylor Simpson to uint64: 0 (INEXACT ) 5987eabb050STaylor Simpsonfrom double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 5997eabb050STaylor Simpson to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT ) 6007eabb050STaylor Simpson to int32: 0 (INEXACT ) 6017eabb050STaylor Simpson to int64: 0 (INEXACT ) 6027eabb050STaylor Simpson to uint32: 0 (INEXACT ) 6037eabb050STaylor Simpson to uint64: 0 (INEXACT ) 6047eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 6057eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 6067eabb050STaylor Simpson to int32: 1 (OK) 6077eabb050STaylor Simpson to int64: 1 (OK) 6087eabb050STaylor Simpson to uint32: 1 (OK) 6097eabb050STaylor Simpson to uint64: 1 (OK) 6107eabb050STaylor Simpsonfrom double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 6117eabb050STaylor Simpson to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 6127eabb050STaylor Simpson to int32: 1 (INEXACT ) 6137eabb050STaylor Simpson to int64: 1 (INEXACT ) 6147eabb050STaylor Simpson to uint32: 1 (INEXACT ) 6157eabb050STaylor Simpson to uint64: 1 (INEXACT ) 6167eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 6177eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 6187eabb050STaylor Simpson to int32: 0 (INEXACT ) 6197eabb050STaylor Simpson to int64: 0 (INEXACT ) 6207eabb050STaylor Simpson to uint32: 0 (INEXACT ) 6217eabb050STaylor Simpson to uint64: 0 (INEXACT ) 6227eabb050STaylor Simpsonfrom double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680) 6237eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 6247eabb050STaylor Simpson to int32: 0 (INEXACT ) 6257eabb050STaylor Simpson to int64: 0 (INEXACT ) 6267eabb050STaylor Simpson to uint32: 0 (INEXACT ) 6277eabb050STaylor Simpson to uint64: 0 (INEXACT ) 6287eabb050STaylor Simpsonfrom double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210) 6297eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 6307eabb050STaylor Simpson to int32: 0 (INEXACT ) 6317eabb050STaylor Simpson to int64: 0 (INEXACT ) 6327eabb050STaylor Simpson to uint32: 0 (INEXACT ) 6337eabb050STaylor Simpson to uint64: 0 (INEXACT ) 6347eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 6357eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 6367eabb050STaylor Simpson to int32: 1 (OK) 6377eabb050STaylor Simpson to int64: 1 (OK) 6387eabb050STaylor Simpson to uint32: 1 (OK) 6397eabb050STaylor Simpson to uint64: 1 (OK) 6407eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 6417eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 6427eabb050STaylor Simpson to int32: 2 (OK) 6437eabb050STaylor Simpson to int64: 2 (OK) 6447eabb050STaylor Simpson to uint32: 2 (OK) 6457eabb050STaylor Simpson to uint64: 2 (OK) 6467eabb050STaylor Simpsonfrom double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 6477eabb050STaylor Simpson to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT ) 6487eabb050STaylor Simpson to int32: 2 (INEXACT ) 6497eabb050STaylor Simpson to int64: 2 (INEXACT ) 6507eabb050STaylor Simpson to uint32: 2 (INEXACT ) 6517eabb050STaylor Simpson to uint64: 2 (INEXACT ) 6527eabb050STaylor Simpsonfrom double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 6537eabb050STaylor Simpson to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT ) 6547eabb050STaylor Simpson to int32: 3 (INEXACT ) 6557eabb050STaylor Simpson to int64: 3 (INEXACT ) 6567eabb050STaylor Simpson to uint32: 3 (INEXACT ) 6577eabb050STaylor Simpson to uint64: 3 (INEXACT ) 6587eabb050STaylor Simpsonfrom double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 6597eabb050STaylor Simpson to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 6607eabb050STaylor Simpson to int32: 65503 (OK) 6617eabb050STaylor Simpson to int64: 65503 (OK) 6627eabb050STaylor Simpson to uint32: 65503 (OK) 6637eabb050STaylor Simpson to uint64: 65503 (OK) 6647eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 6657eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 6667eabb050STaylor Simpson to int32: 65504 (OK) 6677eabb050STaylor Simpson to int64: 65504 (OK) 6687eabb050STaylor Simpson to uint32: 65504 (OK) 6697eabb050STaylor Simpson to uint64: 65504 (OK) 6707eabb050STaylor Simpsonfrom double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 6717eabb050STaylor Simpson to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 6727eabb050STaylor Simpson to int32: 65505 (OK) 6737eabb050STaylor Simpson to int64: 65505 (OK) 6747eabb050STaylor Simpson to uint32: 65505 (OK) 6757eabb050STaylor Simpson to uint64: 65505 (OK) 6767eabb050STaylor Simpsonfrom double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 6777eabb050STaylor Simpson to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 6787eabb050STaylor Simpson to int32: 131007 (OK) 6797eabb050STaylor Simpson to int64: 131007 (OK) 6807eabb050STaylor Simpson to uint32: 131007 (OK) 6817eabb050STaylor Simpson to uint64: 131007 (OK) 6827eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 6837eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 6847eabb050STaylor Simpson to int32: 131008 (OK) 6857eabb050STaylor Simpson to int64: 131008 (OK) 6867eabb050STaylor Simpson to uint32: 131008 (OK) 6877eabb050STaylor Simpson to uint64: 131008 (OK) 6887eabb050STaylor Simpsonfrom double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 6897eabb050STaylor Simpson to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 6907eabb050STaylor Simpson to int32: 131009 (OK) 6917eabb050STaylor Simpson to int64: 131009 (OK) 6927eabb050STaylor Simpson to uint32: 131009 (OK) 6937eabb050STaylor Simpson to uint64: 131009 (OK) 6947eabb050STaylor Simpsonfrom double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 6957eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT ) 6967eabb050STaylor Simpson to int32: 2147483647 (OK) 6977eabb050STaylor Simpson to int64: 2147483647 (OK) 6987eabb050STaylor Simpson to uint32: 2147483647 (OK) 6997eabb050STaylor Simpson to uint64: 2147483647 (OK) 7007eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 7017eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 7027eabb050STaylor Simpson to int32: 2147483647 (INVALID) 7037eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 7047eabb050STaylor Simpson to uint32: -1 (INVALID) 7057eabb050STaylor Simpson to uint64: -1 (INVALID) 7067eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 7077eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 7087eabb050STaylor Simpson to int32: 2147483647 (INVALID) 7097eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 7107eabb050STaylor Simpson to uint32: -1 (INVALID) 7117eabb050STaylor Simpson to uint64: -1 (INVALID) 7127eabb050STaylor Simpsonfrom double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 7137eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT ) 7147eabb050STaylor Simpson to int32: 2147483647 (INVALID) 7157eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 7167eabb050STaylor Simpson to uint32: -1 (INVALID) 7177eabb050STaylor Simpson to uint64: -1 (INVALID) 7187eabb050STaylor Simpsonfrom double: f64(inf:0x007ff0000000000000) 7197eabb050STaylor Simpson to single: f32(inf:0x7f800000) (OK) 7207eabb050STaylor Simpson to int32: 2147483647 (INVALID) 7217eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 7227eabb050STaylor Simpson to uint32: -1 (INVALID) 7237eabb050STaylor Simpson to uint64: -1 (INVALID) 7247eabb050STaylor Simpsonfrom double: f64(nan:0x007ff8000000000000) 7257eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 7267eabb050STaylor Simpson to int32: -1 (INVALID) 7277eabb050STaylor Simpson to int64: -1 (INVALID) 7287eabb050STaylor Simpson to uint32: -1 (INVALID) 7297eabb050STaylor Simpson to uint64: -1 (INVALID) 7307eabb050STaylor Simpsonfrom double: f64(nan:0x007ff0000000000001) 7317eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 7327eabb050STaylor Simpson to int32: -1 (INVALID) 7337eabb050STaylor Simpson to int64: -1 (INVALID) 7347eabb050STaylor Simpson to uint32: -1 (INVALID) 7357eabb050STaylor Simpson to uint64: -1 (INVALID) 7367eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 7377eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 7387eabb050STaylor Simpson to int32: -1 (INVALID) 7397eabb050STaylor Simpson to int64: -1 (INVALID) 7407eabb050STaylor Simpson to uint32: -1 (INVALID) 7417eabb050STaylor Simpson to uint64: -1 (INVALID) 7427eabb050STaylor Simpson### Rounding to zero 7437eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 7447eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 7457eabb050STaylor Simpson to int32: -1 (INVALID) 7467eabb050STaylor Simpson to int64: -1 (INVALID) 7477eabb050STaylor Simpson to uint32: -1 (INVALID) 7487eabb050STaylor Simpson to uint64: -1 (INVALID) 7497eabb050STaylor Simpsonfrom double: f64(-nan:0x00fff8000000000000) 7507eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 7517eabb050STaylor Simpson to int32: -1 (INVALID) 7527eabb050STaylor Simpson to int64: -1 (INVALID) 7537eabb050STaylor Simpson to uint32: -1 (INVALID) 7547eabb050STaylor Simpson to uint64: -1 (INVALID) 7557eabb050STaylor Simpsonfrom double: f64(-inf:0x00fff0000000000000) 7567eabb050STaylor Simpson to single: f32(-inf:0xff800000) (OK) 7577eabb050STaylor Simpson to int32: -2147483648 (INVALID) 7587eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 7597eabb050STaylor Simpson to uint32: 0 (INVALID) 7607eabb050STaylor Simpson to uint64: 0 (INVALID) 7617eabb050STaylor Simpsonfrom double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 7627eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT ) 7637eabb050STaylor Simpson to int32: -2147483648 (INVALID) 7647eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 7657eabb050STaylor Simpson to uint32: 0 (INVALID) 7667eabb050STaylor Simpson to uint64: 0 (INVALID) 7677eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 7687eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 7697eabb050STaylor Simpson to int32: -2147483648 (INVALID) 7707eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 7717eabb050STaylor Simpson to uint32: 0 (INVALID) 7727eabb050STaylor Simpson to uint64: 0 (INVALID) 7737eabb050STaylor Simpsonfrom double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 7747eabb050STaylor Simpson to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 7757eabb050STaylor Simpson to int32: -2147483648 (INVALID) 7767eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 7777eabb050STaylor Simpson to uint32: 0 (INVALID) 7787eabb050STaylor Simpson to uint64: 0 (INVALID) 7797eabb050STaylor Simpsonfrom double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 7807eabb050STaylor Simpson to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT ) 7817eabb050STaylor Simpson to int32: -2147483648 (INVALID) 7827eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 7837eabb050STaylor Simpson to uint32: 0 (INVALID) 7847eabb050STaylor Simpson to uint64: 0 (INVALID) 7857eabb050STaylor Simpsonfrom double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 7867eabb050STaylor Simpson to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT ) 7877eabb050STaylor Simpson to int32: -2147483648 (INVALID) 7887eabb050STaylor Simpson to int64: -9223372036854775808 (INVALID) 7897eabb050STaylor Simpson to uint32: 0 (INVALID) 7907eabb050STaylor Simpson to uint64: 0 (INVALID) 7917eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 7927eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 7937eabb050STaylor Simpson to int32: -2 (OK) 7947eabb050STaylor Simpson to int64: -2 (OK) 7957eabb050STaylor Simpson to uint32: 0 (INVALID) 7967eabb050STaylor Simpson to uint64: 0 (INVALID) 7977eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 7987eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 7997eabb050STaylor Simpson to int32: -1 (OK) 8007eabb050STaylor Simpson to int64: -1 (OK) 8017eabb050STaylor Simpson to uint32: 0 (INVALID) 8027eabb050STaylor Simpson to uint64: 0 (INVALID) 8037eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 8047eabb050STaylor Simpson to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT ) 8057eabb050STaylor Simpson to int32: 0 (INEXACT ) 8067eabb050STaylor Simpson to int64: 0 (INEXACT ) 8077eabb050STaylor Simpson to uint32: 0 (INVALID) 8087eabb050STaylor Simpson to uint64: 0 (INVALID) 8097eabb050STaylor Simpsonfrom double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 8107eabb050STaylor Simpson to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 8117eabb050STaylor Simpson to int32: 0 (INEXACT ) 8127eabb050STaylor Simpson to int64: 0 (INEXACT ) 8137eabb050STaylor Simpson to uint32: 0 (INVALID) 8147eabb050STaylor Simpson to uint64: 0 (INVALID) 8157eabb050STaylor Simpsonfrom double: f64(0x0.00000000000000000000p+0:00000000000000000000) 8167eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 8177eabb050STaylor Simpson to int32: 0 (OK) 8187eabb050STaylor Simpson to int64: 0 (OK) 8197eabb050STaylor Simpson to uint32: 0 (OK) 8207eabb050STaylor Simpson to uint64: 0 (OK) 8217eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 8227eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 8237eabb050STaylor Simpson to int32: 0 (INEXACT ) 8247eabb050STaylor Simpson to int64: 0 (INEXACT ) 8257eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8267eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8277eabb050STaylor Simpsonfrom double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 8287eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT ) 8297eabb050STaylor Simpson to int32: 0 (INEXACT ) 8307eabb050STaylor Simpson to int64: 0 (INEXACT ) 8317eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8327eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8337eabb050STaylor Simpsonfrom double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 8347eabb050STaylor Simpson to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT ) 8357eabb050STaylor Simpson to int32: 0 (INEXACT ) 8367eabb050STaylor Simpson to int64: 0 (INEXACT ) 8377eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8387eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8397eabb050STaylor Simpsonfrom double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 8407eabb050STaylor Simpson to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT ) 8417eabb050STaylor Simpson to int32: 0 (INEXACT ) 8427eabb050STaylor Simpson to int64: 0 (INEXACT ) 8437eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8447eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8457eabb050STaylor Simpsonfrom double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 8467eabb050STaylor Simpson to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT ) 8477eabb050STaylor Simpson to int32: 0 (INEXACT ) 8487eabb050STaylor Simpson to int64: 0 (INEXACT ) 8497eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8507eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8517eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 8527eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 8537eabb050STaylor Simpson to int32: 1 (OK) 8547eabb050STaylor Simpson to int64: 1 (OK) 8557eabb050STaylor Simpson to uint32: 1 (OK) 8567eabb050STaylor Simpson to uint64: 1 (OK) 8577eabb050STaylor Simpsonfrom double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 8587eabb050STaylor Simpson to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 8597eabb050STaylor Simpson to int32: 1 (INEXACT ) 8607eabb050STaylor Simpson to int64: 1 (INEXACT ) 8617eabb050STaylor Simpson to uint32: 1 (INEXACT ) 8627eabb050STaylor Simpson to uint64: 1 (INEXACT ) 8637eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 8647eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 8657eabb050STaylor Simpson to int32: 0 (INEXACT ) 8667eabb050STaylor Simpson to int64: 0 (INEXACT ) 8677eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8687eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8697eabb050STaylor Simpsonfrom double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680) 8707eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 8717eabb050STaylor Simpson to int32: 0 (INEXACT ) 8727eabb050STaylor Simpson to int64: 0 (INEXACT ) 8737eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8747eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8757eabb050STaylor Simpsonfrom double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210) 8767eabb050STaylor Simpson to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 8777eabb050STaylor Simpson to int32: 0 (INEXACT ) 8787eabb050STaylor Simpson to int64: 0 (INEXACT ) 8797eabb050STaylor Simpson to uint32: 0 (INEXACT ) 8807eabb050STaylor Simpson to uint64: 0 (INEXACT ) 8817eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 8827eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 8837eabb050STaylor Simpson to int32: 1 (OK) 8847eabb050STaylor Simpson to int64: 1 (OK) 8857eabb050STaylor Simpson to uint32: 1 (OK) 8867eabb050STaylor Simpson to uint64: 1 (OK) 8877eabb050STaylor Simpsonfrom double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 8887eabb050STaylor Simpson to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 8897eabb050STaylor Simpson to int32: 2 (OK) 8907eabb050STaylor Simpson to int64: 2 (OK) 8917eabb050STaylor Simpson to uint32: 2 (OK) 8927eabb050STaylor Simpson to uint64: 2 (OK) 8937eabb050STaylor Simpsonfrom double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 8947eabb050STaylor Simpson to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT ) 8957eabb050STaylor Simpson to int32: 2 (INEXACT ) 8967eabb050STaylor Simpson to int64: 2 (INEXACT ) 8977eabb050STaylor Simpson to uint32: 2 (INEXACT ) 8987eabb050STaylor Simpson to uint64: 2 (INEXACT ) 8997eabb050STaylor Simpsonfrom double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 9007eabb050STaylor Simpson to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT ) 9017eabb050STaylor Simpson to int32: 3 (INEXACT ) 9027eabb050STaylor Simpson to int64: 3 (INEXACT ) 9037eabb050STaylor Simpson to uint32: 3 (INEXACT ) 9047eabb050STaylor Simpson to uint64: 3 (INEXACT ) 9057eabb050STaylor Simpsonfrom double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 9067eabb050STaylor Simpson to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 9077eabb050STaylor Simpson to int32: 65503 (OK) 9087eabb050STaylor Simpson to int64: 65503 (OK) 9097eabb050STaylor Simpson to uint32: 65503 (OK) 9107eabb050STaylor Simpson to uint64: 65503 (OK) 9117eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 9127eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 9137eabb050STaylor Simpson to int32: 65504 (OK) 9147eabb050STaylor Simpson to int64: 65504 (OK) 9157eabb050STaylor Simpson to uint32: 65504 (OK) 9167eabb050STaylor Simpson to uint64: 65504 (OK) 9177eabb050STaylor Simpsonfrom double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 9187eabb050STaylor Simpson to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 9197eabb050STaylor Simpson to int32: 65505 (OK) 9207eabb050STaylor Simpson to int64: 65505 (OK) 9217eabb050STaylor Simpson to uint32: 65505 (OK) 9227eabb050STaylor Simpson to uint64: 65505 (OK) 9237eabb050STaylor Simpsonfrom double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 9247eabb050STaylor Simpson to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 9257eabb050STaylor Simpson to int32: 131007 (OK) 9267eabb050STaylor Simpson to int64: 131007 (OK) 9277eabb050STaylor Simpson to uint32: 131007 (OK) 9287eabb050STaylor Simpson to uint64: 131007 (OK) 9297eabb050STaylor Simpsonfrom double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 9307eabb050STaylor Simpson to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 9317eabb050STaylor Simpson to int32: 131008 (OK) 9327eabb050STaylor Simpson to int64: 131008 (OK) 9337eabb050STaylor Simpson to uint32: 131008 (OK) 9347eabb050STaylor Simpson to uint64: 131008 (OK) 9357eabb050STaylor Simpsonfrom double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 9367eabb050STaylor Simpson to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 9377eabb050STaylor Simpson to int32: 131009 (OK) 9387eabb050STaylor Simpson to int64: 131009 (OK) 9397eabb050STaylor Simpson to uint32: 131009 (OK) 9407eabb050STaylor Simpson to uint64: 131009 (OK) 9417eabb050STaylor Simpsonfrom double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 9427eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT ) 9437eabb050STaylor Simpson to int32: 2147483647 (OK) 9447eabb050STaylor Simpson to int64: 2147483647 (OK) 9457eabb050STaylor Simpson to uint32: 2147483647 (OK) 9467eabb050STaylor Simpson to uint64: 2147483647 (OK) 9477eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 9487eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 9497eabb050STaylor Simpson to int32: 2147483647 (INVALID) 9507eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 9517eabb050STaylor Simpson to uint32: -1 (INVALID) 9527eabb050STaylor Simpson to uint64: -1 (INVALID) 9537eabb050STaylor Simpsonfrom double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 9547eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 9557eabb050STaylor Simpson to int32: 2147483647 (INVALID) 9567eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 9577eabb050STaylor Simpson to uint32: -1 (INVALID) 9587eabb050STaylor Simpson to uint64: -1 (INVALID) 9597eabb050STaylor Simpsonfrom double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 9607eabb050STaylor Simpson to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT ) 9617eabb050STaylor Simpson to int32: 2147483647 (INVALID) 9627eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 9637eabb050STaylor Simpson to uint32: -1 (INVALID) 9647eabb050STaylor Simpson to uint64: -1 (INVALID) 9657eabb050STaylor Simpsonfrom double: f64(inf:0x007ff0000000000000) 9667eabb050STaylor Simpson to single: f32(inf:0x7f800000) (OK) 9677eabb050STaylor Simpson to int32: 2147483647 (INVALID) 9687eabb050STaylor Simpson to int64: 9223372036854775807 (INVALID) 9697eabb050STaylor Simpson to uint32: -1 (INVALID) 9707eabb050STaylor Simpson to uint64: -1 (INVALID) 9717eabb050STaylor Simpsonfrom double: f64(nan:0x007ff8000000000000) 9727eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (OK) 9737eabb050STaylor Simpson to int32: -1 (INVALID) 9747eabb050STaylor Simpson to int64: -1 (INVALID) 9757eabb050STaylor Simpson to uint32: -1 (INVALID) 9767eabb050STaylor Simpson to uint64: -1 (INVALID) 9777eabb050STaylor Simpsonfrom double: f64(nan:0x007ff0000000000001) 9787eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 9797eabb050STaylor Simpson to int32: -1 (INVALID) 9807eabb050STaylor Simpson to int64: -1 (INVALID) 9817eabb050STaylor Simpson to uint32: -1 (INVALID) 9827eabb050STaylor Simpson to uint64: -1 (INVALID) 9837eabb050STaylor Simpsonfrom double: f64(nan:0x007ff4000000000000) 9847eabb050STaylor Simpson to single: f32(-nan:0xffffffff) (INVALID) 9857eabb050STaylor Simpson to int32: -1 (INVALID) 9867eabb050STaylor Simpson to int64: -1 (INVALID) 9877eabb050STaylor Simpson to uint32: -1 (INVALID) 9887eabb050STaylor Simpson to uint64: -1 (INVALID) 989