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