From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pj1-x1030.google.com (mail-pj1-x1030.google.com [IPv6:2607:f8b0:4864:20::1030]) by sourceware.org (Postfix) with ESMTPS id 65FD3383CCFE for ; Wed, 31 Aug 2022 15:24:04 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 65FD3383CCFE Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-pj1-x1030.google.com with SMTP id h13-20020a17090a648d00b001fdb9003787so9998739pjj.4 for ; Wed, 31 Aug 2022 08:24:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc; bh=vTsO3uVlxo3Ca9gtDKox+qQy2fCl3Yl/4yKXEctXKpM=; b=HiE+Kml5YhKU1MUKwfb9vKkipkonJBbFZPguCCWxtFPGEugz7C/oY0lLibUaChor8c 93OOa5FCWVEF1R2WgMZ8k22z2/XBZhGl/ln2H92mV+xuHIdMSSjwhUQSeAj8TpV6FITx qp11dkzRz1nMRfEAhl3l/nLzz2qU5aAbMqNmDkXp9DksZZfQo5KFmMgoeR3hhFasyWid ypZcgXyfmdbKEIMZPmkMV7nBLf7AWCpumhKgIHAEVmSXCM83kxudgzAwy1Pq220fxoOQ DBDaczbcw2Mnxpj1xvR0e+kyYvCvT3b05/IxJh92BN20+Sj9j62EwNyBtmAgRjJCwsPG t+0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc; bh=vTsO3uVlxo3Ca9gtDKox+qQy2fCl3Yl/4yKXEctXKpM=; b=1lGUN0KJH3FNVnTnQRUkxpk5aioOKbI5arMHm927zD3RBLpZCPn9RHbdPCwUCR4Nwo enqUvAC7qeaSG7EEj62hRG+KH9pWrmWHeByXu5klUYGiy6Yjld7GyFXNHVHYDnrnera/ a7o4jERGxiCwIC7xVaoNLTD1ofufL5Mp/BsAu3edCgXXNrbAqFMBj76iqICu7hjO1ziE qtDS1CaCSB4nAWh4lF4+sun8qwN+pysIziqyewscpSq36/bhQUja0Ue4dMzsSaG8Qh69 nKjrqAWNB4uHPHPKaYrnap6/7RvpchDTcnfSZ1au4OPdu7qdd0ZFsajNby26kKAkRd9U d6DA== X-Gm-Message-State: ACgBeo3tegcCJM0C4szi5J7ggoCwQMfz6zQvNDTc+gWI99Xh5bIeKnGZ UwUVF97GrdvrVMXXOZNsSETz+IGFRSA= X-Google-Smtp-Source: AA6agR7gkwwqErcpFjWPpsj78OcXHxFBs88do5/bTVSbchUmvibotnUX7dmP5+lNIpqRHrqZK9a7JA== X-Received: by 2002:a17:902:cec7:b0:172:b20d:e666 with SMTP id d7-20020a170902cec700b00172b20de666mr25620538plg.154.1661959443086; Wed, 31 Aug 2022 08:24:03 -0700 (PDT) Received: from [172.31.0.204] (c-73-98-188-51.hsd1.ut.comcast.net. [73.98.188.51]) by smtp.gmail.com with ESMTPSA id w6-20020a654106000000b0042b80a27ac2sm3438566pgp.75.2022.08.31.08.24.02 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 31 Aug 2022 08:24:02 -0700 (PDT) Message-ID: Date: Wed, 31 Aug 2022 09:24:01 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.13.0 Subject: Re: [PATCH] Add support for floating point endpoints to frange. Content-Language: en-US To: gcc-patches@gcc.gnu.org References: <20220823114224.904934-1-aldyh@redhat.com> From: Jeff Law In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-2.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,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 8/29/2022 8:30 AM, Aldy Hernandez via Gcc-patches wrote: > On Mon, Aug 29, 2022 at 4:27 PM Jakub Jelinek wrote: >> On Mon, Aug 29, 2022 at 04:20:16PM +0200, Aldy Hernandez wrote: >>> Sure, I can add the HONOR_NANS, but can we even "see" a NAN in the IL >>> for -ffinite-math-only? >> Sure, you can, e.g. __builtin_nan{,s}{,f,l} etc. would do it. >> It would be UB to use it at runtime in -ffinite-math-only code though. >> Another question is, when making a range VARYING, do you set the NAN >> property or not when !HONOR_NANS && MODE_HAS_NANS? > A range of VARYING sets the NAN property to unknown > (fp_prop::VARYING). If you prefer we can set the property to > fp_prop::NO for !HONOR_NANS && MODE_HAS_NANS. If the format doesn't have NaNs or the user explicitly disables them, then the state should be NO, otherwise YES. Jeff