JIT: Make code generation to be consistent with register allocation

dstogov · dstogov · commit fd74ee7e909c · 2022-08-22T19:53:33.000+03:00
Fixes ext/opcache/tests/jit/add_014.phpt with opcache.jit=1205
diff --git a/ext/opcache/jit/zend_jit_x86.dasc b/ext/opcache/jit/zend_jit_x86.dasc
@@ -8781,7 +8781,7 @@ static int zend_jit_bool_jmpznz(dasm_State **Dst, const zend_op *opline, uint32_
 		}
 	}
 
-	if ((op1_info & MAY_BE_ANY) == MAY_BE_DOUBLE) {
+	if ((op1_info & (MAY_BE_ANY-(MAY_BE_NULL|MAY_BE_FALSE|MAY_BE_TRUE|MAY_BE_LONG))) == MAY_BE_DOUBLE) {
 		|2:
 		if (CAN_USE_AVX()) {
 			|	vxorps xmm0, xmm0, xmm0

Original file line number	Diff line number	Diff line change
`@@ -8781,7 +8781,7 @@ static int zend_jit_bool_jmpznz(dasm_State *Dst, const zend_op opline, uint32_`
`8781`	`8781`	`}`
`8782`	`8782`	`}`
`8783`	`8783`
`8784`		`- if ((op1_info & MAY_BE_ANY) == MAY_BE_DOUBLE) {`
	`8784`	`+ if ((op1_info & (MAY_BE_ANY-(MAY_BE_NULL\|MAY_BE_FALSE\|MAY_BE_TRUE\|MAY_BE_LONG))) == MAY_BE_DOUBLE) {`
`8785`	`8785`	`\|2:`
`8786`	`8786`	`if (CAN_USE_AVX()) {`
`8787`	`8787`	`\| vxorps xmm0, xmm0, xmm0`