tree cd8d4fee2b472472550731d43b086fd82f053099
parent 68fc5d1d27af39f21c688e6f4b0ea22d66800736
author Peter Maydell <peter.maydell@linaro.org> 1348845423 +0100
committer Michael Roth <mdroth@linux.vnet.ibm.com> 1350009861 -0500

fpu/softfloat.c: Return correctly signed values from uint64_to_float32

The uint64_to_float32() conversion function was incorrectly always
returning numbers with the sign bit set (ie negative numbers). Correct
this so we return positive numbers instead.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
(cherry picked from commit e744c06fca438dc08271e626034e632a270c91c8)

Signed-off-by: Michael Roth <mdroth@linux.vnet.ibm.com>