tcg/arm/float_convd.ref

26 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
27   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
32 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
33   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
206 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
207   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
212 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
213   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
268   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
273 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
274   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
279 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
280   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
453 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
454   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
459 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
460   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
520 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
521   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
526 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
527   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
700 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
701   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
706 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
707   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
713   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )
762   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
767 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
768   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
773 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
774   to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
947 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
948   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
953 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
954   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
960   to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )