From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pj1-x102b.google.com (mail-pj1-x102b.google.com [IPv6:2607:f8b0:4864:20::102b]) by sourceware.org (Postfix) with ESMTPS id 5E3443858D32 for ; Sun, 20 Nov 2022 17:10:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 5E3443858D32 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-pj1-x102b.google.com with SMTP id k5so8546049pjo.5 for ; Sun, 20 Nov 2022 09:10:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=bjLvOhKuVE+8ou4m/p0KdIWsCAP7+GChy1meKvTPrFs=; b=PNtGs7yawf76WsYTgI6lpPBaiYlVIh6PDsSjzjSTboQ9ZPWTFN8fiYfhaaHahPdSz2 eQHRaQ0oFyXvFinEkr9pq25yOPQV7I0xgk1JMHicxMtlH8keTdTcot7QTeLVZJqlg4R+ FhIop5kZFQYc3wTCnbLaDIL7AVL+eUE26SuJdIMBcwdr1Px4MHexlJjsIsVZJdhN7Rwp ro3387uDtpNveumHklsjHkf1iaOjpbl0ToLnU5kqjKVxWUEKeYOiFXCMQqK+nleyNtSQ 1+zfiAxrdD4qWwv5/VOXY1B/PloAHPu/HOgaIcxYVZ8v9R/EdeBNaZgEzvCx8s1YT3KJ WTkw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=bjLvOhKuVE+8ou4m/p0KdIWsCAP7+GChy1meKvTPrFs=; b=Cy6JqaA4BIKQ3HsrPPbv5XAU+PNEczHafbNN43cTZv+yfERQYmqCK8Mlg9MDN3CRlL 5WqJKYwoiPrURldEKao0FBKAZvYSC3+ZzkEOJ1UBCVXVSns8zmUIuvg2eiNrRttjKvRe OpmBLlo/d9F0Nm5y6j1EaF9ieZ+mcpiqhWUY2Fh4n7i2d7gfAmGFqD5yNTdSVy6aRfYI yi6LpHwo+zvvLnrWEmB/qyv3+VgNO7E1xqMXnD/2qHXAsUdW5QpUDFgraZzjjjF4FhKZ T71XLh1vgZc5kNEwExX1MNW375o24f3dUFuO0GIgPEfO7ZPMIHmIvbs84tYSEzMNQz6L FY1w== X-Gm-Message-State: ANoB5plRU6KorCrSno/3ASqfkvHLFbLD+ugEAof5tj8SAIeYDI7wvyrm vVKj5SgpzZx6OSMh73YrMm0= X-Google-Smtp-Source: AA0mqf7Y3qWT5/MUoaBF4X8gwtiH4sK8kNWayg2rNQcIn6VEjslJdeZVMm9mDY/FAh0gL1TseOCSkQ== X-Received: by 2002:a17:90a:d258:b0:212:e2e9:a522 with SMTP id o24-20020a17090ad25800b00212e2e9a522mr16578717pjw.55.1668964248193; Sun, 20 Nov 2022 09:10:48 -0800 (PST) Received: from ?IPV6:2601:681:8600:13d0::f0a? ([2601:681:8600:13d0::f0a]) by smtp.gmail.com with ESMTPSA id c6-20020a170903234600b00174c1855cd9sm7721637plh.267.2022.11.20.09.10.46 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 20 Nov 2022 09:10:46 -0800 (PST) Message-ID: <4d6d63fd-1836-96f5-502b-c5257d2c0a14@gmail.com> Date: Sun, 20 Nov 2022 10:10:45 -0700 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.3.1 Subject: Re: [PATCH] Add __builtin_iseqsig() Content-Language: en-US To: FX , Joseph Myers Cc: gcc-patches@gcc.gnu.org, Jakub Jelinek References: <127A04DF-0BC1-40B4-956A-B22C39F97BF9@gmail.com> <3FD18835-D09C-4073-B23F-DD1038D4D0AC@gmail.com> <46e27067-6cb9-a5fc-f96-394515bcf9d@codesourcery.com> <076BA73D-2FFC-4DEA-8BFA-B4D966F80F1D@gmail.com> From: Jeff Law In-Reply-To: <076BA73D-2FFC-4DEA-8BFA-B4D966F80F1D@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-2.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP 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: On 10/31/22 13:15, FX wrote: > Hi, > > Just adding, from the Fortran 2018 perspective, things we will need to implement for which I think support from the middle-end might be necessary: > > - rounded conversions: converting, from an integer or floating point type, into another floating point type, with specific rounding mode passed as argument > - conversion to integer: converting, from a floating point type, into an integer type, with specific rounding mode passed as argument > - IEEE operations corresponding to nextDown and nextUp (or are those already available? I have not checked the fine print) > > I would like to add them all for GCC 13. If you want them all for GCC 13, then you're going to need to make a case for a policy exception to add them after stage1 has closed. Joseph's reply earlier in this thread has indicated a desire to verify that verifies FE_INVALID is raised when appropriate and not raised when inappropriate when the arguments come from volatile variables rather than directly from constants. The patch itself looks pretty reasonable.  So let's get the testing coverage Joseph wanted so we can move forward. Jeff