diff options
| author | Tom Musta <tommusta@gmail.com> | 2014-01-07 17:17:50 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2014-01-07 19:18:07 +0000 |
| commit | a757f1c2deb6c8eac4a75f8e817fa2d7c8cd2527 (patch) | |
| tree | a39aea957a239065a85181c73a6d3b2a6604f021 | |
| parent | 47a34e009de2f4a99862e71e1d15d178dac5f259 (diff) | |
| download | qemu-a757f1c2deb6c8eac4a75f8e817fa2d7c8cd2527.zip qemu-a757f1c2deb6c8eac4a75f8e817fa2d7c8cd2527.tar.gz qemu-a757f1c2deb6c8eac4a75f8e817fa2d7c8cd2527.tar.bz2 | |
softfloat: Fix float64_to_uint64_round_to_zero
The float64_to_uint64_round_to_zero routine is incorrect.
For example, the following test pattern:
46697351FF4AEC29 / 0x1.97351ff4aec29p+103
currently produces 8000000000000000 instead of FFFFFFFFFFFFFFFF.
This patch re-implements the routine to temporarily force the
rounding mode and use the float64_to_uint64 routine.
This contribution can be licensed under either the softfloat-2a or -2b
license.
Signed-off-by: Tom Musta <tommusta@gmail.com>
Message-id: 1387397961-4894-4-git-send-email-tommusta@gmail.com
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <rth@twiddle.net>
| -rw-r--r-- | fpu/softfloat.c | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/fpu/softfloat.c b/fpu/softfloat.c index c2c1a56..f782c24 100644 --- a/fpu/softfloat.c +++ b/fpu/softfloat.c @@ -6792,13 +6792,11 @@ uint64_t float64_to_uint64(float64 a STATUS_PARAM) uint64_t float64_to_uint64_round_to_zero (float64 a STATUS_PARAM) { - int64_t v; - - v = float64_val(int64_to_float64(INT64_MIN STATUS_VAR)); - v += float64_val(a); - v = float64_to_int64_round_to_zero(make_float64(v) STATUS_VAR); - - return v - INT64_MIN; + signed char current_rounding_mode = STATUS(float_rounding_mode); + set_float_rounding_mode(float_round_to_zero STATUS_VAR); + int64_t v = float64_to_uint64(a STATUS_VAR); + set_float_rounding_mode(current_rounding_mode STATUS_VAR); + return v; } #define COMPARE(s, nan_exp) \ |