From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Richard.Earnshaw@foss.arm.com>
Received: from foss.arm.com (foss.arm.com [217.140.110.172])
 by sourceware.org (Postfix) with ESMTP id 408143851C29
 for <gcc@gcc.gnu.org>; Wed,  4 Aug 2021 14:27:03 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 408143851C29
Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14])
 by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id C75FF11FB;
 Wed,  4 Aug 2021 07:27:02 -0700 (PDT)
Received: from [10.57.6.202] (unknown [10.57.6.202])
 by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 2B84A3F40C;
 Wed,  4 Aug 2021 07:27:02 -0700 (PDT)
Subject: Re: [RFC] Adding a new attribute to function param to mark it as
 constant
To: Segher Boessenkool <segher@kernel.crashing.org>
Cc: Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>,
 GCC Development <gcc@gcc.gnu.org>
References: <CAAgBjM=L+iUgm3GaP7Ddjp4sMnN_Urai-qxBcc6tkgFapxMbuw@mail.gmail.com>
 <20210803215538.GU1583@gate.crashing.org>
 <CAAgBjMnr+XVQyuo1zH4gEC_7qeQ7vMSGsA=Q5HEvy6_c9T5utg@mail.gmail.com>
 <20210804101722.GD1583@gate.crashing.org>
 <CAAgBjMkv5b32PYiVVOtR6O32620FNnSSYj2eOXdofYh0H98M1w@mail.gmail.com>
 <20210804124619.GF1583@gate.crashing.org>
 <07900439-bc29-1f24-2522-4d2d79a86d4f@foss.arm.com>
 <20210804134028.GG1583@gate.crashing.org>
From: Richard Earnshaw <Richard.Earnshaw@foss.arm.com>
Message-ID: <02e9660a-5772-97f4-ea0b-c7b024631dc6@foss.arm.com>
Date: Wed, 4 Aug 2021 15:27:00 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.11.0
MIME-Version: 1.0
In-Reply-To: <20210804134028.GG1583@gate.crashing.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-GB
Content-Transfer-Encoding: 7bit
X-Spam-Status: No, score=-3491.6 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 KAM_LAZY_DOMAIN_SECURITY, NICE_REPLY_A, SPF_HELO_NONE, SPF_NONE,
 TXREP autolearn=no autolearn_force=no version=3.4.4
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
 server2.sourceware.org
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: Wed, 04 Aug 2021 14:27:04 -0000



On 04/08/2021 14:40, Segher Boessenkool wrote:
> On Wed, Aug 04, 2021 at 02:00:42PM +0100, Richard Earnshaw wrote:
>> We don't want to have to resort to macros.  Not least because at some
>> point we want to replace the content of arm_neon.h with a single #pragma
>> directive to remove all the parsing of the header that's needed.  What's
>> more, if we had a suitable pragma we'd stand a fighting chance of being
>> able to extend support to other languages as well that don't use the
>> pre-processor, such as Fortran or Ada (not that that is on the cards
>> right now).
> 
> So how do you want to handle constants-that-are-not-yet-constant, say
> before inlining?  And how do you want to deal with those possibly not
> ever becoming constant, perhaps because you used a too low "n" in -On
> (but there are very many random other causes)?  And, what *is* a
> constant, anyway?  This is even more fuzzy if you consider those
> other languages as well.
> 
> (Does skipping parsing of some trivial header save so much time?  Huh!)
> 

Trivial?  arm_neon.h is currently 20k lines of source.  What's more, it 
has to support inline functions that might not be available when the 
header is parsed, but might become available if the user subsequently 
compiles a function with different attributes enabled.  It is very 
definitely *NOT* trivial.

R.

> 
> Segher
>