On Sun, Feb 15, 2015 at 7:43 PM, Dmitry Stogov <dmi...@zend.com> wrote:

> Hi Anthony,
>
> If you are working on JIT, you should understand that declare() switch to
> strict typing can't improve anything, because it works on caller side and
> in each function you now will have to generate code for both weak and
> strict checks.
>

Why do these checks have to be generated in the function, instead of
performing checks/casts at the call-site? Naively I would assume this to
perform better, because you can make use of type-information around the
call-site to elide checks/casts. Or does this have adverse effects due to
larger code size or something like that?

Nikita

Reply via email to