fixed type inference mistake (typo)

Manual CSE

Fix build

Mark uses in UNSET_VAR op1 + FE_FETCH_R op2 as no_val

Various SSA-related tweaks

* Add FETCH_LIST to inference
* Restrict JMP_SET/COALESCE result type
* Fix typos in range inference
* Add const annotations in zend_ssa.h
* For pi

Various SSA-related tweaks

* Add FETCH_LIST to inference
* Restrict JMP_SET/COALESCE result type
* Fix typos in range inference
* Add const annotations in zend_ssa.h
* For pi statements dump the associated predecessor block
* If type can be both true and false, dump bool instead

show more ...

Cleanup OP_DATA usage. Now only first operand of OP_DATA is used for ASSIGN_DIM, ASSIGN_OBJ and ASSIGN_OP (DIM/OBJ) instructions.

After DFA pass result of FE_FETCH may be CV

Fix SSA for ZEND_YIELD

Yield-by-ref defs a ref var, yield-by-var only defs an rc1/rcn var
if rc inference is used.

Also move BIND_LEXICAL where it belongs in DFG construction.

Add support for Pi type constraints

Supports TYPE_CHECK and IS_IDENTICAL for now.

Use ZEND_FUNC_INDIRECT_VAR_ASSESS instead of ZEND_FUNC_TOO_DYNAMIC. Handle function with exceptions handlers and generators separately.

Introduced BIND_STATIC opcode instead of FETCH_R/FETCH_W(static)+ASSIGN/ASSIGN_REF (similar to BIND_GLOBAL).
In the future we may refer to static variable by index instead of name, to eliminate h

Introduced BIND_STATIC opcode instead of FETCH_R/FETCH_W(static)+ASSIGN/ASSIGN_REF (similar to BIND_GLOBAL).
In the future we may refer to static variable by index instead of name, to eliminate hash lookup.

show more ...

Fix CE fetching for NEW object type inference

Create a common function for getting a class entry.

Range&type inference for JMP_SET

Happy new year (Update copyright to 2016)

Introduce BIND_LEXICAL

This opcodes inserts a local CV into the closure static variable
table. This replaces the previous mechanism of having static
variables marked as LEXICAL, whic

Introduce BIND_LEXICAL

This opcodes inserts a local CV into the closure static variable
table. This replaces the previous mechanism of having static
variables marked as LEXICAL, which perform a symtable lookup
during copying.

This means a) functions which contain closures no longer have to
rebuild their symtable (better performance) and b) we can now track
used variables in SSA.

show more ...

Don't reuse SSA var in UNSET_VAR

Instead use the SSA var that UNSET_VAR actually defines. Otherwise
we get issues trying to DCE unsets.

Rearrange code to enable inner precedure inference

Skip "useless" SSA variables for INIT_ARRAY, ADD_ARRAY_ELEMENT, FE_RESET_R

Add ability to prevent "useless" SSA variable creation for "refcounting inference".

Make RC1/RCN inference more accurate (it's probably not 100% correct anyway)

Get rid of MAY_BE_DEF

Split MAY_BE_NULL from MAY_BE_UNDEF

long -> zend_long in range inference

Clone cannot return reference

Use do_alloca() instead of alloca()