softfloat: Fix float64_to_uint32_round_to_zero
commit2958f14d75b9c2ef9a68f41a3101884af307e4f8
authorTom Musta <tommusta@gmail.com>
Tue, 7 Jan 2014 17:17:51 +0000 (7 17:17 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Tue, 7 Jan 2014 19:18:07 +0000 (7 19:18 +0000)
treed683b4ca65bb97a0be04c795552774f516e8da74
parent8d551c988e96ac4cfe462e6b34d513bba2da572f
softfloat: Fix float64_to_uint32_round_to_zero

The float64_to_uint32_round_to_zero routine is incorrect.

For example, the following test pattern:

    425F81378DC0CD1F / 0x1.f81378dc0cd1fp+38

will erroneously set the inexact flag.

This patch re-implements the routine to use the float64_to_uint64_round_to_zero
routine.  If saturation occurs we ignore any flags set by the
conversion function and raise only Invalid.

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-6-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