diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2018-08-16 14:05:29 +0100 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2018-08-16 14:29:58 +0100 |
| commit | 64d450a0eaad5f02f9d6bba1dd451446297bb4dc (patch) | |
| tree | 5cf0dca5f3ce13e2fd301e4b9d20f0c68200a12d /include | |
| parent | b8a4a96db3639e17ab5e5cdc14fca4b19fbf5b3b (diff) | |
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>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions