From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x334.google.com (mail-wm1-x334.google.com [IPv6:2a00:1450:4864:20::334]) by sourceware.org (Postfix) with ESMTPS id 4CF543858401; Thu, 1 Sep 2022 08:05:01 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 4CF543858401 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-wm1-x334.google.com with SMTP id d12-20020a05600c34cc00b003a83d20812fso928392wmq.1; Thu, 01 Sep 2022 01:05:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:from:to:cc:subject:date; bh=MaPPhKFu+hDtJRKNiGIY8NNV7RYcNkUPVoq3LCpeqDg=; b=FBy4jU2HQ2TOOXa5VOO69yGpqVwd5w/KEj1+Rx++MM9YhiTb6HAFjbr1w2Wtnsg00S Oxv0FGf6tewFFwBpAf21VTKKI+rcm5YiGjR7H3JY06hfcdk+OwmpfR9tTqyAaiRQuA9I srhaFHUgi1Bht4EGgQdE/twsTAX92JhH18j9fdoaYcoIagEsCFypqWrvRuUg+TBSGMaA gsRArgbXJ9k3DxMMK9n94Qtic1m4DhXG5Ofrbw8hWZEjXeIa96mrK3yevQ9lxIQb4uEk m7IBGVaeSs5tlgPYLtuc4Dqo8i7Bur3n6j4cfxMUXQJzfG2P4NytXfUfsLccyAfwMV8B LPmA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:x-gm-message-state:from:to:cc :subject:date; bh=MaPPhKFu+hDtJRKNiGIY8NNV7RYcNkUPVoq3LCpeqDg=; b=E+dUPpxaVG8saFmErzrCHh06SVcBIGZ2zPqU3X4nlU6m0bX6+gTaG6IAw82B2B64o8 unUOyyU+gyqUE/VFZmuvCHDoYp7PRdjNQJ91Au0GA147zYPIJ3EUGawjMbvPSqKVAoMa 05MPljBFoJORIvGLoiCRFiED03jIJRqdtV1UfCMvHfz0jLynnJthorqWU57DqxiNuC7E h0leoAZqSyfKWf/m4RBZ4EHfiJ0p/slhrgIybMQnSew0nSgrDQ/RtpJYUU3g20aMS1Bk YxkhMdAxLW//FmfF6bZB2pl6bH33sieREyBQHsEK3rQeTZzw3ZI3AyD/fsa9lBTuQYLe S9dg== X-Gm-Message-State: ACgBeo3uRsMoufs3aVWEivmwQZYowzEB3x5t1Dp6BThihDrAVlxqNalw ypMcdIetKZDwsP+6JFzaeDH/GapSk/kQQQ== X-Google-Smtp-Source: AA6agR5PozjYvXgrVOLq8ZQQenor4djOCAoEltvUUJiCKfVCxPcKJ4+bmjLoTJglbsk15b5fx4HlGw== X-Received: by 2002:a7b:c5c3:0:b0:3a6:14f3:8ea7 with SMTP id n3-20020a7bc5c3000000b003a614f38ea7mr4152835wmk.76.1662019499735; Thu, 01 Sep 2022 01:04:59 -0700 (PDT) Received: from smtpclient.apple ([2a01:e34:ec28:8cb0:7910:ebf8:450:a992]) by smtp.gmail.com with ESMTPSA id f14-20020a05600c4e8e00b003a5dbdea6a8sm5682442wmq.27.2022.09.01.01.04.59 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 01 Sep 2022 01:04:59 -0700 (PDT) From: FX Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Subject: Floating-point comparisons in the middle-end Message-Id: <8C6DDAA3-A40F-47C7-BE78-D56A3EC70C71@gmail.com> Date: Thu, 1 Sep 2022 10:04:58 +0200 Cc: Jakub Jelinek , "Joseph S. Myers" , FX via Fortran To: gcc@gcc.gnu.org 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,KAM_SHORT,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: Hi, Fortran 2018 introduced intrinsic functions for all the IEEE-754 = comparison operations, compareQuiet* and compareSignaling* I want to = introduce those into the Fortran front-end, and make them emit the right = code. But cannot find the correspondance between IEEE-754 nomenclature = and GCC internal representation. I understand that the middle-end representation was mostly created with = C in mind, so I assume that the correspondance is that used by the C = standard. That helps me to some extent, as I can find draft documents = that seem to list the following table (page 8 of = https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1615.pdf): compareQuietEqual =3D=3D compareQuietNotEqual !=3D compareSignalingEqual iseqsig compareSignalingGreater > compareSignalingGreaterEqual >=3D compareSignalingLess < compareSignalingLessEqual <=3D compareSignalingNotEqual !iseqsig compareSignalingNotGreater !(x>y) compareSignalingLessUnordered !(x=3D>y) compareSignalingNotLess !(x