Fixed trace type inference

dstogov · dstogov · commit 13b6c8dd968d · 2023-09-08T18:29:20.000+03:00
diff --git a/ext/opcache/jit/zend_jit_trace.c b/ext/opcache/jit/zend_jit_trace.c
@@ -6987,7 +6987,7 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 					}
 				}
 				if (ssa_op->op1_def >= 0
-				 && (opline->opcode != ZEND_QM_ASSIGN
+				 && ((opline->opcode != ZEND_QM_ASSIGN && opline->opcode != ZEND_CAST)
 				  || opline->result_type != IS_CV
 				  || opline->result.var != opline->op1.var)) {
 					uint8_t type = IS_UNKNOWN;

Original file line number	Diff line number	Diff line change
`@@ -6987,7 +6987,7 @@ static const void zend_jit_trace(zend_jit_trace_rec trace_buffer, uint32_t par`
`6987`	`6987`	`}`
`6988`	`6988`	`}`
`6989`	`6989`	`if (ssa_op->op1_def >= 0`
`6990`		`- && (opline->opcode != ZEND_QM_ASSIGN`
	`6990`	`+ && ((opline->opcode != ZEND_QM_ASSIGN && opline->opcode != ZEND_CAST)`
`6991`	`6991`	`\|\| opline->result_type != IS_CV`
`6992`	`6992`	`\|\| opline->result.var != opline->op1.var)) {`
`6993`	`6993`	`uint8_t type = IS_UNKNOWN;`