]> granicus.if.org Git - php/commit
Only replace IN_ARRAY result type for JMPZ/JMPNZ
authorNikita Popov <nikita.ppv@gmail.com>
Mon, 30 Nov 2020 10:09:28 +0000 (11:09 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Mon, 30 Nov 2020 10:18:21 +0000 (11:18 +0100)
commitfdb05b92bfb62906771fd41f3fcdbc184d89e3fe
tree09acc32f460b4ec94db80fef06c1f20edbcc5a0e
parente77ac88a441ac2cea9099fd97a0c5fb914df720e
Only replace IN_ARRAY result type for JMPZ/JMPNZ

Replacing the result type in the general case is dangerous,
because not all opcodes support both VAR and TMP. One common case
is the in_array() result being passed to SEND_VAR, which would
have to be changed to SEND_VAL.

Rather than complicating this logic, reduce the scope to only
doing the type replacement for JMPZ and JMPNZ. The only reason
we're doing this in the first place is to enable the smart branch
optimization, so we can limit it to the relevant opcodes. Replacing
the result type may be marginally useful in other cases as well
(as it may avoid reference checks), but not worth the bother.
ext/opcache/Optimizer/dfa_pass.c
ext/opcache/tests/opt/sccp_in_array.phpt [new file with mode: 0644]