tests/tcg/x86_64/float_convs.ref

   1 ### Rounding to nearest
   2 from single: f32(-nan:0xffa00000)
   3   to double: f64(-nan:0x00fffc000000000000) (INVALID)
   4    to int32: -2147483648 (INVALID)
   5    to int64: -9223372036854775808 (INVALID)
   6   to uint32: 0 (INVALID)
   7   to uint64: -9223372036854775808 (INVALID)
   8 from single: f32(-nan:0xffc00000)
   9   to double: f64(-nan:0x00fff8000000000000) (OK)
  10    to int32: -2147483648 (INVALID)
  11    to int64: -9223372036854775808 (INVALID)
  12   to uint32: 0 (INVALID)
  13   to uint64: -9223372036854775808 (INVALID)
  14 from 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: -9223372036854775808 (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: -9223372036854775808 (INVALID)
  24   to uint32: 0 (INVALID)
  25   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
  30   to uint32: 0 (INVALID)
  31   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
  36   to uint32: 0 (INVALID)
  37   to uint64: -9223372036854775808 (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 (OK)
  96   to uint32: 1 (OK)
  97   to uint64: 1 (OK)
  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 (OK)
 108   to uint32: 2 (OK)
 109   to uint64: 2 (OK)
 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 (OK)
 126   to uint32: 65503 (OK)
 127   to uint64: 65503 (OK)
 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 (OK)
 132   to uint32: 65504 (OK)
 133   to uint64: 65504 (OK)
 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 (OK)
 138   to uint32: 65505 (OK)
 139   to uint64: 65505 (OK)
 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 (OK)
 144   to uint32: 131007 (OK)
 145   to uint64: 131007 (OK)
 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 (OK)
 150   to uint32: 131008 (OK)
 151   to uint64: 131008 (OK)
 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 (OK)
 156   to uint32: 131009 (OK)
 157   to uint64: 131009 (OK)
 158 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
 159   to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
 160    to int32: -2147483648 (INVALID)
 161    to int64: -9223372036854775808 (INVALID)
 162   to uint32: 0 (INVALID)
 163   to uint64: 0 (INEXACT INVALID)
 164 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
 165   to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
 166    to int32: -2147483648 (INVALID)
 167    to int64: -9223372036854775808 (INVALID)
 168   to uint32: 0 (INVALID)
 169   to uint64: 0 (INEXACT INVALID)
 170 from single: f32(inf:0x7f800000)
 171   to double: f64(inf:0x007ff0000000000000) (OK)
 172    to int32: -2147483648 (INVALID)
 173    to int64: -9223372036854775808 (INVALID)
 174   to uint32: 0 (INVALID)
 175   to uint64: 0 (INVALID)
 176 from single: f32(nan:0x7fc00000)
 177   to double: f64(nan:0x007ff8000000000000) (OK)
 178    to int32: -2147483648 (INVALID)
 179    to int64: -9223372036854775808 (INVALID)
 180   to uint32: 0 (INVALID)
 181   to uint64: -9223372036854775808 (INVALID)
 182 from single: f32(nan:0x7fa00000)
 183   to double: f64(nan:0x007ffc000000000000) (INVALID)
 184    to int32: -2147483648 (INVALID)
 185    to int64: -9223372036854775808 (INVALID)
 186   to uint32: 0 (INVALID)
 187   to uint64: -9223372036854775808 (INVALID)
 188 ### Rounding upwards
 189 from single: f32(-nan:0xffa00000)
 190   to double: f64(-nan:0x00fffc000000000000) (INVALID)
 191    to int32: -2147483648 (INVALID)
 192    to int64: -9223372036854775808 (INVALID)
 193   to uint32: 0 (INVALID)
 194   to uint64: -9223372036854775808 (INVALID)
 195 from single: f32(-nan:0xffc00000)
 196   to double: f64(-nan:0x00fff8000000000000) (OK)
 197    to int32: -2147483648 (INVALID)
 198    to int64: -9223372036854775808 (INVALID)
 199   to uint32: 0 (INVALID)
 200   to uint64: -9223372036854775808 (INVALID)
 201 from 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: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 211   to uint32: 0 (INVALID)
 212   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 217   to uint32: 0 (INVALID)
 218   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 223   to uint32: 0 (INVALID)
 224   to uint64: -9223372036854775808 (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 (OK)
 283   to uint32: 1 (OK)
 284   to uint64: 1 (OK)
 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 (OK)
 295   to uint32: 2 (OK)
 296   to uint64: 2 (OK)
 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 (OK)
 313   to uint32: 65503 (OK)
 314   to uint64: 65503 (OK)
 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 (OK)
 319   to uint32: 65504 (OK)
 320   to uint64: 65504 (OK)
 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 (OK)
 325   to uint32: 65505 (OK)
 326   to uint64: 65505 (OK)
 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 (OK)
 331   to uint32: 131007 (OK)
 332   to uint64: 131007 (OK)
 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 (OK)
 337   to uint32: 131008 (OK)
 338   to uint64: 131008 (OK)
 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 (OK)
 343   to uint32: 131009 (OK)
 344   to uint64: 131009 (OK)
 345 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
 346   to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
 347    to int32: -2147483648 (INVALID)
 348    to int64: -9223372036854775808 (INVALID)
 349   to uint32: 0 (INVALID)
 350   to uint64: 0 (INEXACT INVALID)
 351 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
 352   to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
 353    to int32: -2147483648 (INVALID)
 354    to int64: -9223372036854775808 (INVALID)
 355   to uint32: 0 (INVALID)
 356   to uint64: 0 (INEXACT INVALID)
 357 from single: f32(inf:0x7f800000)
 358   to double: f64(inf:0x007ff0000000000000) (OK)
 359    to int32: -2147483648 (INVALID)
 360    to int64: -9223372036854775808 (INVALID)
 361   to uint32: 0 (INVALID)
 362   to uint64: 0 (INVALID)
 363 from single: f32(nan:0x7fc00000)
 364   to double: f64(nan:0x007ff8000000000000) (OK)
 365    to int32: -2147483648 (INVALID)
 366    to int64: -9223372036854775808 (INVALID)
 367   to uint32: 0 (INVALID)
 368   to uint64: -9223372036854775808 (INVALID)
 369 from single: f32(nan:0x7fa00000)
 370   to double: f64(nan:0x007ffc000000000000) (INVALID)
 371    to int32: -2147483648 (INVALID)
 372    to int64: -9223372036854775808 (INVALID)
 373   to uint32: 0 (INVALID)
 374   to uint64: -9223372036854775808 (INVALID)
 375 ### Rounding downwards
 376 from single: f32(-nan:0xffa00000)
 377   to double: f64(-nan:0x00fffc000000000000) (INVALID)
 378    to int32: -2147483648 (INVALID)
 379    to int64: -9223372036854775808 (INVALID)
 380   to uint32: 0 (INVALID)
 381   to uint64: -9223372036854775808 (INVALID)
 382 from single: f32(-nan:0xffc00000)
 383   to double: f64(-nan:0x00fff8000000000000) (OK)
 384    to int32: -2147483648 (INVALID)
 385    to int64: -9223372036854775808 (INVALID)
 386   to uint32: 0 (INVALID)
 387   to uint64: -9223372036854775808 (INVALID)
 388 from 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: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 398   to uint32: 0 (INVALID)
 399   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 404   to uint32: 0 (INVALID)
 405   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 410   to uint32: 0 (INVALID)
 411   to uint64: -9223372036854775808 (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 (OK)
 470   to uint32: 1 (OK)
 471   to uint64: 1 (OK)
 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 (OK)
 482   to uint32: 2 (OK)
 483   to uint64: 2 (OK)
 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 (OK)
 500   to uint32: 65503 (OK)
 501   to uint64: 65503 (OK)
 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 (OK)
 506   to uint32: 65504 (OK)
 507   to uint64: 65504 (OK)
 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 (OK)
 512   to uint32: 65505 (OK)
 513   to uint64: 65505 (OK)
 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 (OK)
 518   to uint32: 131007 (OK)
 519   to uint64: 131007 (OK)
 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 (OK)
 524   to uint32: 131008 (OK)
 525   to uint64: 131008 (OK)
 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 (OK)
 530   to uint32: 131009 (OK)
 531   to uint64: 131009 (OK)
 532 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
 533   to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
 534    to int32: -2147483648 (INVALID)
 535    to int64: -9223372036854775808 (INVALID)
 536   to uint32: 0 (INVALID)
 537   to uint64: 0 (INEXACT INVALID)
 538 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
 539   to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
 540    to int32: -2147483648 (INVALID)
 541    to int64: -9223372036854775808 (INVALID)
 542   to uint32: 0 (INVALID)
 543   to uint64: 0 (INEXACT INVALID)
 544 from single: f32(inf:0x7f800000)
 545   to double: f64(inf:0x007ff0000000000000) (OK)
 546    to int32: -2147483648 (INVALID)
 547    to int64: -9223372036854775808 (INVALID)
 548   to uint32: 0 (INVALID)
 549   to uint64: 0 (INVALID)
 550 from single: f32(nan:0x7fc00000)
 551   to double: f64(nan:0x007ff8000000000000) (OK)
 552    to int32: -2147483648 (INVALID)
 553    to int64: -9223372036854775808 (INVALID)
 554   to uint32: 0 (INVALID)
 555   to uint64: -9223372036854775808 (INVALID)
 556 from single: f32(nan:0x7fa00000)
 557   to double: f64(nan:0x007ffc000000000000) (INVALID)
 558    to int32: -2147483648 (INVALID)
 559    to int64: -9223372036854775808 (INVALID)
 560   to uint32: 0 (INVALID)
 561   to uint64: -9223372036854775808 (INVALID)
 562 ### Rounding to zero
 563 from single: f32(-nan:0xffa00000)
 564   to double: f64(-nan:0x00fffc000000000000) (INVALID)
 565    to int32: -2147483648 (INVALID)
 566    to int64: -9223372036854775808 (INVALID)
 567   to uint32: 0 (INVALID)
 568   to uint64: -9223372036854775808 (INVALID)
 569 from single: f32(-nan:0xffc00000)
 570   to double: f64(-nan:0x00fff8000000000000) (OK)
 571    to int32: -2147483648 (INVALID)
 572    to int64: -9223372036854775808 (INVALID)
 573   to uint32: 0 (INVALID)
 574   to uint64: -9223372036854775808 (INVALID)
 575 from 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: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 585   to uint32: 0 (INVALID)
 586   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 591   to uint32: 0 (INVALID)
 592   to uint64: -9223372036854775808 (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: -9223372036854775808 (INVALID)
 597   to uint32: 0 (INVALID)
 598   to uint64: -9223372036854775808 (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 (OK)
 657   to uint32: 1 (OK)
 658   to uint64: 1 (OK)
 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 (OK)
 669   to uint32: 2 (OK)
 670   to uint64: 2 (OK)
 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 (OK)
 687   to uint32: 65503 (OK)
 688   to uint64: 65503 (OK)
 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 (OK)
 693   to uint32: 65504 (OK)
 694   to uint64: 65504 (OK)
 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 (OK)
 699   to uint32: 65505 (OK)
 700   to uint64: 65505 (OK)
 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 (OK)
 705   to uint32: 131007 (OK)
 706   to uint64: 131007 (OK)
 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 (OK)
 711   to uint32: 131008 (OK)
 712   to uint64: 131008 (OK)
 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 (OK)
 717   to uint32: 131009 (OK)
 718   to uint64: 131009 (OK)
 719 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
 720   to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
 721    to int32: -2147483648 (INVALID)
 722    to int64: -9223372036854775808 (INVALID)
 723   to uint32: 0 (INVALID)
 724   to uint64: 0 (INEXACT INVALID)
 725 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
 726   to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
 727    to int32: -2147483648 (INVALID)
 728    to int64: -9223372036854775808 (INVALID)
 729   to uint32: 0 (INVALID)
 730   to uint64: 0 (INEXACT INVALID)
 731 from single: f32(inf:0x7f800000)
 732   to double: f64(inf:0x007ff0000000000000) (OK)
 733    to int32: -2147483648 (INVALID)
 734    to int64: -9223372036854775808 (INVALID)
 735   to uint32: 0 (INVALID)
 736   to uint64: 0 (INVALID)
 737 from single: f32(nan:0x7fc00000)
 738   to double: f64(nan:0x007ff8000000000000) (OK)
 739    to int32: -2147483648 (INVALID)
 740    to int64: -9223372036854775808 (INVALID)
 741   to uint32: 0 (INVALID)
 742   to uint64: -9223372036854775808 (INVALID)
 743 from single: f32(nan:0x7fa00000)
 744   to double: f64(nan:0x007ffc000000000000) (INVALID)
 745    to int32: -2147483648 (INVALID)
 746    to int64: -9223372036854775808 (INVALID)
 747   to uint32: 0 (INVALID)
 748   to uint64: -9223372036854775808 (INVALID)