On 3/18/21 12:03 PM, Taylor Simpson wrote:
Here's an example from float_convs from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8) Softfloat:to uint64: 0 (INEXACT ) Hexagon:to uint64: 0 (INVALID)
Ahh, so an ieee conformance issue in hexagon -- failure to defer the sign check til after rounding.
So, just looking at the float_convs tests the Hexagon version of f32->uint64 would be if (float32_is_neg(RsV) && !float32_is_any_nan(RsV)) { float_raise(float_flag_invalid, &env->fp_status); RddV = 0; } else { RddV = float32_to_uint64_round_to_zero(RsV, &env->fp_status); }
Looks good. Just add a comment too. r~