From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3388 invoked by alias); 3 Apr 2013 12:17:50 -0000 Mailing-List: contact libc-ports-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Post: List-Help: , Sender: libc-ports-owner@sourceware.org Received: (qmail 3369 invoked by uid 89); 3 Apr 2013 12:17:50 -0000 X-Spam-SWARE-Status: No, score=-7.7 required=5.0 tests=AWL,BAYES_00,KHOP_PGP_SIGNED,KHOP_RCVD_UNTRUST,KHOP_THREADED,RCVD_IN_HOSTKARMA_W,RCVD_IN_HOSTKARMA_WL autolearn=ham version=3.3.1 X-Spam-User: qpsmtpd, 2 recipients Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.84/v0.84-167-ge50287c) with ESMTP; Wed, 03 Apr 2013 12:17:47 +0000 Received: from svr-orw-exc-10.mgc.mentorg.com ([147.34.98.58]) by relay1.mentorg.com with esmtp id 1UNMdM-0005np-TL from Thomas_Schwinge@mentor.com ; Wed, 03 Apr 2013 05:17:44 -0700 Received: from SVR-IES-FEM-01.mgc.mentorg.com ([137.202.0.104]) by SVR-ORW-EXC-10.mgc.mentorg.com with Microsoft SMTPSVC(6.0.3790.4675); Wed, 3 Apr 2013 05:17:45 -0700 Received: from feldtkeller.schwinge.homeip.net (137.202.0.76) by SVR-IES-FEM-01.mgc.mentorg.com (137.202.0.104) with Microsoft SMTP Server id 14.1.289.1; Wed, 3 Apr 2013 13:17:42 +0100 From: Thomas Schwinge To: , CC: , , Subject: Re: [attention machine maintainers] [PATCH] issignaling In-Reply-To: <87fvzf1zz4.fsf@schwinge.name> References: <8762148l9v.fsf@schwinge.name> <87r4j73cqo.fsf@schwinge.name> <87fvzf1zz4.fsf@schwinge.name> User-Agent: Notmuch/0.9-101-g81dad07 (http://notmuchmail.org) Emacs/23.4.1 (x86_64-pc-linux-gnu) Date: Wed, 03 Apr 2013 12:17:00 -0000 Message-ID: <87li8zzu3r.fsf@schwinge.name> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" X-Virus-Found: No X-SW-Source: 2013-04/txt/msg00006.txt.bz2 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Content-length: 3000 Hi! On Thu, 28 Mar 2013 13:16:31 +0100, I wrote: > I plan to shortly "move" this patch (as present in the > tschwinge/issignaling branch) into master with the following changes > merged in, unless there are any further comments at this point. Yesterday pushed as commit 572676160d5639edc0ecb663147bd291841458d1. > On Tue, 26 Mar 2013 17:33:46 +0000, "Joseph S. Myers" wrote: > > On Fri, 22 Mar 2013, Thomas Schwinge wrote: > >=20 > > > PowerPC -m64: > > >=20 > > > math/basic-test.out: > > > Failure: double x =3D (double) (long double) sNaN, !issignaling > > >=20 > > > That is, this type cast -- which is a IEEE 754-2008 general-computati= onal > > > convertFormat operation (IEEE 754-2008, 5.4.2) -- does not turn the s= NaN > > > 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) > > > 4.7.2). > >=20 > > Such a bug (assuming present in GCC trunk for 4.9) should be filed in G= CC=20 > > Bugzilla (and I suppose a new math-tests.h macro used to disable the te= st=20 > > in question for older compilers). Though I guess it might only be desi= red=20 > > to change this for -fsignaling-nans. >=20 > I will [...] file in GCC Bugzilla, add its PR number to the > math_tests.h comment (also for the 32-bit x86 issue discussed before): Now both filed. Just pushed as commit 74d87055bfeb31ea37bc2356d88c065c612e1c0e: * sysdeps/i386/fpu/math-tests.h (SNAN_TESTS_float) (SNAN_TESTS_double): Refer to GCC PR56831. * sysdeps/powerpc/math-tests.h (SNAN_TESTS_TYPE_CAST): Refer to GCC PR56828. diff --git sysdeps/i386/fpu/math-tests.h sysdeps/i386/fpu/math-tests.h index 00c5f6c..2245fc9 100644 --- sysdeps/i386/fpu/math-tests.h +++ sysdeps/i386/fpu/math-tests.h @@ -19,7 +19,8 @@ /* On 32-bit x86, versions of GCC up to at least 4.8 are happy to use FPU = load instructions for sNaN values, and loading a float or double sNaN value = will already raise an INVALID exception as well as turn the sNaN into a qNaN, - rendering certain tests infeasible in this scenario. */ + rendering certain tests infeasible in this scenario. + . */ #define SNAN_TESTS_float 0 #define SNAN_TESTS_double 0 =20 diff --git sysdeps/powerpc/math-tests.h sysdeps/powerpc/math-tests.h index 0f09610..d87dc9a 100644 --- sysdeps/powerpc/math-tests.h +++ sysdeps/powerpc/math-tests.h @@ -20,7 +20,8 @@ a IEEE 754-2008 general-computational convertFormat operation (IEEE 754-2008, 5.4.2) -- does not turn a sNaN into a qNaN (whilst raising an INVALID exception), which is contrary to IEEE 754-2008 5.1 and 7.2. Th= is - renders certain tests infeasible in this scenario. */ + renders certain tests infeasible in this scenario. + . */ #define SNAN_TESTS_TYPE_CAST 0 =20 #include_next Gr=C3=BC=C3=9Fe, Thomas --=-=-= Content-Type: application/pgp-signature Content-length: 489 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJRXB3YAAoJENuKOtuXzphJ4fEIALLyxm/AmSVnKR0AXsyTo1h9 FhdrUYLaf2aqOrniUE260Qq/epN7+ZVvVuqG0OpLtE0wgspLJkDCXR2WIi5Nr6lF 1t0wwv8H88WKBYyo6DG18j31Qlg2Yw/pGHrlUeFSP4Lt3Z9S6PThcstLjdOiYqM4 A/1CI3UolQhLpxRyrKGZXh1SufahaLm7zXCiWq9L9ayNKDmzp2GhkfOc2ZTnKU2G L7sJIXGbVVzCSaAn40JuQOcQecHeyhqkC4Q5tSBMoH6cPlyiLgpdUnM1JOvy/2PC xrLLbxJiHT9GEss/BaFwDz311Hj9r9TBJRtOF7rdw3oj8aIMpw1ed7WYnjXxOik= =fpbo -----END PGP SIGNATURE----- --=-=-=--