From owner-freebsd-numerics@FreeBSD.ORG Sun Nov 10 01:43:44 2013 Return-Path: Delivered-To: freebsd-numerics@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id DDDD873A; Sun, 10 Nov 2013 01:43:44 +0000 (UTC) (envelope-from das@FreeBSD.ORG) Received: from zim.MIT.EDU (poofydog.net [198.0.194.193]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 354CE2E7B; Sun, 10 Nov 2013 01:43:43 +0000 (UTC) Received: from zim.MIT.EDU (localhost [127.0.0.1]) by zim.MIT.EDU (8.14.7/8.14.2) with ESMTP id rA88oe18001907; Fri, 8 Nov 2013 00:50:40 -0800 (PST) (envelope-from das@FreeBSD.ORG) Received: (from das@localhost) by zim.MIT.EDU (8.14.7/8.14.2/Submit) id rA88odhp001906; Fri, 8 Nov 2013 00:50:39 -0800 (PST) (envelope-from das@FreeBSD.ORG) Date: Fri, 8 Nov 2013 00:50:39 -0800 From: David Schultz To: Bruce Evans Subject: Re: MUSL math functions Message-ID: <20131108085039.GA1821@zim.MIT.EDU> References: <20131031133352.GA59918@troutmask.apl.washington.edu> <20131101072032.P1002@besplex.bde.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20131101072032.P1002@besplex.bde.org> Cc: "freebsd-numerics@FreeBSD.org" , David Chisnall , Steve Kargl X-BeenThere: freebsd-numerics@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Discussions of high quality implementation of libm functions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 10 Nov 2013 01:43:44 -0000 On Fri, Nov 01, 2013, Bruce Evans wrote: > >> What are the current blockers for getting them in? > > > > 1) Code freeze for FreeBSD-10 came at the wrong time. > > 2) Got sidetracked on fixing a bug in roundl. > > 3) Can't update my development systems to FreeBSD-11 (where new > > code should appear) because news/pan does not compile with > > clang++ because clang++ appears to have problems compiling > > headers associated with libc++. > > 4) ENOTIME. > > das AWOL :-). I don't commit. Others not very active. Not entirely, but sign me up for the ENOTIME excuse. > > Have you looked at the code? Hint, I have. Here's ccoshl(). > > > > #include "libm.h" > > > > //FIXME > > long double complex ccoshl(long double complex z) > > { > > return ccosh(z); > > } Is there anything usable in there? Thanks for the pointer in any case! > > Yes. I object to importing anything from MUSL or OpenBSD or NetBSD > > without review or testing. It also appears that these functions are > > only available for ld80 archs. FreeBSD has both ld80 and ld128. > > Supporting ld128 can be a blocker. Apart from increasing the amount of > code needed, the extra precision sometimes expands the technical > complications a lot. I think I was the one who proposed several years ago that we should develop the ld80 and ld128 versions at the same time because (a) it's more efficient to do both while you have the algorithm in your head and (b) the ld128 versions probably would never happen otherwise. However, several things have happened since then. For one, years have passed and there's still quite a bit of work to do. For two, the only ld128 platform, sparc64, doesn't look as important as it used to be. For a long time, we had trouble even finding a viable test machine. Therefore, I think any incremental improvement would be welcome -- even if it means doing ld80 only.