[Qemu-devel] [PATCH 0/2] linux-user: fix incorrect NaN detection in ARM nwfpe emulation

[Peter Maydell <peter.maydell@linaro.org>]

The code in the linux-user ARM nwfpe emulation was incorrectly checking only
for quiet NaNs when it should have been checking for any kind of NaN.  This
is probably because the code in question was taken from the Linux kernel,
whose copy of the softfloat library had been modified so that
float*_is_nan() returned true for all NaNs, not just quiet ones.  The qemu
equivalent function is float*_is_any_nan(), so use that.  NB that this code
is really obsolete since nobody uses FPE for actual arithmetic now; this is
just cleanup following the recent renaming of the NaN related functions.
(As such I have checked it against the equivalent Linux kernel code but
I don't have a test case for it.)

Peter Maydell (2):
  softfloat: Implement floatx80_is_any_nan() and float128_is_any_nan()
  linux-user: Fix incorrect NaN detection in ARM nwfpe emulation

 fpu/softfloat.h                   |   11 +++++++++++
 linux-user/arm/nwfpe/fpa11_cprt.c |   14 +++++++-------
 2 files changed, 18 insertions(+), 7 deletions(-)