softfloat: Add support for ties-away rounding
authorPeter Maydell <peter.maydell@linaro.org>
Tue, 7 Jan 2014 17:19:12 +0000 (17:19 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Tue, 7 Jan 2014 19:18:08 +0000 (19:18 +0000)
commitdcc69632089fece07a0bb4fd859b010659569fda
tree8c049111afc4c424390b2a90efa1327118ee658f
parent01a0b83cdb1c29a0066cfee3445a34280b3ac03a
softfloat: Add support for ties-away rounding

IEEE754-2008 specifies a new rounding mode:

"roundTiesToAway: the floating-point number nearest to the infinitely
precise result shall be delivered; if the two nearest floating-point
numbers bracketing an unrepresentable infinitely precise result are
equally near, the one with larger magnitude shall be delivered."

Implement this new mode (it is needed for ARM). The general principle
is that the required code is exactly like the ties-to-even code,
except that we do not need to do the "in case of exact tie clear LSB
to round-to-even", because the rounding operation naturally causes
the exact tie to round up in magnitude.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <rth@twiddle.net>
fpu/softfloat.c
include/fpu/softfloat.h