From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sourceware.org (Postfix) with ESMTPS id 02B063858D20 for ; Wed, 10 Apr 2024 08:31:32 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 02B063858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=inria.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=inria.fr ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 02B063858D20 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=192.134.164.83 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1712737895; cv=none; b=spxKgQ4pq1HYxJQC7WH6L/NguNiJCFcW8rxjP8qQfFgpKtBibN35vlQ9DA3/Wah51i3cWyReT5GrxE81Nkrlt7ptN+m2cyQJ+2qRPy9XUjKhUvc0D6xOHAAawP67/CTKwQCVcOvj5KZPvnFS0EFFux+/4qtMRrYSIG/hjCGdKTs= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1712737895; c=relaxed/simple; bh=E7ThJx4VrY9W67+8EIgvbIvCQlBZe55KocU+e4IkADs=; h=DKIM-Signature:Date:Message-Id:From:To:Subject; b=dJe1VdTmJFCMBwlaUSYRubHrqW0GgsDIYanvhcMSpulWBpc0fvysVyI2RNlmRAkpNRnhtOptWV0KqivbMOv+AvpF1tA91R2+EhhqR4LwAYTCAPDAZEHzRCug3PXzg/S/bbLJEKCdW/G6UTF/BdCmeA4Rd2gzDJCuAMr0Zz8F+2I= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:message-id:from:to:cc:in-reply-to:subject: references; bh=ftWvrWoUbhwCnm13BXuOyOpzcHJuj/uWEzNwngioukU=; b=DCg0hpfZLZW/dLrQY9+IqrC8jO0y47HPkJsyTcUxBy+tIxuFOc35fvc5 silLy1rnhcrAo/PTMeiBWQZg27Ntkuan8UdtI0eVCm2hOKBkf+z7FsWBx R18FzR+CPNvSSNzosh73VIVJH72vgmQofnvjwcO6751FT9J469MDsXihB g=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Paul.Zimmermann@inria.fr; spf=None smtp.helo=postmaster@araignee Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of Paul.Zimmermann@inria.fr is inclined to not designate 152.81.2.78 as permitted sender) identity=mailfrom; client-ip=152.81.2.78; receiver=mail2-relais-roc.national.inria.fr; envelope-from="Paul.Zimmermann@inria.fr"; x-sender="Paul.Zimmermann@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@araignee) identity=helo; client-ip=152.81.2.78; receiver=mail2-relais-roc.national.inria.fr; envelope-from="Paul.Zimmermann@inria.fr"; x-sender="postmaster@araignee"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.07,190,1708383600"; d="scan'208";a="160825429" Received: from araignee.loria.fr (HELO araignee) ([152.81.2.78]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Apr 2024 10:31:32 +0200 Date: Wed, 10 Apr 2024 10:31:31 +0200 Message-Id: From: Paul Zimmermann To: Joseph Myers Cc: libc-alpha@sourceware.org In-Reply-To: <41a4a6c9-4942-a9be-9459-1aaeb44ffee8@redhat.com> (message from Joseph Myers on Mon, 8 Apr 2024 21:19:23 +0000 (UTC)) Subject: Re: Implement C23 log2p1 References: <41a4a6c9-4942-a9be-9459-1aaeb44ffee8@redhat.com> X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_NUMSUBJECT,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Dear Joseph, I tried your patch on a x86_64, it applies cleanly, everything compiles cleanly, and I can use the new log2p1 function in both binary32, binary64, double-extended and binary128. As for accuracy, here are the largest errors I found for rounding to nearest: float 0x1.a69b4ap-2 1.88 ulps double 0x1.a7b725780ff2cp-2 1.87575 ulps long double 0x5.dda3a1f4c4020ebp-4l 4.04684 ulps Float128 -0x7.fff3a57fdd2666bcecba33bd89f4p-4 3.34125 ulps Probably some values in libm-test-ulps should be updated. Best regards, Paul