Skip to content
  • Peter Maydell's avatar
    softfloat: Add support for ties-away rounding · f9288a76
    Peter Maydell authored
    
    
    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: default avatarPeter Maydell <peter.maydell@linaro.org>
    Reviewed-by: default avatarRichard Henderson <rth@twiddle.net>
    f9288a76