From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/12050 Path: news.gmane.org!.POSTED!not-for-mail From: Sung-Taek Kim Newsgroups: gmane.linux.lib.musl.general Subject: libc-test on aarch64 Date: Mon, 30 Oct 2017 21:03:09 -0700 Message-ID: <15f7098e490.f6683ec2155112.5721721688095339796@pocketcluster.io> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_492371_1853466078.1509422589074" X-Trace: blaine.gmane.org 1509422682 21064 195.159.176.226 (31 Oct 2017 04:04:42 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 31 Oct 2017 04:04:42 +0000 (UTC) User-Agent: Zoho Mail To: "musl" Original-X-From: musl-return-12063-gllmg-musl=m.gmane.org@lists.openwall.com Tue Oct 31 05:04:38 2017 Return-path: Envelope-to: gllmg-musl@m.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by blaine.gmane.org with smtp (Exim 4.84_2) (envelope-from ) id 1e9Nmr-00040J-Q3 for gllmg-musl@m.gmane.org; Tue, 31 Oct 2017 05:04:25 +0100 Original-Received: (qmail 1599 invoked by uid 550); 31 Oct 2017 04:04:28 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Original-Received: (qmail 32660 invoked from network); 31 Oct 2017 04:03:24 -0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1509422589; s=dkimvery; d=pocketcluster.io; i=stkim1@pocketcluster.io; h=Date:From:To:Message-Id:In-Reply-To:Subject:MIME-Version:Content-Type; l=2296; bh=Z/WtTyz1vJzATdbZzRZR+Y3NjkcC4I8qWC5nkHW/dUg=; b=EeQ9UuWeU2yXHYQENwWIxZFjM/AurrTtCJ1N6/mK3ZpJhlfwblnRGv5DDfAsBSiK qvSho6v07vQRSOFXd7Xhl4e6XsUYzuQ3aZgfOJA/7CE2/wj5ZUbpB42uaTctbYVso7U o+5RDaIyC7rrGFjbZpq0RvBTRA226d889YGDcuM8= In-Reply-To: X-Priority: Medium X-Mailer: Zoho Mail Xref: news.gmane.org gmane.linux.lib.musl.general:12050 Archived-At: ------=_Part_492371_1853466078.1509422589074 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit Hello, I'm a long time lurker and first time poster. I was able to run Szabolcs' libc-test on aarch64 & x86_64, and aarch64 test produced noticeably more "bad fp exception". Being aware of musl's experimental status on aarch64, I'd just like to make sure this is expected. Here's test environment. lib & testsuite version - musl : 1.1.7 - libc-test : commit defcb8 (2017/06/22) aarch64 (odroid c2) - gcc : (Ubuntu/Linaro 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609 - kernel : Linux odroid 3.14.79-102 x86_64 - gcc : (Ubuntu 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609 - kernel : Linux pc-core 4.4.0-59-generic ------=_Part_492371_1853466078.1509422589074 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =
Hello,

I'm a long time lur= ker and first time poster.

I was able to run S= zabolcs' libc-test on aarch64 & x86_64, and aarch64 test produced notic= eably more "bad fp exception".
Being aware of musl's experime= ntal status on aarch64, I'd just like to make sure this is expected.

Here's test environment.


lib & testsuite version
- musl : 1.1.7
- libc-test : commit defcb8 (2017/06/22)
<= br>
aarch64 (odroid c2)
- gcc : (Ubuntu/Linaro= 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609
- kernel : Linux= odroid 3.14.79-102

x86_64 
- gcc : (Ubuntu 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609
= - kernel : Linux pc-core 4.4.0-59-generic



------=_Part_492371_1853466078.1509422589074-- From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/12051 Path: news.gmane.org!.POSTED!not-for-mail From: Szabolcs Nagy Newsgroups: gmane.linux.lib.musl.general Subject: Re: libc-test on aarch64 Date: Tue, 31 Oct 2017 12:50:32 +0100 Message-ID: <20171031115032.GX15263@port70.net> References: <15f7098e490.f6683ec2155112.5721721688095339796@pocketcluster.io> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: blaine.gmane.org 1509450649 26353 195.159.176.226 (31 Oct 2017 11:50:49 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 31 Oct 2017 11:50:49 +0000 (UTC) User-Agent: Mutt/1.6.0 (2016-04-01) To: musl@lists.openwall.com Original-X-From: musl-return-12064-gllmg-musl=m.gmane.org@lists.openwall.com Tue Oct 31 12:50:44 2017 Return-path: Envelope-to: gllmg-musl@m.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by blaine.gmane.org with smtp (Exim 4.84_2) (envelope-from ) id 1e9V45-00064v-C6 for gllmg-musl@m.gmane.org; Tue, 31 Oct 2017 12:50:41 +0100 Original-Received: (qmail 4019 invoked by uid 550); 31 Oct 2017 11:50:45 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Original-Received: (qmail 3992 invoked from network); 31 Oct 2017 11:50:44 -0000 Mail-Followup-To: musl@lists.openwall.com Content-Disposition: inline In-Reply-To: <15f7098e490.f6683ec2155112.5721721688095339796@pocketcluster.io> Xref: news.gmane.org gmane.linux.lib.musl.general:12051 Archived-At: * Sung-Taek Kim [2017-10-30 21:03:09 -0700]: > I was able to run Szabolcs' libc-test on aarch64 & x86_64, and aarch64 test produced noticeably more "bad fp exception". > > Being aware of musl's experimental status on aarch64, I'd just like to make sure this is expected. > those tests are wrong and i should fix them. the current standard allows rounding functions to either consistently raise inexact or not raise exceptions for non-integer inputs. the c code in musl was written so it raises inexact (following fdlibm convention), and the tests try to check for that. but the other way is correct too and ieee754-2008 made that a requirement and future c fp standard (ts 18661) will require that too, so eventually both the c code in musl and the test system should be fixed to check for that. on aarch64 recently the rounding functions were changed to use single instruction asm implementation and those follow the ieee754-2008 requirement. (fixing this in the c code can be expensive: either int arithmetics has to be used or the inexact flag has to be suppressed by modifying the fenv status, both of which can be significantly slower than the current implementation on some targets) that said aarch64 has one outstanding issue: some long double functions are broken for the 128bit float format. other than this aarch64 port should work well. > lib & testsuite version > > - musl : 1.1.7 > i assume this is 1.1.17 > - libc-test : commit defcb8 (2017/06/22) > > > > aarch64 (odroid c2) > > - gcc : (Ubuntu/Linaro 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609 > > - kernel : Linux odroid 3.14.79-102 > From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/12053 Path: news.gmane.org!.POSTED!not-for-mail From: Sung-Taek Kim Newsgroups: gmane.linux.lib.musl.general Subject: Re: libc-test on aarch64 Date: Tue, 31 Oct 2017 18:03:22 -0700 Message-ID: <15f751aa880.1189c6663375165.5783643331307535869@pocketcluster.io> References: <15f7098e490.f6683ec2155112.5721721688095339796@pocketcluster.io> <20171031115032.GX15263@port70.net> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1509498311 3365 195.159.176.226 (1 Nov 2017 01:05:11 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 1 Nov 2017 01:05:11 +0000 (UTC) User-Agent: Zoho Mail To: "musl" Original-X-From: musl-return-12066-gllmg-musl=m.gmane.org@lists.openwall.com Wed Nov 01 02:05:05 2017 Return-path: Envelope-to: gllmg-musl@m.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by blaine.gmane.org with smtp (Exim 4.84_2) (envelope-from ) id 1e9hSj-00087E-SI for gllmg-musl@m.gmane.org; Wed, 01 Nov 2017 02:04:57 +0100 Original-Received: (qmail 3436 invoked by uid 550); 1 Nov 2017 01:04:57 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Original-Received: (qmail 1482 invoked from network); 1 Nov 2017 01:03:36 -0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1509498202; s=dkimvery; d=pocketcluster.io; i=stkim1@pocketcluster.io; h=Date:From:To:Message-ID:In-Reply-To:References:Subject:MIME-Version:Content-Type:Content-Transfer-Encoding; l=776; bh=gD0ZVp36lh4QCSQVugEUBXkE4R3PbUHs0md3oZDsUCc=; b=DOmb31x29NP7d4NCzrDZcpmS2Eat43XfSO7EbWGE1A+kjPwmvA3KglFBFg4m5aGb U+zhbcGF31DPhqBkEPiq8Mi2BaSFpZ4ZVWgqWgg0iXQbTfP+cPlWLTQ6SdjhbdwWDIG pSTMA8QAihC8BhsN5pQaf1TYuyqnchXn/Fw7zCXY= In-Reply-To: <20171031115032.GX15263@port70.net> X-Priority: Medium X-Mailer: Zoho Mail Xref: news.gmane.org gmane.linux.lib.musl.general:12053 Archived-At: ---- On Tue, 31 Oct 2017 04:50:32 -0700 Szabolcs Nagy wrote ---- > the current standard allows rounding functions to either > consistently raise inexact or not raise exceptions for > non-integer inputs. the c code in musl was written so > it raises inexact (following fdlibm convention), and the > tests try to check for that. > > but the other way is correct too and ieee754-2008 made > that a requirement and future c fp standard (ts 18661) > will require that too, so eventually both the c code in > musl and the test system should be fixed to check for that. > In that case, may I start looking into updating the test cases? Could you be kind enough to point out an entry point case with which I can work out from there on?