Richard Henderson 64d450a0ea softfloat: Fix missing inexact for floating-point add ...

For 0x1.0000000000003p+0 + 0x1.ffffffep+14 = 0x1.0001fffp+15
we dropped the sticky bit and so failed to raise inexact.

Reported-by: Laurent Desnogues <laurent.desnogues@gmail.com>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Laurent Desnogues <laurent.desnogues@gmail.com>
Tested-by: Laurent Desnogues <laurent.desnogues@gmail.com>
Message-id: 20180810193129.1556-7-richard.henderson@linaro.org
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

2018-08-16 14:29:58 +01:00

..

softfloat-specialize.h

fpu/softfloat: Define floatN_silence_nan in terms of parts_silence_nan

2018-05-17 15:27:15 -07:00

softfloat.c

softfloat: Fix missing inexact for floating-point add

2018-08-16 14:29:58 +01:00