From nobody Mon Feb 10 16:14:00 2025 X-Original-To: freebsd-numerics@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Ys8lz064Hz5mN5x for ; Mon, 10 Feb 2025 16:14:23 +0000 (UTC) (envelope-from pfg@freebsd.org) Received: from sonic307-9.consmr.mail.ne1.yahoo.com (sonic307-9.consmr.mail.ne1.yahoo.com [66.163.190.32]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4Ys8ly0dqdz3mmj for ; Mon, 10 Feb 2025 16:14:22 +0000 (UTC) (envelope-from pfg@freebsd.org) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=yahoo.com header.s=s2048 header.b=WbNsgc88; spf=softfail (mx1.freebsd.org: 66.163.190.32 is neither permitted nor denied by domain of pfg@freebsd.org) smtp.mailfrom=pfg@freebsd.org; dmarc=fail reason="No valid SPF, DKIM not aligned (relaxed)" header.from=freebsd.org (policy=none) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1739204061; bh=ErVwAbeOn6S7zJ7nvufvbhAVTcSybqggkAo8gSFFAf0=; h=Date:From:To:Subject:References:From:Subject:Reply-To; b=WbNsgc88IihP+F56X+Ku+X8xIpY8omY+Gfs80gvJ8IGR+o9cEYdT35lNykilzyxhe3+yMfbULt/OmFYtUPA8IhO0MERmQhWffiTfDWBjjlfx97aRKLMNtqgA703a8R/G1mgENiKB6gRxrMfC5ktFTjEDoNndS4WoolxrXgCAvUsk5x+Urrdp+AliZPOBbJ945zMCxqTpxu19JCCpjAO8e0GRdhRGgp28PK6l6IBrm3UtwD4gRZuRb1jrdDR3NKLeJb+xAtM9IbXh4NqqXQssH6wDsmafSB4N8+GitdDtB5KH5jl5/xsvruslKsYefrI7CH5gqjGvWjliu0qbNQ+hHw== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1739204061; bh=ZRWUUCq0A5/Q609j+ov68ucq1kDbT1DPirS8WdVvkYL=; h=X-Sonic-MF:Date:From:To:Subject:From:Subject; b=DYMSPOE7zVAzpOfFOcLXjuM986Y6OWtbCmHghdk6pGxXfnTvx1C26RnnSch0ai+XMvFfXqUqReKw4NVNZNjxgMb5j40ZjhuctIilCpjCEMoCX6pD9eiTM63QNHHesHHkMj8U2Xz8UnmnNQlvrDz8qyoNnVxD9RnGeM3gOddtDq6u+yrS3YeNMMXQcNwpKMMIGeLPk9TqRZ2THsPJJPnahauMd14kmH7U+9ya+xcFNbNMVFMHQBIGdoFPCSmgwBHlnr8ogwLR4C7vZwOrazej0XiZNPunaY/b/5FSpEaZita1bX+bMpB6bbmHIb8d9EyYNpzcrAc1hxFMGR0256IX4g== X-YMail-OSG: 7Aw.PHYVM1k6xTvqqLkRiTez68xV6iscWaTww9XfeddV3bx9dGJOCVvhRV1uFU. lVil9WDtJmDiLDYPZypa38kiPBByGjA75v4fSQJ8_ZHtjXe9RQ0JgVV.6Hnof9OSn9UNQkpmVZnq .jz.bmvXIEpo7EfnDzz6WDt1TdXSbL2L9O8dCFMI0m_CRxFXD4KeSI7r6KL.sEAysejklvhxhbx. RHa0iOPPNTZQR4FUIORrUlqUb4sGaIevVNIkVz75ywJD05n_Ad0y7Y_urWHvaSdS1BAt_nSfe9T3 9Wj18LypFqvhy7Fg2vCqdWrXQ.a_IEK43jBOp.jt8LW2Y3kTvvCc2L2SW.dfdDvFpTZkz6j9Upqj 7w83KmpVVKEY.y9842N2pmfSPT7NjrZROlBFMLoRf3ncL.wz_Z6sXk6FHa7L1fhs9_g5XGUICF.y jTSRgIhElv7wvI0niSLeNS9usEqag1s1BCxNkjL9G8luM4jFfYDSU9wv8pHUKKzhyBmUbBW4K4p3 MEYS5xQOOMfLDEf8_2VWXoZMjMsHRnAVWmqeelXHZl1sSP2_g9L6li4VVIQwbFSeHmZj9HP9RE3v dT_bMpb16U7r19GwMY7mj3_34JSwmdh8m82SZUiQw4.ZlQBw3kz6XpynLKLAf5hASFrRL8f5FX7d wwIO1ZvRKivQNYA2G4Vzpg46F3BhU_GxB8qtE6V.vJ2qtE4HE670QEeTrwBBd7do0A8hZxfNnuY2 gtR0QbnhRrB08xSMO4BEWklILpuYJAcTcd9UzMHvbzB3rBOPhueITpy0.yvSRBt7EzkIw6xLpZeE GcD76HeeU7dqsH6RlALmEIQpFdLdQw3FgwCWRSCpqZ2FSH0qBvML3wA2JnSxt1zBfI.OiNj1AQp5 SrfKVbm7QTrlVT7uNbGAqVCWmj0XHEZnTfmdtBm8xswv5c0Zal0O3xN1iPxfn3nXVWkNVTtjzPTs C_dvqUvHN9jqbWYQIkrDWBhkfPXYZAZui_R1zfNnWE6gIT4E.lxCBbdo2GX1Ip21imnH2zkApCXg TD0B0TkU7I8E_az94H34RxFPHSN4o8Y9SkbJWKSG.V_4keNfajQbtx2P1Er_SYMmjy5bd3f1mDLh qvqrlxl7KFeRWHF8laL26Q5_sLArcY3DgEIoug6v1y6ZNgnXK3Rj3k_qOGsZMUEFAROryiRORqFN BpTSQ93tF36rv.XRRpEwCXXywBGGrLdvdt4AYOQ3HpinYO4ZE7JMRUxVpaAvcraD32L6pOX_tVTi DO2T2nVBDPhxWGeNsOl.zCHb7H2oHY.PzvU7ci09MFQ02D50J4GF7fwL7d.p_Oa8_QNtwMC9coRD 7Vx3lopxfPbxa6mQ27Nbale350sNjC48C23TRSybnoXvlcaY3kTzAzt_Ozwv74oM4OTMiwfCInZD xsgzUqaXtA_uuJae33JKu9XbIVQ0IPwFa1ouf_ZeL82Lg4DGPO_LC3UHAbFKnFtSUTssl0qy_ZlC T3ms8iulkTT0rAHFt_swD7DyMU0qUUK_z4qJ13Aor1tI2tYOwEy18S7fc_rMoqGdpYzVINJPHhdT OySVFEXBhzflc2mqyuE22LYJlyD3suSmKE5dGyZBaytaQN0aFjtwIYRmvwycPtkz1Hfy1_Utf7ih jYnHAqTNcx.mlNS3TfF97A7..BDCmsDAiJfhLDMqesh.6IhrGlu1Lezr8e0EQ5vWrZq8KvJG8L7D 1dsr7XPIzhGYwFg2Z9HNaj7IQtnEhn2vMTcqvAC_NKepG06FckLBZvDJmpBtBMgfeb6OEfNRkhRg OjwlQsvBdDUGFYEk8hyndK1I3aWG5O8v4izTYekWrTC_DBaz32OKKfd6e5V0LpfJtj692f454uQE vuYWUZtqHl2JW7NxrhHPtUzRR.0PL3.VYlw8KHrReSlLR8vl2lOyPEeSK8DIfQHbDwIyE.w3a1xI BY6eQEz6P34ZsKftdYLDyKHUPXob15bj9Rolu0kS8iqyOqvAwadY3b30TbZCADynaIZHLlRnZEEF Z3vuZOB2GmlOwsCU3b4yAKkl74ZflrsMvzfKCSJIMFEHVACdsVvaU7ymeoyxkW1YdzwV3tpEiyiq taQwxaqY1ITF_U8c9LuiJQRvbSwrkrpD_bkWM7QIA1g16HItGRLjQ7Qh0k49YVAZ0x4s5N2kzFWu ygKGHW8lFScWq3qzepSyC40ejvEJlEiJZSMmtc0NkNY09tBjJKA-- X-Sonic-MF: X-Sonic-ID: c9002190-6f33-49a9-af5a-a2eb1a339c0b Received: from sonic.gate.mail.ne1.yahoo.com by sonic307.consmr.mail.ne1.yahoo.com with HTTP; Mon, 10 Feb 2025 16:14:21 +0000 Date: Mon, 10 Feb 2025 16:14:00 +0000 (UTC) From: Pedro Giffuni To: "freebsd-numerics@FreeBSD.org" Message-ID: <1749328077.10705244.1739204040803@mail.yahoo.com> Subject: Time to evaluate the CORE-MATH project? List-Id: Discussions of high quality implementation of libm functions List-Archive: https://lists.freebsd.org/archives/freebsd-numerics List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-numerics@FreeBSD.org MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_10705243_130671540.1739204040802" References: <1749328077.10705244.1739204040803.ref@mail.yahoo.com> X-Mailer: WebService/1.1.23187 YMailNorrin X-Spamd-Result: default: False [-3.20 / 15.00]; RBL_SENDERSCORE_REPUT_9(-1.00)[66.163.190.32:from]; SUBJECT_ENDS_QUESTION(1.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_SHORT(-1.00)[-0.999]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; DMARC_POLICY_SOFTFAIL(0.10)[freebsd.org : No valid SPF, DKIM not aligned (relaxed),none]; RCVD_TLS_LAST(0.00)[]; TO_DN_EQ_ADDR_ALL(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; ARC_NA(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; MIME_TRACE(0.00)[0:+,1:+,2:~]; DKIM_TRACE(0.00)[yahoo.com:+]; FREEFALL_USER(0.00)[pfg]; DWL_DNSWL_NONE(0.00)[yahoo.com:dkim]; R_SPF_SOFTFAIL(0.00)[~all:c]; FROM_EQ_ENVFROM(0.00)[]; RCVD_COUNT_ONE(0.00)[1]; MLMMJ_DEST(0.00)[freebsd-numerics@FreeBSD.org]; RWL_MAILSPIKE_POSSIBLE(0.00)[66.163.190.32:from]; TO_DOM_EQ_FROM_DOM(0.00)[]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; RCVD_IN_DNSWL_NONE(0.00)[66.163.190.32:from] X-Spamd-Bar: --- X-Rspamd-Queue-Id: 4Ys8ly0dqdz3mmj ------=_Part_10705243_130671540.1739204040802 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Quoting a recent posting in hackers@:https://lists.freebsd.org/archives/fre= ebsd-hackers/2025-February/004304.txt From: Paul Zimmermann Date: Mon, 10 Feb 2025 0= 8:53:53 UTC=C2=A0 =C2=A0 =C2=A0 =C2=A0Dear all, a new update of our comparison is available, with FreeBSD 14.2: https://members.loria.fr/PZimmermann/papers/accuracy.pdf Main changes in this update: * GNU libc now provides 21 correctly-rounded functions in single precision= =C2=A0 (integrating the CORE-MATH code)* LLVM-libc provides more correctly-= rounded functions Brian GladmanVincenzo InnocenteJohn MatherPaul Zimmermann______ The code is under an MIT license:https://core-math.gitlabpages.inria.fr/ Enjoy, Pedro. ------=_Part_10705243_130671540.1739204040802 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Quoting a recent posting in hackers@:
<= div dir=3D"ltr" data-setdir=3D"false">https://lists.freebsd.org/archives/freebsd-hackers/2025-Februar= y/004304.txt

From: Paul Zimmermann <Paul= .Zimmermann_at_inria.fr>
Date: Mon, 10 Feb 2025 08:53:53 UTC
       Dear all,

a ne= w update of our comparison is available, with FreeBSD 14.2:

<= /div>
https://members.loria.fr/PZimmermann/papers/accuracy.pdf

Main changes in this update:

* GN= U libc now provides 21 correctly-rounded functions in single precision
  (integrating the CORE-MATH code)
* LLVM-libc provide= s more correctly-rounded functions

Brian Gladman
Vincenzo Innocente
John Mather
Paul Zimmermann=
______

The code is under an MIT license:

=
Enjoy,

Pedro.
------=_Part_10705243_130671540.1739204040802-- From nobody Mon Feb 10 17:25:15 2025 X-Original-To: freebsd-numerics@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4YsBKp0kBGz5mT2s for ; Mon, 10 Feb 2025 17:25:18 +0000 (UTC) (envelope-from sgk@troutmask.apl.washington.edu) Received: from troutmask.apl.washington.edu (troutmask.apl.washington.edu [128.95.76.21]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4YsBKn44Xvz3HBn; Mon, 10 Feb 2025 17:25:17 +0000 (UTC) (envelope-from sgk@troutmask.apl.washington.edu) Authentication-Results: mx1.freebsd.org; none Received: from troutmask.apl.washington.edu (localhost [127.0.0.1]) by troutmask.apl.washington.edu (8.18.1/8.18.1) with ESMTP id 51AHPFx5022551; Mon, 10 Feb 2025 09:25:15 -0800 (PST) (envelope-from sgk@troutmask.apl.washington.edu) DKIM-Filter: OpenDKIM Filter v2.10.3 troutmask.apl.washington.edu 51AHPFx5022551 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=troutmask.apl.washington.edu; s=troutmask; t=1739208315; bh=2qUtaZRRBZUcYQezAiCdSI4dpELt86JCz5PSIcPL8OA=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=LJiBY8OfQfZ/Pxj0R4TWMl9a+tMUuc1q2MvjNyTwcXz+s2JRWzcS5yZ0m4U3UfzqF DAwcO3m/mc4KcX8Rl0IquIeLeE4xTzzp/Z6LUWTO4mkt5I45HAKz5Q4KmjFsFvf2C2 XXvnzNwk8ws8JF6yWUvKycBL0fPQMybqPIPXvon22pvhINKPSgl14z0NCx02Z6+cd2 MAyiKECq4aIKRpun4eJjLcuI6vh5Qb12cMaK8XTiLgGHICPqafgd1BwbduJbyftp75 AQc+hjfEEAX49+0bFJJAj5Kv8AlaXmZiKJ20S9RnwzgBhuNKQh2exBqK9c8ZiQmoE8 vLTAtrxQqQMzA== Received: (from sgk@localhost) by troutmask.apl.washington.edu (8.18.1/8.18.1/Submit) id 51AHPFsU022550; Mon, 10 Feb 2025 09:25:15 -0800 (PST) (envelope-from sgk) Date: Mon, 10 Feb 2025 09:25:15 -0800 From: Steve Kargl To: Pedro Giffuni Cc: "freebsd-numerics@FreeBSD.org" Subject: Re: Time to evaluate the CORE-MATH project? Message-ID: Reply-To: sgk@troutmask.apl.washington.edu References: <1749328077.10705244.1739204040803.ref@mail.yahoo.com> <1749328077.10705244.1739204040803@mail.yahoo.com> List-Id: Discussions of high quality implementation of libm functions List-Archive: https://lists.freebsd.org/archives/freebsd-numerics List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-numerics@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1749328077.10705244.1739204040803@mail.yahoo.com> X-Rspamd-Queue-Id: 4YsBKn44Xvz3HBn X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:73, ipnet:128.95.0.0/16, country:US] On Mon, Feb 10, 2025 at 04:14:00PM +0000, Pedro Giffuni wrote: > Quoting a recent posting in hackers@:https://lists.freebsd.org/archives/freebsd-hackers/2025-February/004304.txt > From: Paul Zimmermann Date: Mon, 10 Feb 2025 08:53:53 UTC       Dear all, > a new update of our comparison is available, with FreeBSD 14.2: > https://members.loria.fr/PZimmermann/papers/accuracy.pdf > Main changes in this update: > * GNU libc now provides 21 correctly-rounded functions in single precision  (integrating the CORE-MATH code)* LLVM-libc provides more correctly-rounded functions > Brian GladmanVincenzo InnocenteJohn MatherPaul Zimmermann______ > The code is under an MIT license:https://core-math.gitlabpages.inria.fr/ >From the table, code is available for float and for double except lgamma. There are only 6 functions implemented for LD80 long double and no code for LD128 long double. This suggest that if someone starts importing parts of core-math, then freebsd's libm will be a mixture of msun and core-math, i.e, maintenance will become more challenging. Someone has already imported a few routines from Cephus to cover missing functionality in LD128. I know bde would not look at cephus code, and I seldom look at it as there is no one to review a change if I made one. PS: The core-math LD80 routines would need to be tested on IA32 due to the way FreeBSD sets the FPU to 53-bit precision. Of course, FreeBSD may drop IA32 support, so this might not be an issue. -- Steve From nobody Mon Feb 10 17:48:31 2025 X-Original-To: freebsd-numerics@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4YsBrr2Pksz5mVcr for ; Mon, 10 Feb 2025 17:48:44 +0000 (UTC) (envelope-from enh@google.com) Received: from mail-oi1-x232.google.com (mail-oi1-x232.google.com [IPv6:2607:f8b0:4864:20::232]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "WR4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4YsBrr0W4Zz3RnL for ; Mon, 10 Feb 2025 17:48:44 +0000 (UTC) (envelope-from enh@google.com) Authentication-Results: mx1.freebsd.org; none Received: by mail-oi1-x232.google.com with SMTP id 5614622812f47-3f3b02ad6a3so706598b6e.0 for ; Mon, 10 Feb 2025 09:48:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1739209723; x=1739814523; darn=freebsd.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=58LNgFzdlBWLLUijwlDNKHtxTqixIuVS56R6PXyppmY=; b=bV62SXIGRmfa4rnQtfq+iI077gru1xxfmT7zwqA5H6nZXZtbJjZiwbfC+A5ZmOcehc Q1i6GyRZ8lK3bjYCsMuKOfChgDpIL4ji7AT2SxPh9shsu7y17jxVwak39/RZgWV/Da/H ZeyBm4JM57nZNbszOy3GrgInHTkZNIbiZASYm48wEVatZeLUOBMLLgRihW/1+VToXQg3 sxFvsgokOke62GnsTx8tco8t91KbDiG8Nurwx83c00p5tKvVPwUN0Cfplv/RXrzRJVqr Bo8d7bwR6zFdq1RG4dYeQPdHwR3O9viYpFZ/lnxRThPT3ry8/EwcMRAgkjL6HrtL2KCp GAnw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739209723; x=1739814523; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=58LNgFzdlBWLLUijwlDNKHtxTqixIuVS56R6PXyppmY=; b=vwRzNquUVfvPnIJu100y/Fm+hCCNXaKbdQr+oys2HH3IzYdHXm8gSPRSnmLaTD+Sc7 JfjfW0hajqdowHPPOXIIqtlS7knbMLo13ef1Hm5WmUszgjCNSj1wpzIEAlmW+94DoAO7 PzCCX1b+npFMQDTtO+FoFkZwwtXF1P4rPEUsXGGL6ZJ3NkZnE/Johhz3XLVfqkFUCXNE B2WLjFSatklbyBMD3IjC5LeOXLpu43HCuCONr1tP6tmcraJc1rNsaayiH1YYbS6Hac6A DlMwZQmoWYviC4Nf44uBOKaDEs2h47m+136djl6ZN0y6Ya/xv+6uarwH71epFIQ1vTMT Czmg== X-Forwarded-Encrypted: i=1; AJvYcCWD9IqYbzG0YguN3RqxBcp8XyWSluXK6ViSCYWtYYli0cxxHUVaeuP0HeNruN9TmhgcbxXaic8RAWn+wjAv8OYv@freebsd.org X-Gm-Message-State: AOJu0YxaR9lKlnwLJAQZuHI82KEeKhB+q5niTdM/YSt5epQzC471SaOG gKl2QnZq9V8HugnUVCxQP5ujKpbNgas+G/g/z31Rux5tKTdjNMRX2BLsu4n48czIlTHkX4TFGW1 q7Qz5xZqA8lR/gHD2VnyywwS2r+R1PLt8e8Ma X-Gm-Gg: ASbGncs8Id2QLgMMBgu7dunVrQWLh5uK+kuvA9ljkhh6Le5DZ4Aly9zkdlKxHEN9INc CBLxzhc7TT4vHUukeaEZxs+5+6H+DNPR36F/XXOZikU3kYwYBsDx6EFVaRaK2V/fNw3039w== X-Google-Smtp-Source: AGHT+IHhJPGPY/8A/BgZBiwbdx1Ou2K6Util6jLVgjgZ+Tp5wMrWW9EfH7qEJhxdwx+qKX+Yoh99UueoMxK0ZJmmp5Q= X-Received: by 2002:a05:6808:1396:b0:3eb:3d1b:4876 with SMTP id 5614622812f47-3f39237a354mr8717235b6e.32.1739209722867; Mon, 10 Feb 2025 09:48:42 -0800 (PST) List-Id: Discussions of high quality implementation of libm functions List-Archive: https://lists.freebsd.org/archives/freebsd-numerics List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-numerics@FreeBSD.org MIME-Version: 1.0 References: <1749328077.10705244.1739204040803.ref@mail.yahoo.com> <1749328077.10705244.1739204040803@mail.yahoo.com> In-Reply-To: From: enh Date: Mon, 10 Feb 2025 12:48:31 -0500 X-Gm-Features: AWEUYZnSCDoEPjJZ1M71M0Z9auZpiS8N8UEIkXUVOtMzvFcQh8DkwD1yjvHqslU Message-ID: Subject: Re: Time to evaluate the CORE-MATH project? To: sgk@troutmask.apl.washington.edu Cc: Pedro Giffuni , "freebsd-numerics@FreeBSD.org" Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Rspamd-Queue-Id: 4YsBrr0W4Zz3RnL X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:15169, ipnet:2607:f8b0::/32, country:US] yeah, i'm interested in switching Android's libm over to the llvm-libc routines, but not until i can do it by taking a whole family of f/d/ld variants at a time... On Mon, Feb 10, 2025 at 12:25=E2=80=AFPM Steve Kargl wrote: > > On Mon, Feb 10, 2025 at 04:14:00PM +0000, Pedro Giffuni wrote: > > Quoting a recent posting in hackers@:https://lists.freebsd.org/archives= /freebsd-hackers/2025-February/004304.txt > > From: Paul Zimmermann Date: Mon, 10 Feb 20= 25 08:53:53 UTC Dear all, > > a new update of our comparison is available, with FreeBSD 14.2: > > https://members.loria.fr/PZimmermann/papers/accuracy.pdf > > Main changes in this update: > > * GNU libc now provides 21 correctly-rounded functions in single precis= ion (integrating the CORE-MATH code)* LLVM-libc provides more correctly-ro= unded functions > > Brian GladmanVincenzo InnocenteJohn MatherPaul Zimmermann______ > > The code is under an MIT license:https://core-math.gitlabpages.inria.fr= / > > From the table, code is available for float and for double except > lgamma. There are only 6 functions implemented for LD80 long > double and no code for LD128 long double. This suggest that if > someone starts importing parts of core-math, then freebsd's libm > will be a mixture of msun and core-math, i.e, maintenance will > become more challenging. Someone has already imported a few > routines from Cephus to cover missing functionality in LD128. > I know bde would not look at cephus code, and I seldom look at > it as there is no one to review a change if I made one. > > PS: The core-math LD80 routines would need to be tested on IA32 > due to the way FreeBSD sets the FPU to 53-bit precision. Of > course, FreeBSD may drop IA32 support, so this might not be an > issue. > > -- > Steve >