From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from aye.elm.relay.mailchannels.net (aye.elm.relay.mailchannels.net [23.83.212.6]) by sourceware.org (Postfix) with ESMTPS id 651093858D37 for ; Thu, 20 Apr 2023 13:17:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 651093858D37 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 914E550221B; Thu, 20 Apr 2023 13:17:12 +0000 (UTC) Received: from pdx1-sub0-mail-a304.dreamhost.com (unknown [127.0.0.6]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id 188F9501EE2; Thu, 20 Apr 2023 13:17:12 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1681996632; a=rsa-sha256; cv=none; b=n8whMJMYH9Q9R/xonvK9AU0bPlcd5L/TyRdA0hyv8aaadxTHq8NKwWILnWvd7HUSidXBBr rinddOuDfANLHs/uIdV9BraL5i3BrfVH2Fbzipo4lmRMGQ3QAHHWRPZmHnITcrCrebbm76 Lb+0AU+4vA75skgp8pALfaFIDguiY2Tg6hdzLskp0PNS318ijgJdqH3WsHSdesmj845smk Y9dWYSoLzXXEXN/yK+Pkn3ItymsuMrz5yJvw+wJE9LxsZ4xPv9kMVrWv1lA1f3U3NqkXCE w13hsRYs85vyoTbQIrE0s70LPBPt2KoEyboq5rysZK7duN/kus/95RO1gW4pbQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1681996632; 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=r95vSowIDp5DRl8ED0n/8bUsNESOMLEavnbQ0XgLd8o=; b=rBsO9XUNRrwsgwkS5AaDFXNPHAtq3W2LfVOafWO2MFebt5CFbX5xB4HDSBJXrEqD0rZTXK wZkym6O9c1Kl5VeqXh7zEn08eGJN/Qkbpsa515BLtj4IjIvaNAjvlSvf3HxZ/xH93eSko5 44aNiBZbykDmWs2X9rmeEK8e33mo0O2ua9DElkE3kGxI6IJjTUSABk3gVlAqRYAp5xci2R HdnD7FKYbiQOaBIOzEkzJvgWQiZ9vlW001akwYp46YR6RA/EgWN7qD89H16k8oRMYbUFl+ f84kY2FriIs1PQPL6/s6PxA3xB19jjponPiz3WL5hHjKtv8Nj0hTmJccEIB3Dw== ARC-Authentication-Results: i=1; rspamd-548d6c8f77-lxbh4; 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-Sponge-Lettuce: 29e7c5607e676e17_1681996632391_1560404500 X-MC-Loop-Signature: 1681996632391:978651508 X-MC-Ingress-Time: 1681996632391 Received: from pdx1-sub0-mail-a304.dreamhost.com (pop.dreamhost.com [64.90.62.162]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.123.193.181 (trex/6.7.2); Thu, 20 Apr 2023 13:17:12 +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-a304.dreamhost.com (Postfix) with ESMTPSA id 4Q2J930flQz3X; Thu, 20 Apr 2023 06:17:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gotplt.org; s=dreamhost; t=1681996631; bh=r95vSowIDp5DRl8ED0n/8bUsNESOMLEavnbQ0XgLd8o=; h=Date:Subject:To:Cc:From:Content-Type:Content-Transfer-Encoding; b=qApCW0SCr2YCYzu7MefqP50B1+1+BVVQP58ZuLELydsaQBMX223ogHWeyqX2XXVuZ 3xLXQFP6MEIyYCF0o7E7p5c6dqCIc5CTb68BkBVeKX8bMrfmBAk0Sj0K99IBG1Si3a lPW+3aDafRzd//uTa1zjV2oflOfQkxDJdFvbxVCaohbW31cXUoqs8ZRf0wgMpx0BVQ TcpbsrSkJ4HZH9mCVAs36YSDdBhB11fIehws+NWj+GgvnacyglUgspMmkTjIljcuQn E7Za84xrJXoGX7W43P+XriUQ/wj9MKs1CW2HUB+g9/IM2zRryqBCb6HoT/bmWJwirV TzKrYRZWThjJg== Message-ID: Date: Thu, 20 Apr 2023 09:17:10 -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 , Aldy Hernandez , "Joseph S. Myers" Cc: GCC patches , Andrew MacLeod References: <20230418131250.310916-1-aldyh@redhat.com> From: Siddhesh Poyarekar In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3032.3 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-20 08:59, Jakub Jelinek via Gcc-patches wrote: >> + r.set (type, dconstm1, dconst1); > > See above, are we sure we can use [-1., 1.] range safely, or should that be > [-1.-Nulps, 1.+Nulps] for some kind of expected worse error margin of the > implementation? And ditto for -frounding-math, shall we increase that > interval in that case, or is [-1., 1.] going to be ok? Do any math implementations generate results outside of [-1., 1.]? If yes, then it's a bug in those implementations IMO, not in the range assumption. It feels wrong to cater for what ought to be trivially fixable in libraries if they ever happen to generate such results. Thanks, Sid