From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x336.google.com (mail-wm1-x336.google.com [IPv6:2a00:1450:4864:20::336]) by sourceware.org (Postfix) with ESMTPS id 9A6F03858C83; Thu, 1 Sep 2022 18:47:59 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 9A6F03858C83 Received: by mail-wm1-x336.google.com with SMTP id h1so9517436wmd.3; Thu, 01 Sep 2022 11:47:59 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc :subject:date; bh=QAxKJuSVID6SFfbCBgeeDyzC6ga+Cuu4kxIgHrQILNg=; b=uJ10OGhzdwXWFe+pbMjOrm1oNy+4aoDXYfn7FkHaI9b6hMjySciBNIHScFwqEfsfCK KeLZ/cjHJFGZMtXAD8R2WAqGM8AWqOk8VWoGUc6ms8bZC1uDZCI+fiyL9RI7eiVnZHod V8z9YuGQA6cX3mUlgCdK5BOOfXaRE/SkAZotHFBJeeEoJTzikgaL09CuJz4VjCeJsjXW Jgv8r/razyQp4JoeOaa5wvhG4Quf5QxRY+NYErkxWHgOKbqXnZMPtmLVteyaWBZOZb6G 88oiDSnSN8AUkWIdrYIErR+sdF19cExmVS741AcD+8XrLB0l21m+EjT27A1SSKBalD0Y Q3KA== X-Gm-Message-State: ACgBeo0AslnkdRXB7TDWm6TzI7tHDZKDSQ2D+tMEgVvan/ghrQUdj+6r sIdHZYhfRju9UMELN9yHc8c= X-Google-Smtp-Source: AA6agR7KWCmoyI5B9z5QnS0XtA0iNRwKStSyVXUwSRF1xnV9MmKqF+Vz1ytk3isU44ziukiwc8i84Q== X-Received: by 2002:a7b:c41a:0:b0:3a6:2569:7eb9 with SMTP id k26-20020a7bc41a000000b003a625697eb9mr356993wmi.0.1662058078417; Thu, 01 Sep 2022 11:47:58 -0700 (PDT) Received: from smtpclient.apple ([2a01:e34:ec28:8cb0:4043:c6cc:4e14:1048]) by smtp.gmail.com with ESMTPSA id i29-20020adfaadd000000b002205a5de337sm15386859wrc.102.2022.09.01.11.47.57 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 01 Sep 2022 11:47:57 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Subject: Re: Floating-point comparisons in the middle-end From: FX In-Reply-To: Date: Thu, 1 Sep 2022 20:47:56 +0200 Cc: gcc@gcc.gnu.org, Jakub Jelinek , FX via Fortran Content-Transfer-Encoding: quoted-printable Message-Id: <2C40E85D-1B5B-47C4-A855-910102CABCA3@gmail.com> References: <8C6DDAA3-A40F-47C7-BE78-D56A3EC70C71@gmail.com> To: Joseph Myers X-Mailer: Apple Mail (2.3696.120.41.1.1) X-Spam-Status: No, score=-1.7 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, 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 X-BeenThere: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 01 Sep 2022 18:48:01 -0000 > See N3047 Annex F for the current bindings (there have been a lot of=20= > changes to the C2x working draft after N3047 in the course of = editorial=20 > review, but I don't think any of them affect the IEEE bindings for=20 > comparisons). Thanks for the pointer, it is very helpful. The next thing I need to tackle for Fortran is the implementation of = functions that perform maxNum, maxNumMag, minNum, and minNumMag. Am I correct in assuming that maxNum and minNum correspond to fmin and = fmax? Are there builtins for maxNumMag and minNumMag? Or does anyone = know what the =E2=80=9Ccanonical=E2=80=9D way to perform it is? I do not = want to mess up corners cases, which is so easy to do=E2=80=A6 Thanks again, FX=