if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
break;
}
- if (!zend_jit_fetch_dim_read(&dasm_state, opline, op_array,
+ if (!zend_jit_fetch_dim_read(&dasm_state, opline, op_array, ssa, ssa_op,
OP1_INFO(), OP1_REG_ADDR(), OP2_INFO(), RES_INFO(),
zend_may_throw(opline, ssa_op, op_array, ssa))) {
goto jit_failure;
op2_info = OP2_INFO();
CHECK_OP2_TRACE_TYPE();
res_info = RES_INFO();
- if (!zend_jit_fetch_dim_read(&dasm_state, opline, op_array,
+ if (!zend_jit_fetch_dim_read(&dasm_state, opline, op_array, ssa, ssa_op,
op1_info, op1_addr, op2_info, res_info,
(
(op1_info & MAY_BE_ANY) != MAY_BE_ARRAY ||
(op2_info & (MAY_BE_OBJECT|MAY_BE_RESOURCE|MAY_BE_ARRAY_OF_OBJECT|MAY_BE_ARRAY_OF_RESOURCE|MAY_BE_ARRAY_OF_ARRAY)) != 0)))) {
goto jit_failure;
}
- if ((res_info & MAY_BE_GUARD)
- && JIT_G(current_frame)
- && (op1_info & (MAY_BE_ANY|MAY_BE_UNDEF)) == MAY_BE_ARRAY) {
- ssa->var_info[ssa_op->result_def].type &= ~MAY_BE_GUARD;
- }
goto done;
case ZEND_ISSET_ISEMPTY_DIM_OBJ:
if ((opline->extended_value & ZEND_ISEMPTY)) {
return 1;
}
-static int zend_jit_fetch_dim_read(dasm_State **Dst, const zend_op *opline, const zend_op_array *op_array, uint32_t op1_info, zend_jit_addr op1_addr, uint32_t op2_info, uint32_t res_info, int may_throw)
+static int zend_jit_fetch_dim_read(dasm_State **Dst, const zend_op *opline, const zend_op_array *op_array, zend_ssa *ssa, const zend_ssa_op *ssa_op, uint32_t op1_info, zend_jit_addr op1_addr, uint32_t op2_info, uint32_t res_info, int may_throw)
{
zend_jit_addr orig_op1_addr, op2_addr, res_addr;
const void *exit_addr = NULL;
}
}
res_info &= ~MAY_BE_GUARD;
+ ssa->var_info[ssa_op->result_def].type &= ~MAY_BE_GUARD;
}
if (op1_info & MAY_BE_REF) {