From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 920 invoked by alias); 8 Jun 2013 19:39:47 -0000 Mailing-List: contact ecos-patches-help@ecos.sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Post: List-Help: , Sender: ecos-patches-owner@ecos.sourceware.org Received: (qmail 905 invoked by uid 89); 8 Jun 2013 19:39:46 -0000 X-Spam-SWARE-Status: No, score=-2.8 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,KHOP_THREADED,RCVD_IN_DNSWL_LOW autolearn=ham version=3.3.1 Received: from hagrid.ecoscentric.com (HELO mail.ecoscentric.com) (212.13.207.197) by sourceware.org (qpsmtpd/0.84/v0.84-167-ge50287c) with ESMTP; Sat, 08 Jun 2013 19:39:46 +0000 Received: from localhost (hagrid.ecoscentric.com [127.0.0.1]) by mail.ecoscentric.com (Postfix) with ESMTP id BF0FB4680015 for ; Sat, 8 Jun 2013 20:39:43 +0100 (BST) Received: from mail.ecoscentric.com ([127.0.0.1]) by localhost (hagrid.ecoscentric.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id MWy4aIa+ynbl; Sat, 8 Jun 2013 20:39:39 +0100 (BST) From: bugzilla-daemon@bugs.ecos.sourceware.org To: ecos-patches@ecos.sourceware.org Subject: [Bug 1001539] Single precision floating point math library Date: Sat, 08 Jun 2013 19:39:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: eCos X-Bugzilla-Component: Patches and contributions X-Bugzilla-Keywords: X-Bugzilla-Severity: enhancement X-Bugzilla-Who: ilijak@siva.com.mk X-Bugzilla-Status: NEW X-Bugzilla-Priority: low X-Bugzilla-Assigned-To: unassigned@bugs.ecos.sourceware.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://bugs.ecos.sourceware.org/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2013-06/txt/msg00020.txt.bz2 Please do not reply to this email, use the link below. http://bugs.ecos.sourceware.org/show_bug.cgi?id=3D1001539 --- Comment #32 from Ilija Kocho --- (In reply to comment #31) > (In reply to comment #30) > > (In reply to comment #29) > > >=20 > > > I'm referring to actual code Ref:float/ieee754_api/wf_asinf.c > > > if (|x| > 1) POSIX mode sets errno =3D EDOM indeed, but returns 0 rat= her than > > > NaN. ... as expected by the test. I should have been clearer, sorry. > >=20 > > It's not required to return NaN. In fact the slightly older POSIX stand= ard > > I've got here (not online) says that more explicitly: > >=20 > > "If the value of x is not in the range [=E2=88=921,1], and is not =C2= =B1Inf or NaN, > > either 0.0 or NaN shall be returned and errno shall be set to [EDOM]. > >=20 > > If x is NaN, NaN shall be returned and errno may be set to [EDOM]. > >=20 > > If x is =C2=B1Inf, either 0.0 shall be returned and errno set to [EDOM]= , or NaN > > shall be returned and errno may be set to [EDOM]." > >=20 > > I assume in the more recent standard they decided to make it more gener= al - > > not necessarily 0.0 but any value as long as it's implementation-define= d. > > But that can certainly be 0.0. The code is OK, according to standard, nevertheless for non IEEE model test= s do fail on vectors testing EDOM. We can either change the test (perhaps test errno), or exclude EDOM tests for non IEEE models. I proposed exclusion of = EDOM vectors for non IEEE model, because I didn't want to alter the test code, b= ut I'm open for suggestions. Ilija --=20 You are receiving this mail because: You are on the CC list for the bug.