tests/tcg/x86_64/float_convd.ref

   1 ### Rounding to nearest
   2 from double: f64(nan:0x007ff4000000000000)
   3   to single: f32(nan:0x7fe00000) (INVALID)
   4    to int32: -2147483648 (INVALID)
   5    to int64: -9223372036854775808 (INVALID)
   6   to uint32: 0 (INVALID)
   7   to uint64: -9223372036854775808 (INVALID)
   8 from double: f64(-nan:0x00fff8000000000000)
   9   to single: f32(-nan:0xffc00000) (OK)
  10    to int32: -2147483648 (INVALID)
  11    to int64: -9223372036854775808 (INVALID)
  12   to uint32: 0 (INVALID)
  13   to uint64: -9223372036854775808 (INVALID)
  14 from double: f64(-inf:0x00fff0000000000000)
  15   to single: f32(-inf:0xff800000) (OK)
  16    to int32: -2147483648 (INVALID)
  17    to int64: -9223372036854775808 (INVALID)
  18   to uint32: 0 (INVALID)
  19   to uint64: -9223372036854775808 (INVALID)
  20 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
  21   to single: f32(-inf:0xff800000) (OVERFLOW INEXACT )
  22    to int32: -2147483648 (INVALID)
  23    to int64: -9223372036854775808 (INVALID)
  24   to uint32: 0 (INVALID)
  25   to uint64: -9223372036854775808 (INVALID)
  26 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
  27   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
  28    to int32: -2147483648 (INVALID)
  29    to int64: -9223372036854775808 (INVALID)
  30   to uint32: 0 (INVALID)
  31   to uint64: -9223372036854775808 (INVALID)
  32 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
  33   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
  34    to int32: -2147483648 (INVALID)
  35    to int64: -9223372036854775808 (INVALID)
  36   to uint32: 0 (INVALID)
  37   to uint64: -9223372036854775808 (INVALID)
  38 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
  39   to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT )
  40    to int32: -2147483648 (INVALID)
  41    to int64: -9223372036854775808 (INVALID)
  42   to uint32: 0 (INVALID)
  43   to uint64: -9223372036854775808 (INVALID)
  44 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
  45   to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT )
  46    to int32: -2147483648 (INVALID)
  47    to int64: -9223372036854775808 (INVALID)
  48   to uint32: 0 (INVALID)
  49   to uint64: -9223372036854775808 (INVALID)
  50 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
  51   to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
  52    to int32: -2 (OK)
  53    to int64: -2 (OK)
  54   to uint32: -2 (OK)
  55   to uint64: -2 (OK)
  56 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
  57   to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
  58    to int32: -1 (OK)
  59    to int64: -1 (OK)
  60   to uint32: -1 (OK)
  61   to uint64: -1 (OK)
  62 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
  63   to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT )
  64    to int32: 0 (INEXACT )
  65    to int64: 0 (INEXACT )
  66   to uint32: 0 (INEXACT )
  67   to uint64: 0 (INEXACT )
  68 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
  69   to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
  70    to int32: 0 (INEXACT )
  71    to int64: 0 (INEXACT )
  72   to uint32: 0 (INEXACT )
  73   to uint64: 0 (INEXACT )
  74 from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
  75   to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
  76    to int32: 0 (OK)
  77    to int64: 0 (OK)
  78   to uint32: 0 (OK)
  79   to uint64: 0 (OK)
  80 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
  81   to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
  82    to int32: 0 (INEXACT )
  83    to int64: 0 (INEXACT )
  84   to uint32: 0 (INEXACT )
  85   to uint64: 0 (INEXACT )
  86 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
  87   to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
  88    to int32: 0 (INEXACT )
  89    to int64: 0 (INEXACT )
  90   to uint32: 0 (INEXACT )
  91   to uint64: 0 (INEXACT )
  92 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
  93   to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
  94    to int32: 0 (INEXACT )
  95    to int64: 0 (INEXACT )
  96   to uint32: 0 (INEXACT )
  97   to uint64: 0 (INEXACT )
  98 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
  99   to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
 100    to int32: 0 (INEXACT )
 101    to int64: 0 (INEXACT )
 102   to uint32: 0 (INEXACT )
 103   to uint64: 0 (INEXACT )
 104 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
 105   to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
 106    to int32: 0 (INEXACT )
 107    to int64: 0 (INEXACT )
 108   to uint32: 0 (INEXACT )
 109   to uint64: 0 (INEXACT )
 110 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 111   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 112    to int32: 1 (OK)
 113    to int64: 1 (OK)
 114   to uint32: 1 (OK)
 115   to uint64: 1 (OK)
 116 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
 117   to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
 118    to int32: 1 (INEXACT )
 119    to int64: 1 (INEXACT )
 120   to uint32: 1 (INEXACT )
 121   to uint64: 1 (INEXACT )
 122 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
 123   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 124    to int32: 0 (INEXACT )
 125    to int64: 0 (INEXACT )
 126   to uint32: 0 (INEXACT )
 127   to uint64: 0 (INEXACT )
 128 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680)
 129   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 130    to int32: 0 (INEXACT )
 131    to int64: 0 (INEXACT )
 132   to uint32: 0 (INEXACT )
 133   to uint64: 0 (INEXACT )
 134 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210)
 135   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 136    to int32: 0 (INEXACT )
 137    to int64: 0 (INEXACT )
 138   to uint32: 0 (INEXACT )
 139   to uint64: 0 (INEXACT )
 140 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 141   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 142    to int32: 1 (OK)
 143    to int64: 1 (OK)
 144   to uint32: 1 (OK)
 145   to uint64: 1 (OK)
 146 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
 147   to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
 148    to int32: 2 (OK)
 149    to int64: 2 (OK)
 150   to uint32: 2 (OK)
 151   to uint64: 2 (OK)
 152 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
 153   to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
 154    to int32: 2 (INEXACT )
 155    to int64: 2 (INEXACT )
 156   to uint32: 2 (INEXACT )
 157   to uint64: 2 (INEXACT )
 158 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
 159   to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT )
 160    to int32: 3 (INEXACT )
 161    to int64: 3 (INEXACT )
 162   to uint32: 3 (INEXACT )
 163   to uint64: 3 (INEXACT )
 164 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
 165   to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
 166    to int32: 65503 (OK)
 167    to int64: 65503 (OK)
 168   to uint32: 65503 (OK)
 169   to uint64: 65503 (OK)
 170 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
 171   to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
 172    to int32: 65504 (OK)
 173    to int64: 65504 (OK)
 174   to uint32: 65504 (OK)
 175   to uint64: 65504 (OK)
 176 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
 177   to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
 178    to int32: 65505 (OK)
 179    to int64: 65505 (OK)
 180   to uint32: 65505 (OK)
 181   to uint64: 65505 (OK)
 182 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
 183   to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
 184    to int32: 131007 (OK)
 185    to int64: 131007 (OK)
 186   to uint32: 131007 (OK)
 187   to uint64: 131007 (OK)
 188 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
 189   to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
 190    to int32: 131008 (OK)
 191    to int64: 131008 (OK)
 192   to uint32: 131008 (OK)
 193   to uint64: 131008 (OK)
 194 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
 195   to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
 196    to int32: 131009 (OK)
 197    to int64: 131009 (OK)
 198   to uint32: 131009 (OK)
 199   to uint64: 131009 (OK)
 200 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
 201   to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT )
 202    to int32: 2147483647 (OK)
 203    to int64: 2147483647 (OK)
 204   to uint32: 2147483647 (OK)
 205   to uint64: 2147483647 (OK)
 206 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 207   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 208    to int32: -2147483648 (INVALID)
 209    to int64: -9223372036854775808 (INVALID)
 210   to uint32: 0 (INVALID)
 211   to uint64: 0 (INEXACT INVALID)
 212 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 213   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 214    to int32: -2147483648 (INVALID)
 215    to int64: -9223372036854775808 (INVALID)
 216   to uint32: 0 (INVALID)
 217   to uint64: 0 (INEXACT INVALID)
 218 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
 219   to single: f32(inf:0x7f800000) (OVERFLOW INEXACT )
 220    to int32: -2147483648 (INVALID)
 221    to int64: -9223372036854775808 (INVALID)
 222   to uint32: 0 (INVALID)
 223   to uint64: 0 (INEXACT INVALID)
 224 from double: f64(inf:0x007ff0000000000000)
 225   to single: f32(inf:0x7f800000) (OK)
 226    to int32: -2147483648 (INVALID)
 227    to int64: -9223372036854775808 (INVALID)
 228   to uint32: 0 (INVALID)
 229   to uint64: 0 (INVALID)
 230 from double: f64(nan:0x007ff8000000000000)
 231   to single: f32(nan:0x7fc00000) (OK)
 232    to int32: -2147483648 (INVALID)
 233    to int64: -9223372036854775808 (INVALID)
 234   to uint32: 0 (INVALID)
 235   to uint64: -9223372036854775808 (INVALID)
 236 from double: f64(nan:0x007ff0000000000001)
 237   to single: f32(nan:0x7fc00000) (INVALID)
 238    to int32: -2147483648 (INVALID)
 239    to int64: -9223372036854775808 (INVALID)
 240   to uint32: 0 (INVALID)
 241   to uint64: -9223372036854775808 (INVALID)
 242 from double: f64(nan:0x007ff4000000000000)
 243   to single: f32(nan:0x7fe00000) (INVALID)
 244    to int32: -2147483648 (INVALID)
 245    to int64: -9223372036854775808 (INVALID)
 246   to uint32: 0 (INVALID)
 247   to uint64: -9223372036854775808 (INVALID)
 248 ### Rounding upwards
 249 from double: f64(nan:0x007ff4000000000000)
 250   to single: f32(nan:0x7fe00000) (INVALID)
 251    to int32: -2147483648 (INVALID)
 252    to int64: -9223372036854775808 (INVALID)
 253   to uint32: 0 (INVALID)
 254   to uint64: -9223372036854775808 (INVALID)
 255 from double: f64(-nan:0x00fff8000000000000)
 256   to single: f32(-nan:0xffc00000) (OK)
 257    to int32: -2147483648 (INVALID)
 258    to int64: -9223372036854775808 (INVALID)
 259   to uint32: 0 (INVALID)
 260   to uint64: -9223372036854775808 (INVALID)
 261 from double: f64(-inf:0x00fff0000000000000)
 262   to single: f32(-inf:0xff800000) (OK)
 263    to int32: -2147483648 (INVALID)
 264    to int64: -9223372036854775808 (INVALID)
 265   to uint32: 0 (INVALID)
 266   to uint64: -9223372036854775808 (INVALID)
 267 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
 268   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
 269    to int32: -2147483648 (INVALID)
 270    to int64: -9223372036854775808 (INVALID)
 271   to uint32: 0 (INVALID)
 272   to uint64: -9223372036854775808 (INVALID)
 273 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
 274   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
 275    to int32: -2147483648 (INVALID)
 276    to int64: -9223372036854775808 (INVALID)
 277   to uint32: 0 (INVALID)
 278   to uint64: -9223372036854775808 (INVALID)
 279 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
 280   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
 281    to int32: -2147483648 (INVALID)
 282    to int64: -9223372036854775808 (INVALID)
 283   to uint32: 0 (INVALID)
 284   to uint64: -9223372036854775808 (INVALID)
 285 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
 286   to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT )
 287    to int32: -2147483648 (INVALID)
 288    to int64: -9223372036854775808 (INVALID)
 289   to uint32: 0 (INVALID)
 290   to uint64: -9223372036854775808 (INVALID)
 291 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
 292   to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT )
 293    to int32: -2147483648 (INVALID)
 294    to int64: -9223372036854775808 (INVALID)
 295   to uint32: 0 (INVALID)
 296   to uint64: -9223372036854775808 (INVALID)
 297 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
 298   to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
 299    to int32: -2 (OK)
 300    to int64: -2 (OK)
 301   to uint32: -2 (OK)
 302   to uint64: -2 (OK)
 303 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
 304   to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
 305    to int32: -1 (OK)
 306    to int64: -1 (OK)
 307   to uint32: -1 (OK)
 308   to uint64: -1 (OK)
 309 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
 310   to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT )
 311    to int32: 0 (INEXACT )
 312    to int64: 0 (INEXACT )
 313   to uint32: 0 (INEXACT )
 314   to uint64: 0 (INEXACT )
 315 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
 316   to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
 317    to int32: 0 (INEXACT )
 318    to int64: 0 (INEXACT )
 319   to uint32: 0 (INEXACT )
 320   to uint64: 0 (INEXACT )
 321 from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
 322   to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
 323    to int32: 0 (OK)
 324    to int64: 0 (OK)
 325   to uint32: 0 (OK)
 326   to uint64: 0 (OK)
 327 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
 328   to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
 329    to int32: 0 (INEXACT )
 330    to int64: 0 (INEXACT )
 331   to uint32: 0 (INEXACT )
 332   to uint64: 0 (INEXACT )
 333 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
 334   to single: f32(0x1.00000200000000000000p-25:0x33000001) (INEXACT )
 335    to int32: 0 (INEXACT )
 336    to int64: 0 (INEXACT )
 337   to uint32: 0 (INEXACT )
 338   to uint64: 0 (INEXACT )
 339 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
 340   to single: f32(0x1.ffffe800000000000000p-25:0x337ffff4) (INEXACT )
 341    to int32: 0 (INEXACT )
 342    to int64: 0 (INEXACT )
 343   to uint32: 0 (INEXACT )
 344   to uint64: 0 (INEXACT )
 345 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
 346   to single: f32(0x1.ff801c00000000000000p-15:0x387fc00e) (INEXACT )
 347    to int32: 0 (INEXACT )
 348    to int64: 0 (INEXACT )
 349   to uint32: 0 (INEXACT )
 350   to uint64: 0 (INEXACT )
 351 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
 352   to single: f32(0x1.00000e00000000000000p-14:0x38800007) (INEXACT )
 353    to int32: 0 (INEXACT )
 354    to int64: 0 (INEXACT )
 355   to uint32: 0 (INEXACT )
 356   to uint64: 0 (INEXACT )
 357 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 358   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 359    to int32: 1 (OK)
 360    to int64: 1 (OK)
 361   to uint32: 1 (OK)
 362   to uint64: 1 (OK)
 363 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
 364   to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
 365    to int32: 1 (INEXACT )
 366    to int64: 1 (INEXACT )
 367   to uint32: 1 (INEXACT )
 368   to uint64: 1 (INEXACT )
 369 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
 370   to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
 371    to int32: 0 (INEXACT )
 372    to int64: 0 (INEXACT )
 373   to uint32: 0 (INEXACT )
 374   to uint64: 0 (INEXACT )
 375 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680)
 376   to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
 377    to int32: 0 (INEXACT )
 378    to int64: 0 (INEXACT )
 379   to uint32: 0 (INEXACT )
 380   to uint64: 0 (INEXACT )
 381 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210)
 382   to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
 383    to int32: 0 (INEXACT )
 384    to int64: 0 (INEXACT )
 385   to uint32: 0 (INEXACT )
 386   to uint64: 0 (INEXACT )
 387 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 388   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 389    to int32: 1 (OK)
 390    to int64: 1 (OK)
 391   to uint32: 1 (OK)
 392   to uint64: 1 (OK)
 393 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
 394   to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
 395    to int32: 2 (OK)
 396    to int64: 2 (OK)
 397   to uint32: 2 (OK)
 398   to uint64: 2 (OK)
 399 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
 400   to single: f32(0x1.5bf0aa00000000000000p+1:0x402df855) (INEXACT )
 401    to int32: 2 (INEXACT )
 402    to int64: 2 (INEXACT )
 403   to uint32: 2 (INEXACT )
 404   to uint64: 2 (INEXACT )
 405 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
 406   to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT )
 407    to int32: 3 (INEXACT )
 408    to int64: 3 (INEXACT )
 409   to uint32: 3 (INEXACT )
 410   to uint64: 3 (INEXACT )
 411 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
 412   to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
 413    to int32: 65503 (OK)
 414    to int64: 65503 (OK)
 415   to uint32: 65503 (OK)
 416   to uint64: 65503 (OK)
 417 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
 418   to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
 419    to int32: 65504 (OK)
 420    to int64: 65504 (OK)
 421   to uint32: 65504 (OK)
 422   to uint64: 65504 (OK)
 423 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
 424   to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
 425    to int32: 65505 (OK)
 426    to int64: 65505 (OK)
 427   to uint32: 65505 (OK)
 428   to uint64: 65505 (OK)
 429 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
 430   to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
 431    to int32: 131007 (OK)
 432    to int64: 131007 (OK)
 433   to uint32: 131007 (OK)
 434   to uint64: 131007 (OK)
 435 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
 436   to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
 437    to int32: 131008 (OK)
 438    to int64: 131008 (OK)
 439   to uint32: 131008 (OK)
 440   to uint64: 131008 (OK)
 441 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
 442   to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
 443    to int32: 131009 (OK)
 444    to int64: 131009 (OK)
 445   to uint32: 131009 (OK)
 446   to uint64: 131009 (OK)
 447 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
 448   to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT )
 449    to int32: 2147483647 (OK)
 450    to int64: 2147483647 (OK)
 451   to uint32: 2147483647 (OK)
 452   to uint64: 2147483647 (OK)
 453 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 454   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 455    to int32: -2147483648 (INVALID)
 456    to int64: -9223372036854775808 (INVALID)
 457   to uint32: 0 (INVALID)
 458   to uint64: 0 (INEXACT INVALID)
 459 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 460   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 461    to int32: -2147483648 (INVALID)
 462    to int64: -9223372036854775808 (INVALID)
 463   to uint32: 0 (INVALID)
 464   to uint64: 0 (INEXACT INVALID)
 465 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
 466   to single: f32(inf:0x7f800000) (OVERFLOW INEXACT )
 467    to int32: -2147483648 (INVALID)
 468    to int64: -9223372036854775808 (INVALID)
 469   to uint32: 0 (INVALID)
 470   to uint64: 0 (INEXACT INVALID)
 471 from double: f64(inf:0x007ff0000000000000)
 472   to single: f32(inf:0x7f800000) (OK)
 473    to int32: -2147483648 (INVALID)
 474    to int64: -9223372036854775808 (INVALID)
 475   to uint32: 0 (INVALID)
 476   to uint64: 0 (INVALID)
 477 from double: f64(nan:0x007ff8000000000000)
 478   to single: f32(nan:0x7fc00000) (OK)
 479    to int32: -2147483648 (INVALID)
 480    to int64: -9223372036854775808 (INVALID)
 481   to uint32: 0 (INVALID)
 482   to uint64: -9223372036854775808 (INVALID)
 483 from double: f64(nan:0x007ff0000000000001)
 484   to single: f32(nan:0x7fc00000) (INVALID)
 485    to int32: -2147483648 (INVALID)
 486    to int64: -9223372036854775808 (INVALID)
 487   to uint32: 0 (INVALID)
 488   to uint64: -9223372036854775808 (INVALID)
 489 from double: f64(nan:0x007ff4000000000000)
 490   to single: f32(nan:0x7fe00000) (INVALID)
 491    to int32: -2147483648 (INVALID)
 492    to int64: -9223372036854775808 (INVALID)
 493   to uint32: 0 (INVALID)
 494   to uint64: -9223372036854775808 (INVALID)
 495 ### Rounding downwards
 496 from double: f64(nan:0x007ff4000000000000)
 497   to single: f32(nan:0x7fe00000) (INVALID)
 498    to int32: -2147483648 (INVALID)
 499    to int64: -9223372036854775808 (INVALID)
 500   to uint32: 0 (INVALID)
 501   to uint64: -9223372036854775808 (INVALID)
 502 from double: f64(-nan:0x00fff8000000000000)
 503   to single: f32(-nan:0xffc00000) (OK)
 504    to int32: -2147483648 (INVALID)
 505    to int64: -9223372036854775808 (INVALID)
 506   to uint32: 0 (INVALID)
 507   to uint64: -9223372036854775808 (INVALID)
 508 from double: f64(-inf:0x00fff0000000000000)
 509   to single: f32(-inf:0xff800000) (OK)
 510    to int32: -2147483648 (INVALID)
 511    to int64: -9223372036854775808 (INVALID)
 512   to uint32: 0 (INVALID)
 513   to uint64: -9223372036854775808 (INVALID)
 514 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
 515   to single: f32(-inf:0xff800000) (OVERFLOW INEXACT )
 516    to int32: -2147483648 (INVALID)
 517    to int64: -9223372036854775808 (INVALID)
 518   to uint32: 0 (INVALID)
 519   to uint64: -9223372036854775808 (INVALID)
 520 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
 521   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
 522    to int32: -2147483648 (INVALID)
 523    to int64: -9223372036854775808 (INVALID)
 524   to uint32: 0 (INVALID)
 525   to uint64: -9223372036854775808 (INVALID)
 526 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
 527   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
 528    to int32: -2147483648 (INVALID)
 529    to int64: -9223372036854775808 (INVALID)
 530   to uint32: 0 (INVALID)
 531   to uint64: -9223372036854775808 (INVALID)
 532 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
 533   to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT )
 534    to int32: -2147483648 (INVALID)
 535    to int64: -9223372036854775808 (INVALID)
 536   to uint32: 0 (INVALID)
 537   to uint64: -9223372036854775808 (INVALID)
 538 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
 539   to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT )
 540    to int32: -2147483648 (INVALID)
 541    to int64: -9223372036854775808 (INVALID)
 542   to uint32: 0 (INVALID)
 543   to uint64: -9223372036854775808 (INVALID)
 544 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
 545   to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
 546    to int32: -2 (OK)
 547    to int64: -2 (OK)
 548   to uint32: -2 (OK)
 549   to uint64: -2 (OK)
 550 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
 551   to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
 552    to int32: -1 (OK)
 553    to int64: -1 (OK)
 554   to uint32: -1 (OK)
 555   to uint64: -1 (OK)
 556 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
 557   to single: f32(-0x1.00000000000000000000p-149:0x80000001) (UNDERFLOW INEXACT )
 558    to int32: 0 (INEXACT )
 559    to int64: 0 (INEXACT )
 560   to uint32: 0 (INEXACT )
 561   to uint64: 0 (INEXACT )
 562 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
 563   to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
 564    to int32: 0 (INEXACT )
 565    to int64: 0 (INEXACT )
 566   to uint32: 0 (INEXACT )
 567   to uint64: 0 (INEXACT )
 568 from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
 569   to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
 570    to int32: 0 (OK)
 571    to int64: 0 (OK)
 572   to uint32: 0 (OK)
 573   to uint64: 0 (OK)
 574 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
 575   to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
 576    to int32: 0 (INEXACT )
 577    to int64: 0 (INEXACT )
 578   to uint32: 0 (INEXACT )
 579   to uint64: 0 (INEXACT )
 580 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
 581   to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
 582    to int32: 0 (INEXACT )
 583    to int64: 0 (INEXACT )
 584   to uint32: 0 (INEXACT )
 585   to uint64: 0 (INEXACT )
 586 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
 587   to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
 588    to int32: 0 (INEXACT )
 589    to int64: 0 (INEXACT )
 590   to uint32: 0 (INEXACT )
 591   to uint64: 0 (INEXACT )
 592 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
 593   to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
 594    to int32: 0 (INEXACT )
 595    to int64: 0 (INEXACT )
 596   to uint32: 0 (INEXACT )
 597   to uint64: 0 (INEXACT )
 598 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
 599   to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
 600    to int32: 0 (INEXACT )
 601    to int64: 0 (INEXACT )
 602   to uint32: 0 (INEXACT )
 603   to uint64: 0 (INEXACT )
 604 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 605   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 606    to int32: 1 (OK)
 607    to int64: 1 (OK)
 608   to uint32: 1 (OK)
 609   to uint64: 1 (OK)
 610 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
 611   to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
 612    to int32: 1 (INEXACT )
 613    to int64: 1 (INEXACT )
 614   to uint32: 1 (INEXACT )
 615   to uint64: 1 (INEXACT )
 616 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
 617   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 618    to int32: 0 (INEXACT )
 619    to int64: 0 (INEXACT )
 620   to uint32: 0 (INEXACT )
 621   to uint64: 0 (INEXACT )
 622 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680)
 623   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 624    to int32: 0 (INEXACT )
 625    to int64: 0 (INEXACT )
 626   to uint32: 0 (INEXACT )
 627   to uint64: 0 (INEXACT )
 628 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210)
 629   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 630    to int32: 0 (INEXACT )
 631    to int64: 0 (INEXACT )
 632   to uint32: 0 (INEXACT )
 633   to uint64: 0 (INEXACT )
 634 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 635   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 636    to int32: 1 (OK)
 637    to int64: 1 (OK)
 638   to uint32: 1 (OK)
 639   to uint64: 1 (OK)
 640 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
 641   to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
 642    to int32: 2 (OK)
 643    to int64: 2 (OK)
 644   to uint32: 2 (OK)
 645   to uint64: 2 (OK)
 646 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
 647   to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
 648    to int32: 2 (INEXACT )
 649    to int64: 2 (INEXACT )
 650   to uint32: 2 (INEXACT )
 651   to uint64: 2 (INEXACT )
 652 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
 653   to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT )
 654    to int32: 3 (INEXACT )
 655    to int64: 3 (INEXACT )
 656   to uint32: 3 (INEXACT )
 657   to uint64: 3 (INEXACT )
 658 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
 659   to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
 660    to int32: 65503 (OK)
 661    to int64: 65503 (OK)
 662   to uint32: 65503 (OK)
 663   to uint64: 65503 (OK)
 664 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
 665   to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
 666    to int32: 65504 (OK)
 667    to int64: 65504 (OK)
 668   to uint32: 65504 (OK)
 669   to uint64: 65504 (OK)
 670 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
 671   to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
 672    to int32: 65505 (OK)
 673    to int64: 65505 (OK)
 674   to uint32: 65505 (OK)
 675   to uint64: 65505 (OK)
 676 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
 677   to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
 678    to int32: 131007 (OK)
 679    to int64: 131007 (OK)
 680   to uint32: 131007 (OK)
 681   to uint64: 131007 (OK)
 682 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
 683   to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
 684    to int32: 131008 (OK)
 685    to int64: 131008 (OK)
 686   to uint32: 131008 (OK)
 687   to uint64: 131008 (OK)
 688 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
 689   to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
 690    to int32: 131009 (OK)
 691    to int64: 131009 (OK)
 692   to uint32: 131009 (OK)
 693   to uint64: 131009 (OK)
 694 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
 695   to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT )
 696    to int32: 2147483647 (OK)
 697    to int64: 2147483647 (OK)
 698   to uint32: 2147483647 (OK)
 699   to uint64: 2147483647 (OK)
 700 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 701   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 702    to int32: -2147483648 (INVALID)
 703    to int64: -9223372036854775808 (INVALID)
 704   to uint32: 0 (INVALID)
 705   to uint64: 0 (INEXACT INVALID)
 706 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 707   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 708    to int32: -2147483648 (INVALID)
 709    to int64: -9223372036854775808 (INVALID)
 710   to uint32: 0 (INVALID)
 711   to uint64: 0 (INEXACT INVALID)
 712 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
 713   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )
 714    to int32: -2147483648 (INVALID)
 715    to int64: -9223372036854775808 (INVALID)
 716   to uint32: 0 (INVALID)
 717   to uint64: 0 (INEXACT INVALID)
 718 from double: f64(inf:0x007ff0000000000000)
 719   to single: f32(inf:0x7f800000) (OK)
 720    to int32: -2147483648 (INVALID)
 721    to int64: -9223372036854775808 (INVALID)
 722   to uint32: 0 (INVALID)
 723   to uint64: 0 (INVALID)
 724 from double: f64(nan:0x007ff8000000000000)
 725   to single: f32(nan:0x7fc00000) (OK)
 726    to int32: -2147483648 (INVALID)
 727    to int64: -9223372036854775808 (INVALID)
 728   to uint32: 0 (INVALID)
 729   to uint64: -9223372036854775808 (INVALID)
 730 from double: f64(nan:0x007ff0000000000001)
 731   to single: f32(nan:0x7fc00000) (INVALID)
 732    to int32: -2147483648 (INVALID)
 733    to int64: -9223372036854775808 (INVALID)
 734   to uint32: 0 (INVALID)
 735   to uint64: -9223372036854775808 (INVALID)
 736 from double: f64(nan:0x007ff4000000000000)
 737   to single: f32(nan:0x7fe00000) (INVALID)
 738    to int32: -2147483648 (INVALID)
 739    to int64: -9223372036854775808 (INVALID)
 740   to uint32: 0 (INVALID)
 741   to uint64: -9223372036854775808 (INVALID)
 742 ### Rounding to zero
 743 from double: f64(nan:0x007ff4000000000000)
 744   to single: f32(nan:0x7fe00000) (INVALID)
 745    to int32: -2147483648 (INVALID)
 746    to int64: -9223372036854775808 (INVALID)
 747   to uint32: 0 (INVALID)
 748   to uint64: -9223372036854775808 (INVALID)
 749 from double: f64(-nan:0x00fff8000000000000)
 750   to single: f32(-nan:0xffc00000) (OK)
 751    to int32: -2147483648 (INVALID)
 752    to int64: -9223372036854775808 (INVALID)
 753   to uint32: 0 (INVALID)
 754   to uint64: -9223372036854775808 (INVALID)
 755 from double: f64(-inf:0x00fff0000000000000)
 756   to single: f32(-inf:0xff800000) (OK)
 757    to int32: -2147483648 (INVALID)
 758    to int64: -9223372036854775808 (INVALID)
 759   to uint32: 0 (INVALID)
 760   to uint64: -9223372036854775808 (INVALID)
 761 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
 762   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
 763    to int32: -2147483648 (INVALID)
 764    to int64: -9223372036854775808 (INVALID)
 765   to uint32: 0 (INVALID)
 766   to uint64: -9223372036854775808 (INVALID)
 767 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
 768   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
 769    to int32: -2147483648 (INVALID)
 770    to int64: -9223372036854775808 (INVALID)
 771   to uint32: 0 (INVALID)
 772   to uint64: -9223372036854775808 (INVALID)
 773 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
 774   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
 775    to int32: -2147483648 (INVALID)
 776    to int64: -9223372036854775808 (INVALID)
 777   to uint32: 0 (INVALID)
 778   to uint64: -9223372036854775808 (INVALID)
 779 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
 780   to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT )
 781    to int32: -2147483648 (INVALID)
 782    to int64: -9223372036854775808 (INVALID)
 783   to uint32: 0 (INVALID)
 784   to uint64: -9223372036854775808 (INVALID)
 785 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
 786   to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT )
 787    to int32: -2147483648 (INVALID)
 788    to int64: -9223372036854775808 (INVALID)
 789   to uint32: 0 (INVALID)
 790   to uint64: -9223372036854775808 (INVALID)
 791 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
 792   to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
 793    to int32: -2 (OK)
 794    to int64: -2 (OK)
 795   to uint32: -2 (OK)
 796   to uint64: -2 (OK)
 797 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
 798   to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
 799    to int32: -1 (OK)
 800    to int64: -1 (OK)
 801   to uint32: -1 (OK)
 802   to uint64: -1 (OK)
 803 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
 804   to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT )
 805    to int32: 0 (INEXACT )
 806    to int64: 0 (INEXACT )
 807   to uint32: 0 (INEXACT )
 808   to uint64: 0 (INEXACT )
 809 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
 810   to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
 811    to int32: 0 (INEXACT )
 812    to int64: 0 (INEXACT )
 813   to uint32: 0 (INEXACT )
 814   to uint64: 0 (INEXACT )
 815 from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
 816   to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
 817    to int32: 0 (OK)
 818    to int64: 0 (OK)
 819   to uint32: 0 (OK)
 820   to uint64: 0 (OK)
 821 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
 822   to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
 823    to int32: 0 (INEXACT )
 824    to int64: 0 (INEXACT )
 825   to uint32: 0 (INEXACT )
 826   to uint64: 0 (INEXACT )
 827 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
 828   to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
 829    to int32: 0 (INEXACT )
 830    to int64: 0 (INEXACT )
 831   to uint32: 0 (INEXACT )
 832   to uint64: 0 (INEXACT )
 833 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
 834   to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
 835    to int32: 0 (INEXACT )
 836    to int64: 0 (INEXACT )
 837   to uint32: 0 (INEXACT )
 838   to uint64: 0 (INEXACT )
 839 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
 840   to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
 841    to int32: 0 (INEXACT )
 842    to int64: 0 (INEXACT )
 843   to uint32: 0 (INEXACT )
 844   to uint64: 0 (INEXACT )
 845 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
 846   to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
 847    to int32: 0 (INEXACT )
 848    to int64: 0 (INEXACT )
 849   to uint32: 0 (INEXACT )
 850   to uint64: 0 (INEXACT )
 851 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 852   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 853    to int32: 1 (OK)
 854    to int64: 1 (OK)
 855   to uint32: 1 (OK)
 856   to uint64: 1 (OK)
 857 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
 858   to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
 859    to int32: 1 (INEXACT )
 860    to int64: 1 (INEXACT )
 861   to uint32: 1 (INEXACT )
 862   to uint64: 1 (INEXACT )
 863 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
 864   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 865    to int32: 0 (INEXACT )
 866    to int64: 0 (INEXACT )
 867   to uint32: 0 (INEXACT )
 868   to uint64: 0 (INEXACT )
 869 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680)
 870   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 871    to int32: 0 (INEXACT )
 872    to int64: 0 (INEXACT )
 873   to uint32: 0 (INEXACT )
 874   to uint64: 0 (INEXACT )
 875 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210)
 876   to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
 877    to int32: 0 (INEXACT )
 878    to int64: 0 (INEXACT )
 879   to uint32: 0 (INEXACT )
 880   to uint64: 0 (INEXACT )
 881 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
 882   to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
 883    to int32: 1 (OK)
 884    to int64: 1 (OK)
 885   to uint32: 1 (OK)
 886   to uint64: 1 (OK)
 887 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
 888   to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
 889    to int32: 2 (OK)
 890    to int64: 2 (OK)
 891   to uint32: 2 (OK)
 892   to uint64: 2 (OK)
 893 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
 894   to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
 895    to int32: 2 (INEXACT )
 896    to int64: 2 (INEXACT )
 897   to uint32: 2 (INEXACT )
 898   to uint64: 2 (INEXACT )
 899 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
 900   to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT )
 901    to int32: 3 (INEXACT )
 902    to int64: 3 (INEXACT )
 903   to uint32: 3 (INEXACT )
 904   to uint64: 3 (INEXACT )
 905 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
 906   to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
 907    to int32: 65503 (OK)
 908    to int64: 65503 (OK)
 909   to uint32: 65503 (OK)
 910   to uint64: 65503 (OK)
 911 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
 912   to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
 913    to int32: 65504 (OK)
 914    to int64: 65504 (OK)
 915   to uint32: 65504 (OK)
 916   to uint64: 65504 (OK)
 917 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
 918   to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
 919    to int32: 65505 (OK)
 920    to int64: 65505 (OK)
 921   to uint32: 65505 (OK)
 922   to uint64: 65505 (OK)
 923 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
 924   to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
 925    to int32: 131007 (OK)
 926    to int64: 131007 (OK)
 927   to uint32: 131007 (OK)
 928   to uint64: 131007 (OK)
 929 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
 930   to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
 931    to int32: 131008 (OK)
 932    to int64: 131008 (OK)
 933   to uint32: 131008 (OK)
 934   to uint64: 131008 (OK)
 935 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
 936   to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
 937    to int32: 131009 (OK)
 938    to int64: 131009 (OK)
 939   to uint32: 131009 (OK)
 940   to uint64: 131009 (OK)
 941 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
 942   to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT )
 943    to int32: 2147483647 (OK)
 944    to int64: 2147483647 (OK)
 945   to uint32: 2147483647 (OK)
 946   to uint64: 2147483647 (OK)
 947 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 948   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 949    to int32: -2147483648 (INVALID)
 950    to int64: -9223372036854775808 (INVALID)
 951   to uint32: 0 (INVALID)
 952   to uint64: 0 (INEXACT INVALID)
 953 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
 954   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
 955    to int32: -2147483648 (INVALID)
 956    to int64: -9223372036854775808 (INVALID)
 957   to uint32: 0 (INVALID)
 958   to uint64: 0 (INEXACT INVALID)
 959 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
 960   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )
 961    to int32: -2147483648 (INVALID)
 962    to int64: -9223372036854775808 (INVALID)
 963   to uint32: 0 (INVALID)
 964   to uint64: 0 (INEXACT INVALID)
 965 from double: f64(inf:0x007ff0000000000000)
 966   to single: f32(inf:0x7f800000) (OK)
 967    to int32: -2147483648 (INVALID)
 968    to int64: -9223372036854775808 (INVALID)
 969   to uint32: 0 (INVALID)
 970   to uint64: 0 (INVALID)
 971 from double: f64(nan:0x007ff8000000000000)
 972   to single: f32(nan:0x7fc00000) (OK)
 973    to int32: -2147483648 (INVALID)
 974    to int64: -9223372036854775808 (INVALID)
 975   to uint32: 0 (INVALID)
 976   to uint64: -9223372036854775808 (INVALID)
 977 from double: f64(nan:0x007ff0000000000001)
 978   to single: f32(nan:0x7fc00000) (INVALID)
 979    to int32: -2147483648 (INVALID)
 980    to int64: -9223372036854775808 (INVALID)
 981   to uint32: 0 (INVALID)
 982   to uint64: -9223372036854775808 (INVALID)
 983 from double: f64(nan:0x007ff4000000000000)
 984   to single: f32(nan:0x7fe00000) (INVALID)
 985    to int32: -2147483648 (INVALID)
 986    to int64: -9223372036854775808 (INVALID)
 987   to uint32: 0 (INVALID)
 988   to uint64: -9223372036854775808 (INVALID)