Fixed bug #71843 (null ptr deref ZEND_RETURN_SPEC_CONST_HANDLER)

Set proper type flags (REFCOUNTED and COPYABLE) according to interned or regular string

Set proper type flags (REFCOUNTED and COPYABLE) according to interned or regular string

Fixed another assertion fails due to live_range cleaned (ext/phar/tests/003a.phpt)

Remove ZEND_CALL_CTOR_RESULT_UNUSED

Instead emit a FREE on the result of NEW.

Combine conditions

Remove EXT_TYPE_UNUSED in favor of IS_UNUSED

This means we no longer allocate an unused VAR for the retval of
instructions that support unused results.

Nearly all instructions a

Remove EXT_TYPE_UNUSED in favor of IS_UNUSED

This means we no longer allocate an unused VAR for the retval of
instructions that support unused results.

Nearly all instructions already used the result variable only if
it was used. The only exception to this was the return value
variable for internal function call results. I've adjusted the code
to use a stack zval for the unused return case now. As we have
retval specialization now, we know that it doesn't matter.

show more ...

Support CFG construction without live range splitting

We must not split at live range boundaries for SSA constructions,
otherwise an OP_DATA instruction may be separated into new block

Support CFG construction without live range splitting

We must not split at live range boundaries for SSA constructions,
otherwise an OP_DATA instruction may be separated into new block
and not picked up during renaming.

It's also unnecessary for this use case and only blows up the CFG.

show more ...

Improve the names

Happy new year (Update copyright to 2016)

Remove live-range if the corresponding definition is deleted

Remove uses of VARs in extended_value

The DECLARE_(ANON_)INHERITED_CLASS(_DELAYED) opcodes were
referencing the parent ce VAR through extended_value. This is
hacky and we can't track

Remove uses of VARs in extended_value

The DECLARE_(ANON_)INHERITED_CLASS(_DELAYED) opcodes were
referencing the parent ce VAR through extended_value. This is
hacky and we can't track the def-use chain in SSA.

To avoid this, the layout of declaration opcodes is changed
as follows: op1 points to the lcname and rtd_key literals, in
that order. (For anon/lambda declarations only one of lcname or
rtd_key is present.) This frees up op2, which is now used to
reference the parent ce VAR in inheriting declarations. The
jmp offset for anon class declarations is moved frop op2 to
extended_value.

The changes were applied both to class and function declarations
to keep everything symmetric.

show more ...

Added e-SSA based DFA optimisation framework (incomplete)

Fugbix typo

Fix live_range updates on ZEND(_FE)_FREE opcodes in block_pass

Added e-SSA based DFA optimisation framework (incomplete)

Initialize bitset before processing the seconf BB (we skip the first one)

Apply local optimizatons to extended bacic block (this allows some optimizarions across few following BBs).

Improve debugging of non-local variables

Improved optimizer dubugging facility

Fixed other issues with empty block handling

end is unsigned, this was broken if start == end == 0

Delete empty live-ranges

Fixed compilation with enabled internal debuging

Fixed potential memory leaks