Re: [PATCH 2/7] softfloat: fix floatx80 remainder pseudo-denormal check for zero

[Richard Henderson]

On 6/5/20 12:00 PM, Joseph Myers wrote:
> The floatx80 remainder implementation ignores the high bit of the
> significand when checking whether an operand (numerator) with zero
> exponent is zero.  This means it mishandles a pseudo-denormal
> representation of 0x1p-16382L by treating it as zero.  Fix this by
> checking the whole significand instead.
> 
> Signed-off-by: Joseph Myers <joseph@codesourcery.com>
> ---
>  fpu/softfloat.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>


r~