[Bug 1001539] Single precision floating point math library

[bugzilla-daemon@bugs.ecos.sourceware.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 12480 bytes --]

Please do not reply to this email, use the link below.

http://bugs.ecos.sourceware.org/show_bug.cgi?id=1001539

--- Comment #30 from Jonathan Larmour <jifl@ecoscentric.com> ---
(In reply to comment #29)
> 
> I'm referring to actual code Ref:float/ieee754_api/wf_asinf.c
> if (|x| > 1) POSIX mode sets errno = EDOM indeed, but returns 0 rather than
> NaN.

It's not required to return NaN. In fact the slightly older POSIX standard I've
got here (not online) says that more explicitly:

"If the value of x is not in the range [−1,1], and is not ±Inf or NaN, either
0.0 or NaN shall be returned and errno shall be set to [EDOM].

If x is NaN, NaN shall be returned and errno may be set to [EDOM].

If x is ±Inf, either 0.0 shall be returned and errno set to [EDOM], or NaN
shall be returned and errno may be set to [EDOM]."

I assume in the more recent standard they decided to make it more general - not
necessarily 0.0 but any value as long as it's implementation-defined. But that
can certainly be 0.0.

-- 
You are receiving this mail because:
You are the assignee for the bug.
>From ecos-bugs-return-10358-listarch-ecos-bugs=sources.redhat.com@sourceware.org Sat Jun 08 19:08:59 2013
Return-Path: <ecos-bugs-return-10358-listarch-ecos-bugs=sources.redhat.com@sourceware.org>
Delivered-To: listarch-ecos-bugs@sources.redhat.com
Received: (qmail 17751 invoked by alias); 8 Jun 2013 19:08:59 -0000
Mailing-List: contact ecos-bugs-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <ecos-bugs.sourceware.org>
List-Subscribe: <mailto:ecos-bugs-subscribe@sourceware.org>
List-Post: <mailto:ecos-bugs@sourceware.org>
List-Help: <mailto:ecos-bugs-help@sourceware.org>, <http://sourceware.org/lists.html#faqs>
Sender: ecos-bugs-owner@sourceware.org
Delivered-To: mailing list ecos-bugs@sourceware.org
Received: (qmail 17743 invoked by uid 89); 8 Jun 2013 19:08:59 -0000
X-Spam-SWARE-Status: No, score=-3.6 required=5.0 tests=AWL,BAYES_00,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RP_MATCHES_RCVD,SPF_PASS 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:08:57 +0000
Received: by mail.ecoscentric.com (Postfix, from userid 48)
	id 9BCC44680001; Sat,  8 Jun 2013 20:08:55 +0100 (BST)
X-Original-To: unassigned@bugs.ecos.sourceware.org
Delivered-To: unassigned@bugs.ecos.sourceware.org
From: bugzilla-daemon@bugs.ecos.sourceware.org
To: unassigned@bugs.ecos.sourceware.org
Subject: [Bug 1001539] Single precision floating point math library
Date: Sat, 08 Jun 2013 19:08:00 -0000
X-Bugzilla-Reason: AssignedTo
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: <bug-1001539-777-c6TCH2iu1f@http.bugs.ecos.sourceware.org/>
In-Reply-To: <bug-1001539-777@http.bugs.ecos.sourceware.org/>
References: <bug-1001539-777@http.bugs.ecos.sourceware.org/>
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/txt/msg00389.txt.bz2
Content-length: 1184

Please do not reply to this email, use the link below.

http://bugs.ecos.sourceware.org/show_bug.cgi?id=1001539

--- Comment #31 from Ilija Kocho <ilijak@siva.com.mk> ---
(In reply to comment #30)
> (In reply to comment #29)
> > 
> > I'm referring to actual code Ref:float/ieee754_api/wf_asinf.c
> > if (|x| > 1) POSIX mode sets errno = EDOM indeed, but returns 0 rather than
> > NaN.
> 
> It's not required to return NaN. In fact the slightly older POSIX standard
> I've got here (not online) says that more explicitly:
> 
> "If the value of x is not in the range [−1,1], and is not ±Inf or NaN,
> either 0.0 or NaN shall be returned and errno shall be set to [EDOM].
> 
> If x is NaN, NaN shall be returned and errno may be set to [EDOM].
> 
> If x is ±Inf, either 0.0 shall be returned and errno set to [EDOM], or NaN
> shall be returned and errno may be set to [EDOM]."
> 
> I assume in the more recent standard they decided to make it more general -
> not necessarily 0.0 but any value as long as it's implementation-defined.
> But that can certainly be 0.0.

-- 
You are receiving this mail because:
You are the assignee for the bug.
>From ecos-bugs-return-10359-listarch-ecos-bugs=sources.redhat.com@sourceware.org Sat Jun 08 19:39:49 2013
Return-Path: <ecos-bugs-return-10359-listarch-ecos-bugs=sources.redhat.com@sourceware.org>
Delivered-To: listarch-ecos-bugs@sources.redhat.com
Received: (qmail 1246 invoked by alias); 8 Jun 2013 19:39:49 -0000
Mailing-List: contact ecos-bugs-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <ecos-bugs.sourceware.org>
List-Subscribe: <mailto:ecos-bugs-subscribe@sourceware.org>
List-Post: <mailto:ecos-bugs@sourceware.org>
List-Help: <mailto:ecos-bugs-help@sourceware.org>, <http://sourceware.org/lists.html#faqs>
Sender: ecos-bugs-owner@sourceware.org
Delivered-To: mailing list ecos-bugs@sourceware.org
Received: (qmail 1220 invoked by uid 89); 8 Jun 2013 19:39:49 -0000
X-Spam-SWARE-Status: No, score=-3.6 required=5.0 tests=AWL,BAYES_00,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RP_MATCHES_RCVD,SPF_PASS 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:48 +0000
Received: by mail.ecoscentric.com (Postfix, from userid 48)
	id EF98F4680001; Sat,  8 Jun 2013 20:39:45 +0100 (BST)
X-Original-To: unassigned@bugs.ecos.sourceware.org
Delivered-To: unassigned@bugs.ecos.sourceware.org
From: bugzilla-daemon@bugs.ecos.sourceware.org
To: unassigned@bugs.ecos.sourceware.org
Subject: [Bug 1001539] Single precision floating point math library
Date: Sat, 08 Jun 2013 19:39:00 -0000
X-Bugzilla-Reason: AssignedTo
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: <bug-1001539-777-BGFjEqnAk0@http.bugs.ecos.sourceware.org/>
In-Reply-To: <bug-1001539-777@http.bugs.ecos.sourceware.org/>
References: <bug-1001539-777@http.bugs.ecos.sourceware.org/>
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/txt/msg00390.txt.bz2
Content-length: 1674

Please do not reply to this email, use the link below.

http://bugs.ecos.sourceware.org/show_bug.cgi?id=1001539

--- Comment #32 from Ilija Kocho <ilijak@siva.com.mk> ---
(In reply to comment #31)
> (In reply to comment #30)
> > (In reply to comment #29)
> > > 
> > > I'm referring to actual code Ref:float/ieee754_api/wf_asinf.c
> > > if (|x| > 1) POSIX mode sets errno = EDOM indeed, but returns 0 rather than
> > > NaN.
... as expected by the test.

I should have been clearer, sorry.

> > 
> > It's not required to return NaN. In fact the slightly older POSIX standard
> > I've got here (not online) says that more explicitly:
> > 
> > "If the value of x is not in the range [−1,1], and is not ±Inf or NaN,
> > either 0.0 or NaN shall be returned and errno shall be set to [EDOM].
> > 
> > If x is NaN, NaN shall be returned and errno may be set to [EDOM].
> > 
> > If x is ±Inf, either 0.0 shall be returned and errno set to [EDOM], or NaN
> > shall be returned and errno may be set to [EDOM]."
> > 
> > I assume in the more recent standard they decided to make it more general -
> > not necessarily 0.0 but any value as long as it's implementation-defined.
> > But that can certainly be 0.0.

The code is OK, according to standard, nevertheless for non IEEE model tests 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, but
I'm open for suggestions.

Ilija

-- 
You are receiving this mail because:
You are the assignee for the bug.
>From ecos-bugs-return-10360-listarch-ecos-bugs=sources.redhat.com@sourceware.org Sat Jun 08 23:34:40 2013
Return-Path: <ecos-bugs-return-10360-listarch-ecos-bugs=sources.redhat.com@sourceware.org>
Delivered-To: listarch-ecos-bugs@sources.redhat.com
Received: (qmail 673 invoked by alias); 8 Jun 2013 23:34:39 -0000
Mailing-List: contact ecos-bugs-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <ecos-bugs.sourceware.org>
List-Subscribe: <mailto:ecos-bugs-subscribe@sourceware.org>
List-Post: <mailto:ecos-bugs@sourceware.org>
List-Help: <mailto:ecos-bugs-help@sourceware.org>, <http://sourceware.org/lists.html#faqs>
Sender: ecos-bugs-owner@sourceware.org
Delivered-To: mailing list ecos-bugs@sourceware.org
Received: (qmail 658 invoked by uid 89); 8 Jun 2013 23:34:39 -0000
X-Spam-SWARE-Status: No, score=-2.8 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_LOW,RP_MATCHES_RCVD,SPF_PASS 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 23:34:38 +0000
Received: by mail.ecoscentric.com (Postfix, from userid 48)
	id DF5E54680001; Sun,  9 Jun 2013 00:34:36 +0100 (BST)
X-Original-To: unassigned@bugs.ecos.sourceware.org
Delivered-To: unassigned@bugs.ecos.sourceware.org
From: bugzilla-daemon@bugs.ecos.sourceware.org
To: unassigned@bugs.ecos.sourceware.org
Subject: [Bug 1001861] New: Patch for TWR-K60FN120 board
Date: Sat, 08 Jun 2013 23:34:00 -0000
X-Bugzilla-Reason: AssignedTo
X-Bugzilla-Type: new
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: mjones@linear.com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: low
X-Bugzilla-Assigned-To: unassigned@bugs.ecos.sourceware.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform
 op_sys bug_status bug_severity priority component assigned_to reporter cc
Message-ID: <bug-1001861-777@http.bugs.ecos.sourceware.org/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://bugs.ecos.sourceware.org/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013/txt/msg00391.txt.bz2
Content-length: 1225

Please do not reply to this email, use the link below.

http://bugs.ecos.sourceware.org/show_bug.cgi?id\x1001861

            Bug ID: 1001861
           Summary: Patch for TWR-K60FN120 board
           Product: eCos
           Version: unknown
            Target: freescale_twr_k60n512 (Freescale Kinetis TWR-K60N512)
  Architecture/Host Cortex-M
                OS:
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: low
         Component: Patches and contributions
          Assignee: unassigned@bugs.ecos.sourceware.org
          Reporter: mjones@linear.com
                CC: ecos-patches@ecos.sourceware.org

Created attachment 2251
  --> http://bugs.ecos.sourceware.org/attachment.cgi?id"51&actioníit
HAL patch

This patch was tested with: Ethernet/LwIP, UART5/Terminal, and I2C0. It is very
similar to the K70 HAL but the DDRAM was removed, and IO pins were changed to
match the board. Compilation with and without Floating Point and Cache was
tested. It is simple to tree diff this against the K70 to see there are few
chances of mistakes, but someone that knows K70 well may want to diff it to
check.

--
You are receiving this mail because:
You are the assignee for the bug.