Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Fix bug #81652

Merge branch 'PHP-8.1'

* PHP-8.1:
Drop pi nodes for both old/new pred in replace_predecessor

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Drop pi nodes for both old/new pred in replace_predecessor

Merge branch 'PHP-8.1'

* PHP-8.1:
Fixed incorrect optimization that may cause JIT assertion

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Fixed incorrect optimization that may cause JIT assertion

Merge branch 'PHP-8.1'

* PHP-8.1:
Don't replace tmp with cv in YIELD argument

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Don't replace tmp with cv in YIELD argument

Fix delayed early binding with optimization

It's possible for delayed early binding opcodes to get optimized
away if they are "unreachable". However, we still need to attempt
early b

Fix delayed early binding with optimization

It's possible for delayed early binding opcodes to get optimized
away if they are "unreachable". However, we still need to attempt
early binding for them. (In some cases we also corrupt the early
binding list outright during optimization, which is how I got here.)

Fix this by storing information about delayed early binding
independently of DECLARE_CLASS_DELAYED opcodes, so early binding is
performed even after the opcode has been dropped.

show more ...

Merge branch 'PHP-8.1'

* PHP-8.1:
Handle pi nodes in replace_predecessor

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Handle pi nodes in replace_predecessor

Fix incorrect use chain unlink

This issue has been introduced in 87ea3c1f4c174b8d66af9d42e8387a2016c21c54,
where an || has been misinterpreted as an &&.

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_ssa_find_false_dependencies()

It always returned SUCCESS

Voidify zend_ssa_find_sccs()

It always returned SUCCESS

Voidify zend_cfg_identify_loops()

It always returned SUCCESS

Voidify zend_cfg_compute_dominators_tree()

It always returned SUCCESS

Voidify zend_cfg_build_predecessors()

It always returned SUCCESS

Voidify zend_build_cfg()

It always returned SUCCESS

Use more appropriate types in Optimizer

Mainly using zend_result and bool instead of int

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Check that POST_INC/DEC has use in DFA optimization

Optimize "$x * 2" into "$x + $x"

Pure Intersection types (#6799)

Implement pure intersection types RFC

RFC: https://wiki.php.net/rfc/pure-intersection-types

Co-authored-by: Nikita Popov <nikic@php.net>

Pure Intersection types (#6799)

Implement pure intersection types RFC

RFC: https://wiki.php.net/rfc/pure-intersection-types

Co-authored-by: Nikita Popov <nikic@php.net>
Co-authored-by: Ilija Tovilo <ilutov@php.net>

show more ...

Make can_elide_return_type_check() more robust

Rather than using def_info, check against the actual arg_info type.
As it is stored as a type mask nowadays, this is not much harder,
b

Make can_elide_return_type_check() more robust

Rather than using def_info, check against the actual arg_info type.
As it is stored as a type mask nowadays, this is not much harder,
but more general and more robust as we don't need to deal with
inaccurate cases.

show more ...