tree b9cde2b1dea8db271bf7a0875aadf11bc1dcc75d
parent f6714d365da068481d83787b4044134ae2ec5dfd
author Aurelien Jarno <aurelien@aurel32.net> 1303297462 +0200
committer Aurelien Jarno <aurelien@aurel32.net> 1303723113 +0200

softfloat: fix float*_scalnb() corner cases

float*_scalnb() were not taking into account all cases. This patch fixes
some corner cases:
- NaN values in input were not properly propagated and the invalid flag
  not correctly raised. Use propagateFloat*NaN() for that.
- NaN or infinite values in input of floatx80_scalnb() were not correctly
  detected due to a typo.
- The sum of exponent and n could overflow, leading to strange results.
  Additionally having int16 defined to int make that happening for a very
  small range of values. Fix that by saturating n to the maximum exponent
  range, and using an explicit wider type if needed.

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>