inlining...

[Andrei Alexandrescu]

On 3/17/14, 9:10 AM, Manu wrote:
> On 18 March 2014 01:36, Andrei Alexandrescu
> <SeeWebsiteForEmail at erdani.org <mailto:SeeWebsiteForEmail at erdani.org>>
> wrote:
>
>
>     I'd like to see a solution to inlining along the lines of "pliz pliz
>     inline" (best effort) and "never inline".
>
>     Outlining only at a specific call site is seldom needed and when it
>     is it's trivially achievable with a noinline function forwarding to
>     the inline function. Inlining only at a specific call site is a tall
>     order and essentially impossible if header generation had been used.
>
>
> I don't follow, how does that work?
> It's the key innovation here. Since D doesn't have macros, I think it's
> something that really needs to be supported nicely.
> Obviously it's impossible if source is unavailable. It should give the
> same complaints that CTFE gives when source is unavailable.

The notion that a compiler can ask for any function to be inlined 
without the compiler having been "warned" in the function declaration 
makes me uncomfortable about feasibility.

However, upon further thinking the same happens with CTFE.


Andrei