On 15 May 2011 15:13, Aurelien Jarno <aurel...@aurel32.net> wrote: > float*_is_zero_or_denormal() is available for float32, but not for > float64, floatx80 and float128. Fix that. > > Signed-off-by: Aurelien Jarno <aurel...@aurel32.net>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>
