From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x32e.google.com (mail-wm1-x32e.google.com [IPv6:2a00:1450:4864:20::32e]) by sourceware.org (Postfix) with ESMTPS id 918E63858005; Wed, 7 Sep 2022 18:57:07 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 918E63858005 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-x32e.google.com with SMTP id i186-20020a1c3bc3000000b003b2973dafb7so1094132wma.2; Wed, 07 Sep 2022 11:57:07 -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=RzvhRC/jyduIM+FvTBxiu8xSOyr/lH8G39NH01KCFSg=; b=jW1bhTP7Xk5YJVbGeIGz3X8IogPmlIp7G1kIgngeoZthkorLkgBO01d+AsC2iQF7cN bXD6ztn1SYbgHVxlK95Yq1xlEKS3EMntRceQNMMHhgDK9fq/KRjk76L2//5cYqHRx3pw uD7y+fPiPuuGIbr6x2IB6sSJZASckp7YlZbbeD/GU/Ooe1M89U7py4kbB1Tw1BbrYhrW GHB2GUAaHdk7mwv2fKZ6KaVU2qqnMZ9++t2oVQ5+XUD0ic7T2uwn6Y5AlvJDl1SkTlCy wW/xModhEdtMQeDWuN/F/9fws72c6KrpiIRLCd7HcN5wvX5VRzyq8XCMD35NfN7aP8m6 RdUA== 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=RzvhRC/jyduIM+FvTBxiu8xSOyr/lH8G39NH01KCFSg=; b=NdI67oP2QZ84EkiKgNCBcZtWBNYFALFgnMxGQnq3rDgJ8tL4bWyqrc7qWO/gFK3gN3 USP2YIYwOQKHwQCR4vf6TLrt9rfe4KFISlo0+mIxUhxJZzuhggkP4oOKoyDrv3vJ8ASP 6asJWkWev/qRLHOD2P+OW9cBz9jVyPIz/PcBKTkYWQ5wOfLjkrVOo0fxr3Ggid78WC2Z MJ3kDkg9eSw0+qLdLjvSu93PSisnArEZkVs+uDeX0w78/DL3LU5ZFNxQOY5PU6oC7poj sBohRDpLD/oiCfwTH04WyJnxEtX4N9V/HdSw7Z69cHliBwykk/3XTefq49lIWQ5O5qeu P0hw== X-Gm-Message-State: ACgBeo2odxjrqAx8gZQp2wq0/1vOY13F1vw0B3Bx1S6lDYbWN2chiQ1w m3l3nXBuyAHXJy7+Lz15eVY= X-Google-Smtp-Source: AA6agR7tPlR8ZIvAC81kJKxtKdLBma7y3kNS2ToKiHgWo9y311lCtLcPZ4K63ajejaOGY0Q1T0u2ng== X-Received: by 2002:a1c:f709:0:b0:3a6:3452:fcbe with SMTP id v9-20020a1cf709000000b003a63452fcbemr25227wmh.164.1662577026127; Wed, 07 Sep 2022 11:57:06 -0700 (PDT) Received: from smtpclient.apple ([2a01:e34:ec28:8cb0:5531:af2b:718:82db]) by smtp.gmail.com with ESMTPSA id bj2-20020a0560001e0200b0021badf3cb26sm980245wrb.63.2022.09.07.11.57.04 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 07 Sep 2022 11:57:05 -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: [PATCH] Fortran: Add IEEE_SIGNBIT and IEEE_FMA functions From: FX In-Reply-To: Date: Wed, 7 Sep 2022 20:57:02 +0200 Cc: FX via Fortran , gcc-patches@gcc.gnu.org Content-Transfer-Encoding: quoted-printable Message-Id: <5CFF18E6-7A7D-4042-A6E4-F170633CFA8F@gmail.com> References: <7A9A82FB-3144-406C-A4E5-87F8EAC72044@gmail.com> <80F2E884-677E-4761-875A-082D853F913B@gmail.com> To: Thomas Koenig 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 List-Id: Hi, > Both of these functions are new with Fortran 2018, could you add > a standards version check? Thanks Thomas, I will do that and post here the commit diff. The check = will not be perfect, though, because the warning/error cannot be emitted = when loading the module (because it=E2=80=99s in an external file), but = will have to be when the call is actually emitted. This means that = loading a symbol and not using it will not trigger the error it should, = but we cannot do better in the current scheme. IEEE modules will need to be fully moved to the front-end at some point, = b=C3=A9cause F2018 added two procedures that cannot be described in a = Fortran module (functions whose return kind is described by an optional = KIND argument). - IEEE_INT (A, ROUND [, KIND]) - IEEE_REAL (A [, KIND]) But emitting all the symbols in the front-end is a huge work, and there = are some cases I do not know how to handle. FX=