This is the mail archive of the
mailing list for the glibc project.
Re: [attention machine maintainers] [PATCH] <math.h> issignaling
- From: Adhemerval Zanella <azanella at linux dot vnet dot ibm dot com>
- To: libc-alpha at sourceware dot org
- Date: Thu, 28 Mar 2013 09:15:37 -0300
- Subject: Re: [attention machine maintainers] [PATCH] <math.h> issignaling
- References: <8762148l9v dot fsf at schwinge dot name> <87r4j73cqo dot fsf at schwinge dot name> <Pine dot LNX dot 4 dot 64 dot 1303261719310 dot 8202 at digraph dot polyomino dot org dot uk> <5151E427 dot 1080106 at linux dot vnet dot ibm dot com> <87mwtnpziy dot fsf at kepler dot schwinge dot homeip dot net>
On 28-03-2013 07:52, Thomas Schwinge wrote:
> On Tue, 26 Mar 2013 15:08:39 -0300, Adhemerval Zanella <email@example.com> wrote:
>> On 26-03-2013 14:33, Joseph S. Myers wrote:
>>> On Fri, 22 Mar 2013, Thomas Schwinge wrote:
>>>> PowerPC -m64:
>>>> Failure: double x = (double) (long double) sNaN, !issignaling
>>>> That is, this type cast -- which is a IEEE 754-2008 general-computational
>>>> convertFormat operation (IEEE 754-2008, 5.4.2) -- does not turn the sNaN
>>>> into a qNaN (whilst raising an INVALID exception; not checked here),
>>>> which is contrary to IEEE 754-2008 5.1 and 7.2. This I consider a
>>>> compiler issue (powerpc-linux-gnu-gcc (Sourcery CodeBench 2012.09-92)
>>> Such a bug (assuming present in GCC trunk for 4.9) should be filed in GCC
>>> Bugzilla (and I suppose a new math-tests.h macro used to disable the test
>>> in question for older compilers). Though I guess it might only be desired
>>> to change this for -fsignaling-nans.
>> It does for GCC trunk 4.9 on both PowerPC -m32 and -m64.
> ÂIt doesÂ pass/fail/something else? :-)
> And ÂitÂ just being that one type casting test of math/basic-test, or
> also any other issignaling (or related) tests?
I noted the same issue you did:
Failure: double x = (double) (long double) sNaN, !issignaling
On both PowerPC 32-bits and PowerPC 64-bits using GCC trunk 4.9.