From owner-freebsd-numerics@FreeBSD.ORG Sun Aug 12 22:54:38 2012 Return-Path: Delivered-To: freebsd-numerics@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id BD171106564A for ; Sun, 12 Aug 2012 22:54:38 +0000 (UTC) (envelope-from peter@rulingia.com) Received: from vps.rulingia.com (host-122-100-2-194.octopus.com.au [122.100.2.194]) by mx1.freebsd.org (Postfix) with ESMTP id 248B48FC08 for ; Sun, 12 Aug 2012 22:54:36 +0000 (UTC) Received: from server.rulingia.com (c220-239-249-137.belrs5.nsw.optusnet.com.au [220.239.249.137]) by vps.rulingia.com (8.14.5/8.14.5) with ESMTP id q7CMsaZw075467 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Mon, 13 Aug 2012 08:54:36 +1000 (EST) (envelope-from peter@rulingia.com) X-Bogosity: Ham, spamicity=0.000000 Received: from server.rulingia.com (localhost.rulingia.com [127.0.0.1]) by server.rulingia.com (8.14.5/8.14.5) with ESMTP id q7CMsSGr020792 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 13 Aug 2012 08:54:29 +1000 (EST) (envelope-from peter@server.rulingia.com) Received: (from peter@localhost) by server.rulingia.com (8.14.5/8.14.5/Submit) id q7CMsS3H020791 for freebsd-numerics@freebsd.org; Mon, 13 Aug 2012 08:54:28 +1000 (EST) (envelope-from peter) Resent-From: Peter Jeremy Resent-Date: Mon, 13 Aug 2012 08:54:28 +1000 Resent-Message-ID: <20120812225428.GE20453@server.rulingia.com> Resent-To: freebsd-numerics@freebsd.org From: Peter Jeremy Mail-Followup-To: freebsd-numerics@freebsd.org To: Steve Kargl Message-ID: <20120717042125.GF66913@server.rulingia.com> References: <20120713114100.GB83006@server.rulingia.com> <201207130818.38535.jhb@freebsd.org> <9EB2DA4F-19D7-4BA5-8811-D9451CB1D907@theravensnest.org> <20120713155805.GC81965@zim.MIT.EDU> <20120714120432.GA70706@server.rulingia.com> <20120717084457.U3890@besplex.bde.org> <5004A5C7.1040405@missouri.edu> <5004DEA9.1050001@missouri.edu> <20120717040118.GA86840@troutmask.apl.washington.edu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="WlEyl6ow+jlIgNUh" Content-Disposition: inline In-Reply-To: <20120717040118.GA86840@troutmask.apl.washington.edu> X-PGP-Key: http://www.rulingia.com/keys/peter.pgp User-Agent: Mutt/1.5.21 (2010-09-15) Cc: Diane Bruce , John Baldwin , David Chisnall , Stephen Montgomery-Smith , Bruce Evans , Bruce Evans , David Schultz , Warner Losh Subject: Re: Use of C99 extra long double math functions after r236148 X-BeenThere: freebsd-numerics@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Discussions of high quality implementation of libm functions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Date: Sun, 12 Aug 2012 22:54:38 -0000 X-Original-Date: Tue, 17 Jul 2012 14:21:25 +1000 X-List-Received-Date: Sun, 12 Aug 2012 22:54:38 -0000 --WlEyl6ow+jlIgNUh Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On 2012-Jul-16 21:01:18 -0700, Steve Kargl wrote: >On Mon, Jul 16, 2012 at 10:40:25PM -0500, Stephen Montgomery-Smith wrote: >>=20 >> I came up with pseudo code that looks a bit like this. =2E.. >Stop. Please see msun/src/math_private.h. You cannot >use I in any expression. Note the "pseudo code" reference. I agree that the actual code has to jump through hoops to avoid compiler issues with complex arithmetic but doing that for pseudocode just obfuscates it. >Also, consult n1256.pdf for x,y =3D +-0, +-inf, nan.=20 >There are specific requirements that must be met. Again, handling the special cases listed in G.6 is all just boilerplate code that we can take as assumed for pseudocode. IMO, it would be nice if we could come up with a formal, compact (one/line per rule) representation of G.6 that could be pre-processed into wrapper code that handles all the 0/Inf/NaN special-cases and then calls FOO_finite() which has the hand-written code to handle "normal" cases. --=20 Peter Jeremy --WlEyl6ow+jlIgNUh Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (FreeBSD) iEYEARECAAYFAlAE6EUACgkQ/opHv/APuIf6qQCfW6VSxZMiXmQUuo9thoIW+con uW4An2GQ54eREWJTsW7C/nF46zrSgWaV =lDPy -----END PGP SIGNATURE----- --WlEyl6ow+jlIgNUh--