Commit 64d450a0 authored by Richard Henderson's avatar Richard Henderson Committed by Peter Maydell
Browse files

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: default avatarLaurent Desnogues <laurent.desnogues@gmail.com>
Signed-off-by: default avatarRichard Henderson <richard.henderson@linaro.org>
Reviewed-by: default avatarLaurent Desnogues <laurent.desnogues@gmail.com>
Tested-by: default avatarLaurent Desnogues <laurent.desnogues@gmail.com>
Message-id: 20180810193129.1556-7-richard.henderson@linaro.org
Signed-off-by: default avatarPeter Maydell <peter.maydell@linaro.org>
parent b8a4a96d

fpu/softfloat.c

+1 −1
Original line number Diff line number Diff line
@@ -701,7 +701,7 @@ static FloatParts addsub_floats(FloatParts a, FloatParts b, bool subtract, 
            }

            a.frac += b.frac;

            if (a.frac & DECOMPOSED_OVERFLOW_BIT) {

                a.frac >>= 1;

                shift64RightJamming(a.frac, 1, &a.frac);

                a.exp += 1;

            }

            return a;