Implement stackless internal function calls

Co-authored-by: Dmitry Stogov <dmitry@zend.com>

Closes GH-12461

Avoid new SSA var for ASSIGN_OBJ_REF without RC inference

Previously, this variable was necessary because of auto-vivification on
UNDEF/null/false. It's now only used for RC inference, a

Avoid new SSA var for ASSIGN_OBJ_REF without RC inference

Previously, this variable was necessary because of auto-vivification on
UNDEF/null/false. It's now only used for RC inference, as auto-vivification has
been removed.

This implicitly solves an inference problem for $obj->bar &= $obj; where we get
a new variable for both literal references to $obj, with the first one getting
the RCn flag, and the second one getting the MAY_BE_REFERENCE flag. Thus, the
first variable will be missing the reference type, causing a false-positive type
inference warning.

If we want to verify RC inference at some point we'll need a better solution.

Closes GH-13233

show more ...

Fix clang warning

has_range_constraint should can be a bool, remove unused visited field.

Closes GH-11729

Allow arbitrary expressions in static variable initializer

Closes GH-9301

Revert GH-10279

Cf. <https://github.com/php/php-src/pull/10220#issuecomment-1383739816>.

This reverts commit 45a128c9de93bf60956102d85d15f1fe8913bb70.
This reverts commit 1eb71c

Revert GH-10279

Cf. <https://github.com/php/php-src/pull/10220#issuecomment-1383739816>.

This reverts commit 45a128c9de93bf60956102d85d15f1fe8913bb70.
This reverts commit 1eb71c3f155a42ad6867cd5e2f6d921a99506a37.
This reverts commit 492523a779dced91eb09215183287e0856b693bf.
This reverts commit c7a4633891392d16d40b08135598807b3f0443b0.
This reverts commit 308adb915c1b659ab377f752fb27b408a455d7ed.
This reverts commit cd27d5e07f01172ac8a701996d260a731489d856.
This reverts commit c5933409b47bea760977cf9c9ea04cbb63aaafe5.
This reverts commit 46371f4eb339f7e7615a8732d61f2369f8d9129e.
This reverts commit 623e2e9fc6a23b8eb7f22010eaf99bf6f638917d.
This reverts commit e7434c124772c05fe836832e02196d50bec10c23.
This reverts commit d28d323ca20976ed776171330b90588cc3857dd6.
This reverts commit 1a067b84ee423a6fb06a5debd92b4cafefeac4e4.
This reverts commit a55c0c5fc3f624a685f42281df26cf87f445be43.
This reverts commit b5aeb3a4d40dbf38da65975d12b9d2c593b83bdd.
This reverts commit f061a035e44d3f6bbc71774f2101525d74fbf16f.
This reverts commit b088575119b3244a4d08f6a300251111a221c66b.
This reverts commit b1d48774a79592e7fb1ba85d3a2bd6717f25acec.
This reverts commit 94f9a20ce6451b54e8346cc474de6b4f9b8897a4.
This reverts commit 4831e48708e19346ace0fa5f3f085ee8afd43267.
This reverts commit cd985de190534c8e3567a4c5547eb98c45337fa0.
This reverts commit 9521d21681b22a471f21b3c56e32b883acac3301.
This reverts commit d6136151e9f7fc40e753ac0ebe1790e0d0371b6b.

show more ...

Zend/Optimizer/zend_ssa: include cleanup

Zend/Optimizer/zend_ssa: make pointer const

Fix SSA construction and type inference

Fixes oss-fuzz #51476

Remove JMPZNZ opcode

While JMPZNZ can avoid execution of a separate JMP opcode in some
cases, it also prevents smart branch optimization, so creating
JMPZNZ may actually have a negat

Remove JMPZNZ opcode

While JMPZNZ can avoid execution of a separate JMP opcode in some
cases, it also prevents smart branch optimization, so creating
JMPZNZ may actually have a negative effect. It also adds additional
complexity for optimizations.

Drop JMPZNZ in favor of JMPZ+JMP or JMPNZ+JMP.

Closes GH-7857.

show more ...

Eliminate more VERIFY_RETURN_TYPE instructions

Sink op_array scope case into get_class_entry()

This handles references to the current class through its name
rather than self (and for cases where is is not linked yet and
thus not

Sink op_array scope case into get_class_entry()

This handles references to the current class through its name
rather than self (and for cases where is is not linked yet and
thus not covered by the context lookup). Rather than handling this
only for FETCH_CLASS_CONSTANT optimization, integrate this into
the generic get_class_entry() utility.

show more ...

Merge branch 'PHP-8.1'

* PHP-8.1:
Remove range inference for booleans.

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Remove range inference for booleans.

Merge branch 'PHP-8.1'

* PHP-8.1:
Fix SCDF cleanup of unused basic block, kept only because of FREE of a loop var

Fix SCDF cleanup of unused basic block, kept only because of FREE of a loop var

Fixes oss-fuzz #41516

Merge branch 'PHP-8.1'

* PHP-8.1:
Fixed incorrect reference counter inference

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Fixed incorrect reference counter inference

Merge branch 'PHP-8.1'

* PHP-8.1:
Fixed SSA construction

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Fixed SSA construction

Check against FAILURE instead of different then SUCCESS

Voidify zend_ssa_unlink_use_chain()

It always returned 1 or threw an assertion failure

Also drop else branch by moving it to the main scope

Voidify zend_ssa_compute_use_def_chains()

It always returned SUCCESS

Voidify zend_build_dfg()

It always returned SUCCESS

Use more appropriate types in Optimizer

Mainly using zend_result and bool instead of int

Try harder to clean up unreachable loop free block

While we can't drop the loop free, we can drop other instructions
in the same block. We should also indicate that it no longer has

Try harder to clean up unreachable loop free block

While we can't drop the loop free, we can drop other instructions
in the same block. We should also indicate that it no longer has
predecessors.

show more ...