diff options
| author | Joseph Myers | 2020-06-08 18:55:49 +0200 |
|---|---|---|
| committer | Paolo Bonzini | 2020-06-26 15:39:38 +0200 |
| commit | 499a2f7b554a295cfc10f8cd026d9b20a38fe664 (patch) | |
| tree | cac18ca24ffb0267bc7605651c3f691cdcfe5f40 /include/fpu | |
| parent | softfloat: merge floatx80_mod and floatx80_rem (diff) | |
| download | qemu-499a2f7b554a295cfc10f8cd026d9b20a38fe664.tar.gz qemu-499a2f7b554a295cfc10f8cd026d9b20a38fe664.tar.xz qemu-499a2f7b554a295cfc10f8cd026d9b20a38fe664.zip | |
softfloat: fix floatx80 remainder pseudo-denormal check for zero
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>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <alpine.DEB.2.21.2006081655180.23637@digraph.polyomino.org.uk>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'include/fpu')
0 files changed, 0 insertions, 0 deletions