From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from hedgehog.birch.relay.mailchannels.net (hedgehog.birch.relay.mailchannels.net [23.83.209.81]) by sourceware.org (Postfix) with ESMTPS id A54FF3858C83 for ; Mon, 24 Apr 2023 16:05:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A54FF3858C83 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=gotplt.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gotplt.org X-Sender-Id: dreamhost|x-authsender|siddhesh@gotplt.org Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id E51697621ED; Mon, 24 Apr 2023 16:05:45 +0000 (UTC) Received: from pdx1-sub0-mail-a307.dreamhost.com (unknown [127.0.0.6]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id 510DD761652; Mon, 24 Apr 2023 16:05:45 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1682352345; a=rsa-sha256; cv=none; b=63T2kAPrEdqkVmtVQsXnTpxrriGaEdDsCP40Y1PUbdq63doKEiZ9UaJ+O3vyjgjByaE+kW dEFHoF+x6Y6CP9mBFssuVaYJ7sKmeDNsNStHoaaHe83HVx88uKThduK8o9iDbE4+TuALSf s5UqdKrg3ZHJ/fofpH/MYkOxpdl0wjKnMfyTndRdrRJj65D6ni6WKVaIzkyZ/zbbj6nSUt 5hX7muh6091DaJZbx3SKwNYXlWM2z6NT68oCMssMBAr/VkTUpPx1X6MBuDvPIKvJLNRbop UXkRgcFovKdmTahPjNAfjprxK5aFjVzukDnlVkPosEqsoIzJJC3nRBWBboah8Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1682352345; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=PqXxtuaJ3uer8/WzC0vf3UCdFXwb8Pn/5QYKx0QxbcI=; b=FSxjVj31dTpA4Kq/QKLRE9vfA8MIp0Gep5Y0bupTcaCIwv9uLxgtuz43QH0YHRINFtR3cS FfFI97bwZcHjVzKL7Ws+XvJCR9rDE3afuQSzqfA16uvydsUnLris2JNPkF0L6Nq/Pt1cto tANZdsUao+KRKJ9pT+tD96eQ0mLGH+EZ6RV9H3jwYpCGE0IKw0s5iH2oiHcy3Y9sBhgKHf EoA4G66xy10LkEluhFN38EwsWsIEp04i0JpNi0+JnypGYNFYGqb616oeQY4fk1i7KHzjO9 TsCIakxdvJAqK7TJ5Kd0W+lF4QHdHmSRuZdvdNqXYSI/Wm7wfhoONz3rvGls2Q== ARC-Authentication-Results: i=1; rspamd-7f66b7b68c-n69v4; auth=pass smtp.auth=dreamhost smtp.mailfrom=siddhesh@gotplt.org X-Sender-Id: dreamhost|x-authsender|siddhesh@gotplt.org X-MC-Relay: Neutral X-MailChannels-SenderId: dreamhost|x-authsender|siddhesh@gotplt.org X-MailChannels-Auth-Id: dreamhost X-Language-Scare: 6901175061066998_1682352345731_2665478898 X-MC-Loop-Signature: 1682352345731:3408199151 X-MC-Ingress-Time: 1682352345731 Received: from pdx1-sub0-mail-a307.dreamhost.com (pop.dreamhost.com [64.90.62.162]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.114.243.17 (trex/6.7.2); Mon, 24 Apr 2023 16:05:45 +0000 Received: from [192.168.0.182] (bras-vprn-toroon4834w-lp130-09-174-91-45-80.dsl.bell.ca [174.91.45.80]) (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) (No client certificate requested) (Authenticated sender: siddhesh@gotplt.org) by pdx1-sub0-mail-a307.dreamhost.com (Postfix) with ESMTPSA id 4Q4qjh4J43z3Q; Mon, 24 Apr 2023 09:05:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gotplt.org; s=dreamhost; t=1682352345; bh=PqXxtuaJ3uer8/WzC0vf3UCdFXwb8Pn/5QYKx0QxbcI=; h=Date:Subject:To:Cc:From:Content-Type:Content-Transfer-Encoding; b=Z0aZ6LqqDy5QSFcazFYIazKj/fOYP3hlbQHhQHGlk1q0DYFYCR7lK94o5uD9tmI0O ck273gG7JcScCMHqCoZ43umz60WyEOy9lPjWwldgoLYyHPa95R98SojDMwoJj4Tp2x By/TEbF54iVNOjVwyK7NHc4yfBHxJ6I7Y+5zJwwtqEiM6ijAbFj/5qgvoIhL2beyzC UIj2W07b2YvWAW5HucUxKlL2KiQX4GfIbJeA4QkcVR48szR3Pyz9CG9HV8A1vIUd3o zseHOc1RyunrAEMUGHeS6Nw8DEsrOo14A207pPF/a+9QvFB7Zdm89ZWxHuwFL6KBLe eiJzXO1d7X1XQ== Message-ID: <477bddf7-63e8-cfa8-a1db-330ca7bfb896@gotplt.org> Date: Mon, 24 Apr 2023 12:05:43 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.10.0 Subject: Re: [PATCH] Implement range-op entry for sin/cos. Content-Language: en-US To: Jakub Jelinek Cc: Aldy Hernandez , "Joseph S. Myers" , GCC patches , Andrew MacLeod References: <20230418131250.310916-1-aldyh@redhat.com> <64abfdef-8eae-9ce9-af62-c57c14c9ffbb@gotplt.org> From: Siddhesh Poyarekar In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3031.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: On 2023-04-24 12:03, Jakub Jelinek wrote: > On Thu, Apr 20, 2023 at 01:57:55PM -0400, Siddhesh Poyarekar wrote: >>> Similarly for other functions which have other ranges, perhaps not with so >>> nice round numbers. Say asin has [-pi/2, pi/2] range, those numbers aren't >>> exactly representable, but is it any worse to round those values to -inf or >>> +inf or worse give something 1-5 ulps further from that interval comparing >>> to other 1-5ulps errors? > > I've extended my hack^^^test to include sqrt and this time it seems > that the boundary in that case holds even for non-standard rounding modes > for glibc: IIRC the standard _requires_ sqrt to be correctly rounded. Sid