float_convs.ref (28849B)
1### Rounding to nearest 2from single: f32(-nan:0xffa00000) 3 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 4 to int32: -1 (INVALID) 5 to int64: -1 (INVALID) 6 to uint32: -1 (INVALID) 7 to uint64: -1 (INVALID) 8from single: f32(-nan:0xffc00000) 9 to double: f64(-nan:0x00ffffffffffffffff) (OK) 10 to int32: -1 (INVALID) 11 to int64: -1 (INVALID) 12 to uint32: -1 (INVALID) 13 to uint64: -1 (INVALID) 14from single: f32(-inf:0xff800000) 15 to double: f64(-inf:0x00fff0000000000000) (OK) 16 to int32: -2147483648 (INVALID) 17 to int64: -9223372036854775808 (INVALID) 18 to uint32: 0 (INVALID) 19 to uint64: 0 (INVALID) 20from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) 21 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (INEXACT ) 22 to int32: -2147483648 (INVALID) 23 to int64: -9223372036854775808 (INVALID) 24 to uint32: 0 (INVALID) 25 to uint64: 0 (INVALID) 26from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) 27 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (INEXACT ) 28 to int32: -2147483648 (INVALID) 29 to int64: -9223372036854775808 (INVALID) 30 to uint32: 0 (INVALID) 31 to uint64: 0 (INVALID) 32from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) 33 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (INEXACT ) 34 to int32: -2147483648 (INVALID) 35 to int64: -9223372036854775808 (INVALID) 36 to uint32: 0 (INVALID) 37 to uint64: 0 (INVALID) 38from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8) 39 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (INEXACT ) 40 to int32: 0 (INEXACT ) 41 to int64: 0 (INEXACT ) 42 to uint32: 0 (INVALID) 43 to uint64: 0 (INVALID) 44from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22) 45 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (INEXACT ) 46 to int32: 0 (INEXACT ) 47 to int64: 0 (INEXACT ) 48 to uint32: 0 (INVALID) 49 to uint64: 0 (INVALID) 50from single: f32(-0x1.00000000000000000000p-126:0x80800000) 51 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK) 52 to int32: 0 (INEXACT ) 53 to int64: 0 (INEXACT ) 54 to uint32: 0 (INVALID) 55 to uint64: 0 (INVALID) 56from single: f32(0x0.00000000000000000000p+0:0000000000) 57 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK) 58 to int32: 0 (OK) 59 to int64: 0 (OK) 60 to uint32: 0 (OK) 61 to uint64: 0 (OK) 62from single: f32(0x1.00000000000000000000p-126:0x00800000) 63 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK) 64 to int32: 0 (INEXACT ) 65 to int64: 0 (INEXACT ) 66 to uint32: 0 (INEXACT ) 67 to uint64: 0 (INEXACT ) 68from single: f32(0x1.00000000000000000000p-25:0x33000000) 69 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK) 70 to int32: 0 (INEXACT ) 71 to int64: 0 (INEXACT ) 72 to uint32: 0 (INEXACT ) 73 to uint64: 0 (INEXACT ) 74from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) 75 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (INEXACT ) 76 to int32: 0 (INEXACT ) 77 to int64: 0 (INEXACT ) 78 to uint32: 0 (INEXACT ) 79 to uint64: 0 (INEXACT ) 80from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) 81 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (INEXACT ) 82 to int32: 0 (INEXACT ) 83 to int64: 0 (INEXACT ) 84 to uint32: 0 (INEXACT ) 85 to uint64: 0 (INEXACT ) 86from single: f32(0x1.00000c00000000000000p-14:0x38800006) 87 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (INEXACT ) 88 to int32: 0 (INEXACT ) 89 to int64: 0 (INEXACT ) 90 to uint32: 0 (INEXACT ) 91 to uint64: 0 (INEXACT ) 92from single: f32(0x1.00000000000000000000p+0:0x3f800000) 93 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK) 94 to int32: 1 (OK) 95 to int64: 1 (OK) 96 to uint32: 1 (OK) 97 to uint64: 1 (OK) 98from single: f32(0x1.00400000000000000000p+0:0x3f802000) 99 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (INEXACT ) 100 to int32: 1 (INEXACT ) 101 to int64: 1 (INEXACT ) 102 to uint32: 1 (INEXACT ) 103 to uint64: 1 (INEXACT ) 104from single: f32(0x1.00000000000000000000p+1:0x40000000) 105 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK) 106 to int32: 2 (OK) 107 to int64: 2 (OK) 108 to uint32: 2 (OK) 109 to uint64: 2 (OK) 110from single: f32(0x1.5bf0a800000000000000p+1:0x402df854) 111 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (INEXACT ) 112 to int32: 2 (INEXACT ) 113 to int64: 2 (INEXACT ) 114 to uint32: 2 (INEXACT ) 115 to uint64: 2 (INEXACT ) 116from single: f32(0x1.921fb600000000000000p+1:0x40490fdb) 117 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (INEXACT ) 118 to int32: 3 (INEXACT ) 119 to int64: 3 (INEXACT ) 120 to uint32: 3 (INEXACT ) 121 to uint64: 3 (INEXACT ) 122from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) 123 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (INEXACT ) 124 to int32: 65503 (OK) 125 to int64: 65503 (OK) 126 to uint32: 65503 (OK) 127 to uint64: 65503 (OK) 128from single: f32(0x1.ffc00000000000000000p+15:0x477fe000) 129 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (INEXACT ) 130 to int32: 65504 (OK) 131 to int64: 65504 (OK) 132 to uint32: 65504 (OK) 133 to uint64: 65504 (OK) 134from single: f32(0x1.ffc20000000000000000p+15:0x477fe100) 135 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (INEXACT ) 136 to int32: 65505 (OK) 137 to int64: 65505 (OK) 138 to uint32: 65505 (OK) 139 to uint64: 65505 (OK) 140from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) 141 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (INEXACT ) 142 to int32: 131007 (OK) 143 to int64: 131007 (OK) 144 to uint32: 131007 (OK) 145 to uint64: 131007 (OK) 146from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) 147 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (INEXACT ) 148 to int32: 131008 (OK) 149 to int64: 131008 (OK) 150 to uint32: 131008 (OK) 151 to uint64: 131008 (OK) 152from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) 153 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (INEXACT ) 154 to int32: 131009 (OK) 155 to int64: 131009 (OK) 156 to uint32: 131009 (OK) 157 to uint64: 131009 (OK) 158from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b) 159 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (INEXACT ) 160 to int32: 2147483647 (INVALID) 161 to int64: 9223372036854775807 (INVALID) 162 to uint32: -1 (INVALID) 163 to uint64: -1 (INVALID) 164from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) 165 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (INEXACT ) 166 to int32: 2147483647 (INVALID) 167 to int64: 9223372036854775807 (INVALID) 168 to uint32: -1 (INVALID) 169 to uint64: -1 (INVALID) 170from single: f32(inf:0x7f800000) 171 to double: f64(inf:0x007ff0000000000000) (OK) 172 to int32: 2147483647 (INVALID) 173 to int64: 9223372036854775807 (INVALID) 174 to uint32: -1 (INVALID) 175 to uint64: -1 (INVALID) 176from single: f32(-nan:0x7fc00000) 177 to double: f64(-nan:0x00ffffffffffffffff) (OK) 178 to int32: -1 (INVALID) 179 to int64: -1 (INVALID) 180 to uint32: -1 (INVALID) 181 to uint64: -1 (INVALID) 182from single: f32(-nan:0x7fa00000) 183 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 184 to int32: -1 (INVALID) 185 to int64: -1 (INVALID) 186 to uint32: -1 (INVALID) 187 to uint64: -1 (INVALID) 188### Rounding upwards 189from single: f32(-nan:0xffa00000) 190 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 191 to int32: -1 (INVALID) 192 to int64: -1 (INVALID) 193 to uint32: -1 (INVALID) 194 to uint64: -1 (INVALID) 195from single: f32(-nan:0xffc00000) 196 to double: f64(-nan:0x00ffffffffffffffff) (OK) 197 to int32: -1 (INVALID) 198 to int64: -1 (INVALID) 199 to uint32: -1 (INVALID) 200 to uint64: -1 (INVALID) 201from single: f32(-inf:0xff800000) 202 to double: f64(-inf:0x00fff0000000000000) (OK) 203 to int32: -2147483648 (INVALID) 204 to int64: -9223372036854775808 (INVALID) 205 to uint32: 0 (INVALID) 206 to uint64: 0 (INVALID) 207from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) 208 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (INEXACT ) 209 to int32: -2147483648 (INVALID) 210 to int64: -9223372036854775808 (INVALID) 211 to uint32: 0 (INVALID) 212 to uint64: 0 (INVALID) 213from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) 214 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (INEXACT ) 215 to int32: -2147483648 (INVALID) 216 to int64: -9223372036854775808 (INVALID) 217 to uint32: 0 (INVALID) 218 to uint64: 0 (INVALID) 219from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) 220 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (INEXACT ) 221 to int32: -2147483648 (INVALID) 222 to int64: -9223372036854775808 (INVALID) 223 to uint32: 0 (INVALID) 224 to uint64: 0 (INVALID) 225from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8) 226 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (INEXACT ) 227 to int32: 0 (INEXACT ) 228 to int64: 0 (INEXACT ) 229 to uint32: 0 (INVALID) 230 to uint64: 0 (INVALID) 231from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22) 232 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (INEXACT ) 233 to int32: 0 (INEXACT ) 234 to int64: 0 (INEXACT ) 235 to uint32: 0 (INVALID) 236 to uint64: 0 (INVALID) 237from single: f32(-0x1.00000000000000000000p-126:0x80800000) 238 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK) 239 to int32: 0 (INEXACT ) 240 to int64: 0 (INEXACT ) 241 to uint32: 0 (INVALID) 242 to uint64: 0 (INVALID) 243from single: f32(0x0.00000000000000000000p+0:0000000000) 244 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK) 245 to int32: 0 (OK) 246 to int64: 0 (OK) 247 to uint32: 0 (OK) 248 to uint64: 0 (OK) 249from single: f32(0x1.00000000000000000000p-126:0x00800000) 250 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK) 251 to int32: 0 (INEXACT ) 252 to int64: 0 (INEXACT ) 253 to uint32: 0 (INEXACT ) 254 to uint64: 0 (INEXACT ) 255from single: f32(0x1.00000000000000000000p-25:0x33000000) 256 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK) 257 to int32: 0 (INEXACT ) 258 to int64: 0 (INEXACT ) 259 to uint32: 0 (INEXACT ) 260 to uint64: 0 (INEXACT ) 261from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) 262 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (INEXACT ) 263 to int32: 0 (INEXACT ) 264 to int64: 0 (INEXACT ) 265 to uint32: 0 (INEXACT ) 266 to uint64: 0 (INEXACT ) 267from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) 268 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (INEXACT ) 269 to int32: 0 (INEXACT ) 270 to int64: 0 (INEXACT ) 271 to uint32: 0 (INEXACT ) 272 to uint64: 0 (INEXACT ) 273from single: f32(0x1.00000c00000000000000p-14:0x38800006) 274 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (INEXACT ) 275 to int32: 0 (INEXACT ) 276 to int64: 0 (INEXACT ) 277 to uint32: 0 (INEXACT ) 278 to uint64: 0 (INEXACT ) 279from single: f32(0x1.00000000000000000000p+0:0x3f800000) 280 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK) 281 to int32: 1 (OK) 282 to int64: 1 (OK) 283 to uint32: 1 (OK) 284 to uint64: 1 (OK) 285from single: f32(0x1.00400000000000000000p+0:0x3f802000) 286 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (INEXACT ) 287 to int32: 1 (INEXACT ) 288 to int64: 1 (INEXACT ) 289 to uint32: 1 (INEXACT ) 290 to uint64: 1 (INEXACT ) 291from single: f32(0x1.00000000000000000000p+1:0x40000000) 292 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK) 293 to int32: 2 (OK) 294 to int64: 2 (OK) 295 to uint32: 2 (OK) 296 to uint64: 2 (OK) 297from single: f32(0x1.5bf0a800000000000000p+1:0x402df854) 298 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (INEXACT ) 299 to int32: 2 (INEXACT ) 300 to int64: 2 (INEXACT ) 301 to uint32: 2 (INEXACT ) 302 to uint64: 2 (INEXACT ) 303from single: f32(0x1.921fb600000000000000p+1:0x40490fdb) 304 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (INEXACT ) 305 to int32: 3 (INEXACT ) 306 to int64: 3 (INEXACT ) 307 to uint32: 3 (INEXACT ) 308 to uint64: 3 (INEXACT ) 309from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) 310 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (INEXACT ) 311 to int32: 65503 (OK) 312 to int64: 65503 (OK) 313 to uint32: 65503 (OK) 314 to uint64: 65503 (OK) 315from single: f32(0x1.ffc00000000000000000p+15:0x477fe000) 316 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (INEXACT ) 317 to int32: 65504 (OK) 318 to int64: 65504 (OK) 319 to uint32: 65504 (OK) 320 to uint64: 65504 (OK) 321from single: f32(0x1.ffc20000000000000000p+15:0x477fe100) 322 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (INEXACT ) 323 to int32: 65505 (OK) 324 to int64: 65505 (OK) 325 to uint32: 65505 (OK) 326 to uint64: 65505 (OK) 327from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) 328 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (INEXACT ) 329 to int32: 131007 (OK) 330 to int64: 131007 (OK) 331 to uint32: 131007 (OK) 332 to uint64: 131007 (OK) 333from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) 334 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (INEXACT ) 335 to int32: 131008 (OK) 336 to int64: 131008 (OK) 337 to uint32: 131008 (OK) 338 to uint64: 131008 (OK) 339from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) 340 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (INEXACT ) 341 to int32: 131009 (OK) 342 to int64: 131009 (OK) 343 to uint32: 131009 (OK) 344 to uint64: 131009 (OK) 345from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b) 346 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (INEXACT ) 347 to int32: 2147483647 (INVALID) 348 to int64: 9223372036854775807 (INVALID) 349 to uint32: -1 (INVALID) 350 to uint64: -1 (INVALID) 351from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) 352 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (INEXACT ) 353 to int32: 2147483647 (INVALID) 354 to int64: 9223372036854775807 (INVALID) 355 to uint32: -1 (INVALID) 356 to uint64: -1 (INVALID) 357from single: f32(inf:0x7f800000) 358 to double: f64(inf:0x007ff0000000000000) (OK) 359 to int32: 2147483647 (INVALID) 360 to int64: 9223372036854775807 (INVALID) 361 to uint32: -1 (INVALID) 362 to uint64: -1 (INVALID) 363from single: f32(-nan:0x7fc00000) 364 to double: f64(-nan:0x00ffffffffffffffff) (OK) 365 to int32: -1 (INVALID) 366 to int64: -1 (INVALID) 367 to uint32: -1 (INVALID) 368 to uint64: -1 (INVALID) 369from single: f32(-nan:0x7fa00000) 370 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 371 to int32: -1 (INVALID) 372 to int64: -1 (INVALID) 373 to uint32: -1 (INVALID) 374 to uint64: -1 (INVALID) 375### Rounding downwards 376from single: f32(-nan:0xffa00000) 377 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 378 to int32: -1 (INVALID) 379 to int64: -1 (INVALID) 380 to uint32: -1 (INVALID) 381 to uint64: -1 (INVALID) 382from single: f32(-nan:0xffc00000) 383 to double: f64(-nan:0x00ffffffffffffffff) (OK) 384 to int32: -1 (INVALID) 385 to int64: -1 (INVALID) 386 to uint32: -1 (INVALID) 387 to uint64: -1 (INVALID) 388from single: f32(-inf:0xff800000) 389 to double: f64(-inf:0x00fff0000000000000) (OK) 390 to int32: -2147483648 (INVALID) 391 to int64: -9223372036854775808 (INVALID) 392 to uint32: 0 (INVALID) 393 to uint64: 0 (INVALID) 394from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) 395 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (INEXACT ) 396 to int32: -2147483648 (INVALID) 397 to int64: -9223372036854775808 (INVALID) 398 to uint32: 0 (INVALID) 399 to uint64: 0 (INVALID) 400from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) 401 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (INEXACT ) 402 to int32: -2147483648 (INVALID) 403 to int64: -9223372036854775808 (INVALID) 404 to uint32: 0 (INVALID) 405 to uint64: 0 (INVALID) 406from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) 407 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (INEXACT ) 408 to int32: -2147483648 (INVALID) 409 to int64: -9223372036854775808 (INVALID) 410 to uint32: 0 (INVALID) 411 to uint64: 0 (INVALID) 412from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8) 413 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (INEXACT ) 414 to int32: 0 (INEXACT ) 415 to int64: 0 (INEXACT ) 416 to uint32: 0 (INVALID) 417 to uint64: 0 (INVALID) 418from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22) 419 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (INEXACT ) 420 to int32: 0 (INEXACT ) 421 to int64: 0 (INEXACT ) 422 to uint32: 0 (INVALID) 423 to uint64: 0 (INVALID) 424from single: f32(-0x1.00000000000000000000p-126:0x80800000) 425 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK) 426 to int32: 0 (INEXACT ) 427 to int64: 0 (INEXACT ) 428 to uint32: 0 (INVALID) 429 to uint64: 0 (INVALID) 430from single: f32(0x0.00000000000000000000p+0:0000000000) 431 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK) 432 to int32: 0 (OK) 433 to int64: 0 (OK) 434 to uint32: 0 (OK) 435 to uint64: 0 (OK) 436from single: f32(0x1.00000000000000000000p-126:0x00800000) 437 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK) 438 to int32: 0 (INEXACT ) 439 to int64: 0 (INEXACT ) 440 to uint32: 0 (INEXACT ) 441 to uint64: 0 (INEXACT ) 442from single: f32(0x1.00000000000000000000p-25:0x33000000) 443 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK) 444 to int32: 0 (INEXACT ) 445 to int64: 0 (INEXACT ) 446 to uint32: 0 (INEXACT ) 447 to uint64: 0 (INEXACT ) 448from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) 449 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (INEXACT ) 450 to int32: 0 (INEXACT ) 451 to int64: 0 (INEXACT ) 452 to uint32: 0 (INEXACT ) 453 to uint64: 0 (INEXACT ) 454from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) 455 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (INEXACT ) 456 to int32: 0 (INEXACT ) 457 to int64: 0 (INEXACT ) 458 to uint32: 0 (INEXACT ) 459 to uint64: 0 (INEXACT ) 460from single: f32(0x1.00000c00000000000000p-14:0x38800006) 461 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (INEXACT ) 462 to int32: 0 (INEXACT ) 463 to int64: 0 (INEXACT ) 464 to uint32: 0 (INEXACT ) 465 to uint64: 0 (INEXACT ) 466from single: f32(0x1.00000000000000000000p+0:0x3f800000) 467 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK) 468 to int32: 1 (OK) 469 to int64: 1 (OK) 470 to uint32: 1 (OK) 471 to uint64: 1 (OK) 472from single: f32(0x1.00400000000000000000p+0:0x3f802000) 473 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (INEXACT ) 474 to int32: 1 (INEXACT ) 475 to int64: 1 (INEXACT ) 476 to uint32: 1 (INEXACT ) 477 to uint64: 1 (INEXACT ) 478from single: f32(0x1.00000000000000000000p+1:0x40000000) 479 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK) 480 to int32: 2 (OK) 481 to int64: 2 (OK) 482 to uint32: 2 (OK) 483 to uint64: 2 (OK) 484from single: f32(0x1.5bf0a800000000000000p+1:0x402df854) 485 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (INEXACT ) 486 to int32: 2 (INEXACT ) 487 to int64: 2 (INEXACT ) 488 to uint32: 2 (INEXACT ) 489 to uint64: 2 (INEXACT ) 490from single: f32(0x1.921fb600000000000000p+1:0x40490fdb) 491 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (INEXACT ) 492 to int32: 3 (INEXACT ) 493 to int64: 3 (INEXACT ) 494 to uint32: 3 (INEXACT ) 495 to uint64: 3 (INEXACT ) 496from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) 497 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (INEXACT ) 498 to int32: 65503 (OK) 499 to int64: 65503 (OK) 500 to uint32: 65503 (OK) 501 to uint64: 65503 (OK) 502from single: f32(0x1.ffc00000000000000000p+15:0x477fe000) 503 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (INEXACT ) 504 to int32: 65504 (OK) 505 to int64: 65504 (OK) 506 to uint32: 65504 (OK) 507 to uint64: 65504 (OK) 508from single: f32(0x1.ffc20000000000000000p+15:0x477fe100) 509 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (INEXACT ) 510 to int32: 65505 (OK) 511 to int64: 65505 (OK) 512 to uint32: 65505 (OK) 513 to uint64: 65505 (OK) 514from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) 515 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (INEXACT ) 516 to int32: 131007 (OK) 517 to int64: 131007 (OK) 518 to uint32: 131007 (OK) 519 to uint64: 131007 (OK) 520from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) 521 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (INEXACT ) 522 to int32: 131008 (OK) 523 to int64: 131008 (OK) 524 to uint32: 131008 (OK) 525 to uint64: 131008 (OK) 526from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) 527 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (INEXACT ) 528 to int32: 131009 (OK) 529 to int64: 131009 (OK) 530 to uint32: 131009 (OK) 531 to uint64: 131009 (OK) 532from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b) 533 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (INEXACT ) 534 to int32: 2147483647 (INVALID) 535 to int64: 9223372036854775807 (INVALID) 536 to uint32: -1 (INVALID) 537 to uint64: -1 (INVALID) 538from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) 539 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (INEXACT ) 540 to int32: 2147483647 (INVALID) 541 to int64: 9223372036854775807 (INVALID) 542 to uint32: -1 (INVALID) 543 to uint64: -1 (INVALID) 544from single: f32(inf:0x7f800000) 545 to double: f64(inf:0x007ff0000000000000) (OK) 546 to int32: 2147483647 (INVALID) 547 to int64: 9223372036854775807 (INVALID) 548 to uint32: -1 (INVALID) 549 to uint64: -1 (INVALID) 550from single: f32(-nan:0x7fc00000) 551 to double: f64(-nan:0x00ffffffffffffffff) (OK) 552 to int32: -1 (INVALID) 553 to int64: -1 (INVALID) 554 to uint32: -1 (INVALID) 555 to uint64: -1 (INVALID) 556from single: f32(-nan:0x7fa00000) 557 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 558 to int32: -1 (INVALID) 559 to int64: -1 (INVALID) 560 to uint32: -1 (INVALID) 561 to uint64: -1 (INVALID) 562### Rounding to zero 563from single: f32(-nan:0xffa00000) 564 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 565 to int32: -1 (INVALID) 566 to int64: -1 (INVALID) 567 to uint32: -1 (INVALID) 568 to uint64: -1 (INVALID) 569from single: f32(-nan:0xffc00000) 570 to double: f64(-nan:0x00ffffffffffffffff) (OK) 571 to int32: -1 (INVALID) 572 to int64: -1 (INVALID) 573 to uint32: -1 (INVALID) 574 to uint64: -1 (INVALID) 575from single: f32(-inf:0xff800000) 576 to double: f64(-inf:0x00fff0000000000000) (OK) 577 to int32: -2147483648 (INVALID) 578 to int64: -9223372036854775808 (INVALID) 579 to uint32: 0 (INVALID) 580 to uint64: 0 (INVALID) 581from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) 582 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (INEXACT ) 583 to int32: -2147483648 (INVALID) 584 to int64: -9223372036854775808 (INVALID) 585 to uint32: 0 (INVALID) 586 to uint64: 0 (INVALID) 587from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) 588 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (INEXACT ) 589 to int32: -2147483648 (INVALID) 590 to int64: -9223372036854775808 (INVALID) 591 to uint32: 0 (INVALID) 592 to uint64: 0 (INVALID) 593from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) 594 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (INEXACT ) 595 to int32: -2147483648 (INVALID) 596 to int64: -9223372036854775808 (INVALID) 597 to uint32: 0 (INVALID) 598 to uint64: 0 (INVALID) 599from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8) 600 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (INEXACT ) 601 to int32: 0 (INEXACT ) 602 to int64: 0 (INEXACT ) 603 to uint32: 0 (INVALID) 604 to uint64: 0 (INVALID) 605from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22) 606 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (INEXACT ) 607 to int32: 0 (INEXACT ) 608 to int64: 0 (INEXACT ) 609 to uint32: 0 (INVALID) 610 to uint64: 0 (INVALID) 611from single: f32(-0x1.00000000000000000000p-126:0x80800000) 612 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK) 613 to int32: 0 (INEXACT ) 614 to int64: 0 (INEXACT ) 615 to uint32: 0 (INVALID) 616 to uint64: 0 (INVALID) 617from single: f32(0x0.00000000000000000000p+0:0000000000) 618 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK) 619 to int32: 0 (OK) 620 to int64: 0 (OK) 621 to uint32: 0 (OK) 622 to uint64: 0 (OK) 623from single: f32(0x1.00000000000000000000p-126:0x00800000) 624 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK) 625 to int32: 0 (INEXACT ) 626 to int64: 0 (INEXACT ) 627 to uint32: 0 (INEXACT ) 628 to uint64: 0 (INEXACT ) 629from single: f32(0x1.00000000000000000000p-25:0x33000000) 630 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK) 631 to int32: 0 (INEXACT ) 632 to int64: 0 (INEXACT ) 633 to uint32: 0 (INEXACT ) 634 to uint64: 0 (INEXACT ) 635from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) 636 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (INEXACT ) 637 to int32: 0 (INEXACT ) 638 to int64: 0 (INEXACT ) 639 to uint32: 0 (INEXACT ) 640 to uint64: 0 (INEXACT ) 641from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) 642 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (INEXACT ) 643 to int32: 0 (INEXACT ) 644 to int64: 0 (INEXACT ) 645 to uint32: 0 (INEXACT ) 646 to uint64: 0 (INEXACT ) 647from single: f32(0x1.00000c00000000000000p-14:0x38800006) 648 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (INEXACT ) 649 to int32: 0 (INEXACT ) 650 to int64: 0 (INEXACT ) 651 to uint32: 0 (INEXACT ) 652 to uint64: 0 (INEXACT ) 653from single: f32(0x1.00000000000000000000p+0:0x3f800000) 654 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK) 655 to int32: 1 (OK) 656 to int64: 1 (OK) 657 to uint32: 1 (OK) 658 to uint64: 1 (OK) 659from single: f32(0x1.00400000000000000000p+0:0x3f802000) 660 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (INEXACT ) 661 to int32: 1 (INEXACT ) 662 to int64: 1 (INEXACT ) 663 to uint32: 1 (INEXACT ) 664 to uint64: 1 (INEXACT ) 665from single: f32(0x1.00000000000000000000p+1:0x40000000) 666 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK) 667 to int32: 2 (OK) 668 to int64: 2 (OK) 669 to uint32: 2 (OK) 670 to uint64: 2 (OK) 671from single: f32(0x1.5bf0a800000000000000p+1:0x402df854) 672 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (INEXACT ) 673 to int32: 2 (INEXACT ) 674 to int64: 2 (INEXACT ) 675 to uint32: 2 (INEXACT ) 676 to uint64: 2 (INEXACT ) 677from single: f32(0x1.921fb600000000000000p+1:0x40490fdb) 678 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (INEXACT ) 679 to int32: 3 (INEXACT ) 680 to int64: 3 (INEXACT ) 681 to uint32: 3 (INEXACT ) 682 to uint64: 3 (INEXACT ) 683from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) 684 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (INEXACT ) 685 to int32: 65503 (OK) 686 to int64: 65503 (OK) 687 to uint32: 65503 (OK) 688 to uint64: 65503 (OK) 689from single: f32(0x1.ffc00000000000000000p+15:0x477fe000) 690 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (INEXACT ) 691 to int32: 65504 (OK) 692 to int64: 65504 (OK) 693 to uint32: 65504 (OK) 694 to uint64: 65504 (OK) 695from single: f32(0x1.ffc20000000000000000p+15:0x477fe100) 696 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (INEXACT ) 697 to int32: 65505 (OK) 698 to int64: 65505 (OK) 699 to uint32: 65505 (OK) 700 to uint64: 65505 (OK) 701from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) 702 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (INEXACT ) 703 to int32: 131007 (OK) 704 to int64: 131007 (OK) 705 to uint32: 131007 (OK) 706 to uint64: 131007 (OK) 707from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) 708 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (INEXACT ) 709 to int32: 131008 (OK) 710 to int64: 131008 (OK) 711 to uint32: 131008 (OK) 712 to uint64: 131008 (OK) 713from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) 714 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (INEXACT ) 715 to int32: 131009 (OK) 716 to int64: 131009 (OK) 717 to uint32: 131009 (OK) 718 to uint64: 131009 (OK) 719from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b) 720 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (INEXACT ) 721 to int32: 2147483647 (INVALID) 722 to int64: 9223372036854775807 (INVALID) 723 to uint32: -1 (INVALID) 724 to uint64: -1 (INVALID) 725from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) 726 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (INEXACT ) 727 to int32: 2147483647 (INVALID) 728 to int64: 9223372036854775807 (INVALID) 729 to uint32: -1 (INVALID) 730 to uint64: -1 (INVALID) 731from single: f32(inf:0x7f800000) 732 to double: f64(inf:0x007ff0000000000000) (OK) 733 to int32: 2147483647 (INVALID) 734 to int64: 9223372036854775807 (INVALID) 735 to uint32: -1 (INVALID) 736 to uint64: -1 (INVALID) 737from single: f32(-nan:0x7fc00000) 738 to double: f64(-nan:0x00ffffffffffffffff) (OK) 739 to int32: -1 (INVALID) 740 to int64: -1 (INVALID) 741 to uint32: -1 (INVALID) 742 to uint64: -1 (INVALID) 743from single: f32(-nan:0x7fa00000) 744 to double: f64(-nan:0x00ffffffffffffffff) (INVALID) 745 to int32: -1 (INVALID) 746 to int64: -1 (INVALID) 747 to uint32: -1 (INVALID) 748 to uint64: -1 (INVALID)