From patchwork Sun Feb 12 07:01:18 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Paul Zimmermann X-Patchwork-Id: 1740994 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=sourceware.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=sourceware.org; envelope-from=libc-alpha-bounces+incoming=patchwork.ozlabs.org@sourceware.org; receiver=) Authentication-Results: legolas.ozlabs.org; dkim=pass (1024-bit key; secure) header.d=sourceware.org header.i=@sourceware.org header.a=rsa-sha256 header.s=default header.b=mo/zr4JC; dkim-atps=neutral Received: from sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-384) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4PDz0k4ddLz23h0 for ; Sun, 12 Feb 2023 18:01:42 +1100 (AEDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 05E4E3858D37 for ; Sun, 12 Feb 2023 07:01:40 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 05E4E3858D37 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1676185300; bh=N4qCly/XTBJut6N4HI6+mM0cWVL4C5fB09D2lPsLzcg=; h=To:Cc:Subject:Date:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From:Reply-To:From; b=mo/zr4JCsls2R0SOmulfXf28Ve0bYy+77On3TnzG3T2fiTKCgvdbAVYUEscBDnCib fDf1PYd+7AEmM9uHwrnXI4ZtWbrmQ2EeBTBsho/ukdO67Us1QwdAwSRVshgmTVgmvw LfIFptHMKXk2c1TR4jQUXNVuV9Zfra0rFUw6B1u0= X-Original-To: libc-alpha@sourceware.org Delivered-To: libc-alpha@sourceware.org Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sourceware.org (Postfix) with ESMTPS id 432573858D32 for ; Sun, 12 Feb 2023 07:01:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 432573858D32 Received-SPF: SoftFail (mail3-relais-sop.national.inria.fr: domain of Paul.Zimmermann@loria.fr is inclined to not designate 152.81.9.227 as permitted sender) identity=mailfrom; client-ip=152.81.9.227; receiver=mail3-relais-sop.national.inria.fr; envelope-from="Paul.Zimmermann@loria.fr"; x-sender="Paul.Zimmermann@loria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 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 (mail3-relais-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@coriandre.loria.fr) identity=helo; client-ip=152.81.9.227; receiver=mail3-relais-sop.national.inria.fr; envelope-from="Paul.Zimmermann@loria.fr"; x-sender="postmaster@coriandre.loria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.97,291,1669071600"; d="scan'208";a="47502741" Received: from coriandre.loria.fr ([152.81.9.227]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 Feb 2023 08:01:23 +0100 Received: from zimmerma by coriandre.loria.fr with local (Exim 4.96) (envelope-from ) id 1pR6MU-00FL3D-1k; Sun, 12 Feb 2023 08:01:22 +0100 To: libc-alpha@sourceware.org Cc: Paul Zimmermann Subject: [PATCH] [auto-libm-test-in] added pair of inputs for hypotf in binary32 Date: Sun, 12 Feb 2023 08:01:18 +0100 Message-Id: <20230212070118.3655745-1-Paul.Zimmermann@inria.fr> X-Mailer: git-send-email 2.39.1 MIME-Version: 1.0 X-Spam-Status: No, score=-9.2 required=5.0 tests=BAYES_00, GIT_PATCH_0, HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, KAM_NUMSUBJECT, RCVD_IN_MSPIKE_H3, 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 X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Paul Zimmermann via Libc-alpha From: Paul Zimmermann Reply-To: Paul Zimmermann Errors-To: libc-alpha-bounces+incoming=patchwork.ozlabs.org@sourceware.org Sender: "Libc-alpha" This pair yields an error of 1 ulp in binary32, whereas the current maximal known error for hypotf on x86_64 is zero: Checking hypot with glibc-2.37 hypot 0 -1 -0x1.003222p-20,-0x1.6a2d58p-32 [0.501] 0.500001 0.500000001392678 libm gives 0x1.003224p-20 mpfr gives 0x1.003222p-20 See https://sourceware.org/pipermail/libc-alpha/2023-February/145432.html and https://sourceware.org/pipermail/libc-alpha/2023-February/145442.html Reviewed-by: Carlos O'Donell --- math/auto-libm-test-in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/math/auto-libm-test-in b/math/auto-libm-test-in index 393d9fcfaa..c400cafb4b 100644 --- a/math/auto-libm-test-in +++ b/math/auto-libm-test-in @@ -5773,6 +5773,8 @@ hypot 0x1p-16384 0x1p-16446 hypot 0x1p-16383 0x1p-16494 hypot -0x1.fa7deap+0 0x1.a761bab383ac8p+0 +# the following inputs yield an error of 1 ulp on x86_64 in binary32 +hypot -0x1.003222p-20 -0x1.6a2d58p-32 j0 -1.0 j0 0.0