| commit | 0a87a3107dad97abff5b06558b0cce6832229086 | |
| author | Tom Musta <tommusta@gmail.com> | |
| Tue, 7 Jan 2014 17:17:50 +0000 (7 17:17 +0000) | ||
| committer | Peter Maydell <peter.maydell@linaro.org> | |
| Wed, 8 Jan 2014 19:07:22 +0000 (8 19:07 +0000) | ||
| tree | 46ecda146e92a6ecce5265a245904fa7f0f3f6a3 | treesnapshot (tar.gz zip) |
| parent | 2f18bbf9844ad110e0e69ad22708f37cab1557f6 | commitdiff |
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>
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>
| fpu/softfloat.c | diffblobblamehistory |