From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from [140.186.70.92] (port=40709 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1Pmtq0-0003vp-T9
	for qemu-devel@nongnu.org; Tue, 08 Feb 2011 15:07:01 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <peter.maydell@linaro.org>) id 1Pmtpz-00041V-Lk
	for qemu-devel@nongnu.org; Tue, 08 Feb 2011 15:07:01 -0500
Received: from mail-ew0-f45.google.com ([209.85.215.45]:41083)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <peter.maydell@linaro.org>) id 1Pmtpz-00041I-FH
	for qemu-devel@nongnu.org; Tue, 08 Feb 2011 15:06:59 -0500
Received: by ewy10 with SMTP id 10so3315549ewy.4
	for <qemu-devel@nongnu.org>; Tue, 08 Feb 2011 12:06:58 -0800 (PST)
MIME-Version: 1.0
In-Reply-To: <AANLkTi=uDtGamByjJ3ZA0uMHU446N3=01bTPrgXmeLTM@mail.gmail.com>
References: <4D50252A.2000100@st.com>
	<AANLkTim_TSvJVnyHFzmOiu52bmMu3_d=4Uz690S15o=1@mail.gmail.com>
	<4D5182BF.9050002@st.com>
	<AANLkTi=uDtGamByjJ3ZA0uMHU446N3=01bTPrgXmeLTM@mail.gmail.com>
Date: Tue, 8 Feb 2011 20:06:57 +0000
Message-ID: <AANLkTimu0eF9cbFFiOmUmARMVB8+uMOZo19eL96fhnX3@mail.gmail.com>
Subject: Re: [Qemu-devel] [PATCH v3] Softfloat: Add support to softfloat to
	return floatxx_default_nan when,
	the corresponding target status flag is set.
From: Peter Maydell <peter.maydell@linaro.org>
Content-Type: text/plain; charset=UTF-8
List-Id: qemu-devel.nongnu.org
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: Christophe Lyon <christophe.lyon@st.com>
Cc: "qemu-devel@nongnu.org" <qemu-devel@nongnu.org>, Aurelien Jarno <aurelien@aurel32.net>

On 8 February 2011 18:53, Peter Maydell <peter.maydell@linaro.org> wrote:
> On 8 February 2011 17:51, Christophe Lyon <christophe.lyon@st.com> wrote:
>> - this means implementing float16ToCommonNaN, thus float16_is_signaling_nan()
>
> ...like that, yes.

I have a slightly-tested implementation of these functions on my
hard disk now; I'll try to finish testing them tomorrow (my testing
is still falling over on some inputs to VCVTT/VCVTB).

(cc: Aurelien for the softfloat style questions:)

I think we should go ahead and define a float16 type.
Also, at the moment the commonNaNToFloatX(floatYToCommonNaN())
idiom doesn't do anything to avoid signaling NaNs showing up in
the output. On ARM this got fixed by having the helper.c wrappers
call float*_maybe_silence_nan() but maybe we should do it
in the generic softfloat code?

ie instead of:

    if ( mantissa )
        return make_float32(
            ( ( (bits32) a.sign )<<31 ) | 0x7F800000 | ( a.high>>41 ) );
    else
        return float32_default_nan;

do:
   float32 r = make_float32(
            ( ( (bits32) a.sign )<<31 ) | 0x7F800000 | ( a.high>>41 ) );
   if (!mantissa) {
      /* target specific, !SNAN_BIT_IS_ONE targets probably
       * just set the QNAN bit (true for ARM, SPARC)
       * others likely return the default NaN ?
       */
   } else {
      return float32_maybe_silence_nan(r);
   }

I'm pretty sure the existing code is wrong for SPARC, for instance,
which is supposed to return a float32 qNaN with just the QNAN bit set
if it is presented with a float64 signalling NaN all of whose non-zero
mantissa bits are at the bottom end and don't make it into the float32.
(ARM dodges a bullet here because as it happens our float32
default_nan has only the QNAN bit set, but SPARC's has all the
mantissa bits set.)

Opinions?

-- PMM