diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2021-02-16 20:02:48 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2021-02-16 20:02:48 +0300 |
| commit | 319f73e06b8ac724fea3e072f8fb7e83e6189c6b (patch) | |
| tree | e55da12e9ae042e7a30512d970544f20949b885c /ext/opcache | |
| parent | 803779e84b6e03d12efacb37c7be389d0c527909 (diff) | |
| parent | fad87a24daa8a79f7bcb9d4088f7d96d6f405cac (diff) | |
| download | php-git-319f73e06b8ac724fea3e072f8fb7e83e6189c6b.tar.gz | |
Merge branch 'PHP-8.0'
* PHP-8.0:
Fixed bug #80742 (Opcache JIT makes some boolean logic unexpectedly be true)
Diffstat (limited to 'ext/opcache')
| -rw-r--r-- | ext/opcache/jit/zend_jit_x86.dasc | 6 | ||||
| -rw-r--r-- | ext/opcache/tests/jit/bug80742.phpt | 98 |
2 files changed, 101 insertions, 3 deletions
diff --git a/ext/opcache/jit/zend_jit_x86.dasc b/ext/opcache/jit/zend_jit_x86.dasc index fa203f850c..6c1b93df00 100644 --- a/ext/opcache/jit/zend_jit_x86.dasc +++ b/ext/opcache/jit/zend_jit_x86.dasc @@ -7119,7 +7119,7 @@ static int zend_jit_cmp_double_common(dasm_State **Dst, const zend_op *opline, z break; case ZEND_IS_NOT_IDENTICAL: if (exit_addr) { - |1: + | jp >1 | je &exit_addr |1: } else { @@ -7212,10 +7212,10 @@ static int zend_jit_cmp_double_common(dasm_State **Dst, const zend_op *opline, z case ZEND_IS_NOT_EQUAL: case ZEND_IS_NOT_IDENTICAL: | jp >1 - | SET_ZVAL_TYPE_INFO res_addr, IS_TRUE + | SET_ZVAL_TYPE_INFO res_addr, IS_FALSE | je => target_label |1: - | SET_ZVAL_TYPE_INFO res_addr, IS_FALSE + | SET_ZVAL_TYPE_INFO res_addr, IS_TRUE break; case ZEND_IS_SMALLER: if (swap) { diff --git a/ext/opcache/tests/jit/bug80742.phpt b/ext/opcache/tests/jit/bug80742.phpt new file mode 100644 index 0000000000..a86fe1052b --- /dev/null +++ b/ext/opcache/tests/jit/bug80742.phpt @@ -0,0 +1,98 @@ +--TEST-- +Bug #80742 (Opcache JIT makes some boolean logic unexpectedly be true) +--FILE-- +<?php + +function checkGroundState(float $movY, float $dy) : void{ + var_dump($movY != $dy, $movY < 0, ($movY != $dy and $movY < 0)); + var_dump("wow!"); +} + +checkGroundState(0, 0); + +function eq(float $a, float $b, $c, $d) { + if ($a == $b) { + echo 1; + } + if ($a == $b) { + } else { + echo 2; + } + if ($a != $b) { + echo 3; + } + if ($a != $b) { + } else { + echo 4; + } + if ($a === $b) { + echo 5; + } + if ($a === $b) { + } else { + echo 6; + } + if ($a !== $b) { + echo 7; + } + if ($a !== $b) { + } else { + echo 8; + } + echo "\n"; + var_dump( + $a == $b && $c, + $a != $b && $c, + $a === $b && $c, + $a !== $b && $c,); + var_dump( + $a == $b || $d, + $a != $b || $d, + $a === $b || $d, + $a !== $b || $d); +} +eq(3.0, 3.0, true, false); +eq(3.0, 2.0, true, false); +eq(3.0, NAN, true, false); +eq(NAN, NAN, true, false); +--EXPECT-- +bool(false) +bool(false) +bool(false) +string(4) "wow!" +1458 +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +2367 +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) +2367 +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) +2367 +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) +bool(false) +bool(true) |