From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fxcoudert@gmail.com>
Received: from mail-wm1-x32f.google.com (mail-wm1-x32f.google.com [IPv6:2a00:1450:4864:20::32f])
	by sourceware.org (Postfix) with ESMTPS id 3837B3858035;
	Thu,  1 Sep 2022 09:04:06 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 3837B3858035
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-x32f.google.com with SMTP id d12-20020a05600c34cc00b003a83d20812fso1022346wmq.1;
        Thu, 01 Sep 2022 02:04:06 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20210112;
        h=to:references:message-id:content-transfer-encoding:cc:date
         :in-reply-to:from:subject:mime-version:from:to:cc:subject:date;
        bh=kRDbpVgqQFSDPhZIJtfLYk4uzJFu+zy+ld3G9P4vJfo=;
        b=mSTAuUT4sja0rcEbK74QMlanWSc1V5ArfHCmD2kDOiOulKIl7jVXT+uSWhs/me9O4q
         RW5UofUHXnZqsCndeJSkF74BhsRsfLIY2cfbJEgqzeN/YaY5v0Vjxq8ZzJMLcHuz28/J
         yibUaCxwI52UmHBY6g8Y19SG4tF66YexMHfMebHCg0qMrIIOAcu5aDg/Y7tF3JKfNmAr
         ++x3oSlGUsBXRcSmFNWIdGeXqMXJFmAMuTwGWcd8sTy0H0HWgdkD+xss7p8WvWiTeO8q
         R4rX9rca4IpTDKdamsB8ytv2Ls7IKhT+9A9OEmJfRKMqsuWS5g8cch052gS8PX6lIbEp
         g+tg==
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=kRDbpVgqQFSDPhZIJtfLYk4uzJFu+zy+ld3G9P4vJfo=;
        b=PIRFsMK1Vq5hyE+kgo/Z/0h3VwVhZJKEK3+SgVB3DPuB41jbAWeFTey1C1uEdZu9rN
         BjXUpypnQ+XpOBRXMYcfUmiqHaGgJYbupIc3z2dCp1tPO3vVu22bCUYklv9XXJG6MKdR
         g313o/JJLzdn2G0vf8wJlSih7p4rTxdHAl2BWr6KyBOZ6W8EQ6fJnre8J0YK5SxQoqba
         CKugJ1IL6k7VpkIlzjzJutUlLw8Yg6tQMcG5FXE5rhogvmGJuZ7NZucwTRtJHLgKTthB
         4+AfE7lYOmjljO3uUa+PYrkqKt8+iwj2THj7EX3TzsYAVXSLL89b5hy7OqkPh+edxHLV
         mobA==
X-Gm-Message-State: ACgBeo2O1qj4No090MGWLpBquWH0md0r1stidj/5sLPqvyglGDurGXG3
	TZnaAs1b+Zrfr1oAZRwNUEA=
X-Google-Smtp-Source: AA6agR4cSZDCQKIvgJJca8O1YoKbCfUb3H9iMk+sB4syB5dRsVs9KBRsqsGVNIXXep9tyJKjKIy7Dg==
X-Received: by 2002:a05:600c:1e8b:b0:3a6:acc:ebfb with SMTP id be11-20020a05600c1e8b00b003a60accebfbmr4586602wmb.66.1662023044865;
        Thu, 01 Sep 2022 02:04:04 -0700 (PDT)
Received: from smtpclient.apple (chp127.enscp.fr. [193.51.253.127])
        by smtp.gmail.com with ESMTPSA id w18-20020adfde92000000b00226d238be98sm13277110wrl.82.2022.09.01.02.04.03
        (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128);
        Thu, 01 Sep 2022 02:04:04 -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 <fxcoudert@gmail.com>
In-Reply-To: <YxBrLzoOag91YQ27@tucnak>
Date: Thu, 1 Sep 2022 11:04:03 +0200
Cc: gcc@gcc.gnu.org,
 "Joseph S. Myers" <joseph@codesourcery.com>,
 FX via Fortran <fortran@gcc.gnu.org>
Content-Transfer-Encoding: quoted-printable
Message-Id: <3BD50DD7-5C9E-42CB-992C-A66584411A4F@gmail.com>
References: <8C6DDAA3-A40F-47C7-BE78-D56A3EC70C71@gmail.com>
 <YxBrLzoOag91YQ27@tucnak>
To: Jakub Jelinek <jakub@redhat.com>
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: <fortran.gcc.gnu.org>

Hi Jakub,

>> 2.  All the functions are available as GCC type-generic built-ins =
(yeah!),
>> except there is no __builtin_ iseqsig
>> (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D77928).  Is there a
>> fundamental problem with creating one, and could someone help there?
>=20
> IMHO until that one is implemented you can just use
> tx =3D x, ty =3D y, tx>=3Dty && tx<=3Dty
> (in GENERIC just SAVE_EXPR<x> >=3D SAVE_EXPR<y> && SAVE_EXPR<x> <=3D =
SAVE_EXPR<y>

If it=E2=80=99s just that (optimization aside), I probably can create a =
C built-in. It would need to be:

1. defined in builtins.def
2. lowered in builtins.cc
3. type-checked in c-family/c-common.cc
4. documented in doc/extend.texi
5. tested in fp-test.cc
6. covered in the testsuite

Is that right?

Thanks,
FX


PS: I see that reclassify is not covered in fp-test.cc, is that file =
obsolete?=