On Thu, Apr 28, 2016 at 8:39 PM, Dominic Grostate <
codekestrel@googlemail.com> wrote:
> That sounds wicked. I look forward to benchmarking it and seeing how its
> done.
> On 28 Apr 2016 6:39 p.m., "Sara Golemon" <pollita@php.net> wrote:
>
> > On Thu, Apr 28, 2016 at 1:21 AM, Dominic Grostate
> > <codekestrel@googlemail.com> wrote:
> > > As I understand it, the process by which the call stack is updated and
> > > scope changed, is quite expensive. And from tests I can see that
> > function
> > > calls do actually add a not insignificant overhead to intensive
> > repetitive
> > > tasks.
> > >
> > > So how difficult would it be to get the engine to determine if an
> inline
> > is
> > > feasible, then skip the fcall init, and dump the a functions opcode
> emits
> > > directly into the current scope?
> > >
> > I'm actually working on a proof-of-concept of that already. I've
> > already got basic proxy methods getting inlined, and am working up
> > through expression methods and trying to resolve scoping with $this
> > and non-publics.
> >
> > I'll publish a branch on github when I have something interesting to
> share.
> >
> > -Sara
> >
>
I also have a proof-of-concept inlining implementation lying around:
https://github.com/nikic/php-src/blob/opt/ext/opcache/Optimizer/inlining.c
However it only inlines free functions and static methods, not instance
methods, because the latter have the $this being null issue. Another
complication when inlining methods is that we may only know the called
method if it is either private or final, i.e. there is no possibility of it
being overwritten in a child class.
One tricky issue with inlining is that we need to unset all the variables
of the inlined function after the call, otherwise we may cause issues with
references and destruction order. If these unsets are not eliminated
through DCE they may be pretty expensive (for a larger number of vars).
Furthermore inlining increases the number of variables in the function
(which need to be initialized and destroyed), which may be problematic when
inlining into unlikely branches. (Register allocation for CVs would improve
this).
Nikita
