Tracing JIT: Fixed incorrect deoptimization info

dstogov · dstogov · commit d0f965d078c4 · 2022-02-11T11:10:22.000+03:00
diff --git a/ext/opcache/jit/zend_jit_trace.c b/ext/opcache/jit/zend_jit_trace.c
@@ -3864,7 +3864,7 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 							}
 							info &= ~MAY_BE_GUARD;
 							ssa->var_info[phi->ssa_var].type = info;
-							SET_STACK_TYPE(stack, i, concrete_type(info), 1);
+							SET_STACK_TYPE(stack, phi->var, concrete_type(info), 1);
 						}
 						SET_STACK_REG_EX(stack, phi->var, ival->reg, ZREG_LOAD);
 						if (!zend_jit_load_var(&dasm_state, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var, ival->reg)) {

Original file line number	Diff line number	Diff line change
`@@ -3864,7 +3864,7 @@ static const void zend_jit_trace(zend_jit_trace_rec trace_buffer, uint32_t par`
`3864`	`3864`	`}`
`3865`	`3865`	`info &= ~MAY_BE_GUARD;`
`3866`	`3866`	`ssa->var_info[phi->ssa_var].type = info;`
`3867`		`- SET_STACK_TYPE(stack, i, concrete_type(info), 1);`
	`3867`	`+ SET_STACK_TYPE(stack, phi->var, concrete_type(info), 1);`
`3868`	`3868`	`}`
`3869`	`3869`	`SET_STACK_REG_EX(stack, phi->var, ival->reg, ZREG_LOAD);`
`3870`	`3870`	`if (!zend_jit_load_var(&dasm_state, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var, ival->reg)) {`