What I remember from reading master a few months ago: the zend VM can specialize ops already, trading size of the op-implementations against type-check-elision

What I remember from reading master a few months ago: the zend VM can specialize ops already, trading size of the op-implementations against type-check-elision/fusion by GCC/clang. I think eliding redundant type checks at least won't be hard when confined to a single php function.