From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joseph_myers@mentor.com>
Received: from esa1.mentor.iphmx.com (esa1.mentor.iphmx.com [68.232.129.153])
 by sourceware.org (Postfix) with ESMTPS id 073F73858C83;
 Thu,  1 Sep 2022 19:16:56 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 073F73858C83
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=codesourcery.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com
X-IronPort-AV: E=Sophos;i="5.93,281,1654588800"; d="scan'208";a="85083873"
Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165])
 by esa1.mentor.iphmx.com with ESMTP; 01 Sep 2022 11:16:54 -0800
IronPort-SDR: JWNjOuvZJxood5UxNXSgzjLOU3UL7VsSDtE/XmEDC9VX4+3V6y2lxap9ERsfPtOikz5lb1IzyK
 z2E47Glwn447d5TGS7y1uC/aQWGnqO4GcvTLd6CH4JfxgXW+x8UxEHcg/tXN4nLZcM9lw/v2w1
 TEQ4DF1EmoPzLbJZP8OCHeUHwTGltKbgiSAd8+Hdr6UauOh8MnX8a/ROSxqCCz0rD7suqkOoA0
 ZefAoRjTvlTKEk+f1Gdpj6mE3VzmXaA1/p/epPa2rfbLyVwLoJIJaSJyrP8RW5fSb0Hoz+GINP
 tQg=
Date: Thu, 1 Sep 2022 19:16:50 +0000
From: Joseph Myers <joseph@codesourcery.com>
X-X-Sender: jsm28@digraph.polyomino.org.uk
To: FX <fxcoudert@gmail.com>
CC: Jakub Jelinek <jakub@redhat.com>, <gcc@gcc.gnu.org>, FX via Fortran
 <fortran@gcc.gnu.org>
Subject: Re: Floating-point comparisons in the middle-end
In-Reply-To: <2C40E85D-1B5B-47C4-A855-910102CABCA3@gmail.com>
Message-ID: <alpine.DEB.2.22.394.2209011913500.550568@digraph.polyomino.org.uk>
References: <8C6DDAA3-A40F-47C7-BE78-D56A3EC70C71@gmail.com>
 <alpine.DEB.2.22.394.2209011517570.550568@digraph.polyomino.org.uk>
 <2C40E85D-1B5B-47C4-A855-910102CABCA3@gmail.com>
User-Agent: Alpine 2.22 (DEB 394 2020-01-19)
MIME-Version: 1.0
X-Originating-IP: [137.202.0.90]
X-ClientProxiedBy: SVR-IES-MBX-07.mgc.mentorg.com (139.181.222.7) To
 svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10)
X-Spam-Status: No, score=-3111.4 required=5.0 tests=BAYES_00,
 HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, SPF_HELO_PASS, SPF_PASS,
 TXREP, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
 server2.sourceware.org
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8BIT
X-Content-Filtered-By: Mailman/MimeDel 2.1.29
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Sep 2022 19:16:58 -0000

On Thu, 1 Sep 2022, FX via Gcc wrote:

> 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? 

Yes (note that maxNum and minNum were removed in IEEE 754-2019, but 
they're still what fmax and fmin correspond to; the new minimum / maximum 
operations in IEEE 754-2019 are provided by new functions in C2x).

> Are there builtins for maxNumMag and minNumMag? Or does anyone know what 
> the “canonical” way to perform it is? I do not want to mess up corners 
> cases, which is so easy to do…

TS 18661-1 defined functions fmaxmag and fminmag for those; we don't have 
built-in functions for them, and C2x does not include those functions 
given that those operations were also removed in IEEE 754-2019.

-- 
Joseph S. Myers
joseph@codesourcery.com