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