Lines Matching refs:ssa_op
76 const zend_op *opline, const zend_ssa_op *ssa_op, in may_have_side_effects() argument
181 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def)) { in may_have_side_effects()
187 && ssa->vars[ssa_op->op2_use].escape_state != ESCAPE_STATE_NO_ESCAPE) { in may_have_side_effects()
212 return is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def); in may_have_side_effects()
214 return is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def) in may_have_side_effects()
215 || ssa->vars[ssa_op->op1_def].escape_state != ESCAPE_STATE_NO_ESCAPE; in may_have_side_effects()
218 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def) in may_have_side_effects()
219 || ssa->vars[ssa_op->op1_def].escape_state != ESCAPE_STATE_NO_ESCAPE) { in may_have_side_effects()
224 ssa_op++; in may_have_side_effects()
236 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def) in may_have_side_effects()
237 || ssa->vars[ssa_op->op1_def].escape_state != ESCAPE_STATE_NO_ESCAPE) { in may_have_side_effects()
288 …id add_operands_to_worklists(context *ctx, zend_op *opline, zend_ssa_op *ssa_op, zend_ssa *ssa, in… in add_operands_to_worklists() argument
289 if (ssa_op->result_use >= 0) { in add_operands_to_worklists()
290 add_to_worklists(ctx, ssa_op->result_use, check); in add_operands_to_worklists()
292 if (ssa_op->op1_use >= 0) { in add_operands_to_worklists()
293 if (!zend_ssa_is_no_val_use(opline, ssa_op, ssa_op->op1_use) in add_operands_to_worklists()
295 && (ssa->var_info[ssa_op->op1_use].type & MAY_BE_REF) != 0)) { in add_operands_to_worklists()
296 add_to_worklists(ctx, ssa_op->op1_use, check); in add_operands_to_worklists()
298 add_to_phi_worklist_no_val(ctx, ssa_op->op1_use); in add_operands_to_worklists()
301 if (ssa_op->op2_use >= 0) { in add_operands_to_worklists()
302 if (!zend_ssa_is_no_val_use(opline, ssa_op, ssa_op->op2_use) in add_operands_to_worklists()
304 && (ssa->var_info[ssa_op->op2_use].type & MAY_BE_REF) != 0)) { in add_operands_to_worklists()
305 add_to_worklists(ctx, ssa_op->op2_use, check); in add_operands_to_worklists()
307 add_to_phi_worklist_no_val(ctx, ssa_op->op2_use); in add_operands_to_worklists()
391 static inline bool is_free_of_live_var(context *ctx, zend_op *opline, zend_ssa_op *ssa_op) { in is_free_of_live_var() argument
395 if ((ctx->ssa->var_info[ssa_op->op1_use].type & (MAY_BE_REF|MAY_BE_ANY|MAY_BE_UNDEF)) != 0 in is_free_of_live_var()
396 && !may_be_refcounted(ctx->ssa->var_info[ssa_op->op1_use].type)) { in is_free_of_live_var()
401 return !is_var_dead(ctx, ssa_op->op1_use); in is_free_of_live_var()
408 static bool dce_instr(context *ctx, zend_op *opline, zend_ssa_op *ssa_op) { in dce_instr() argument
418 if (is_free_of_live_var(ctx, opline, ssa_op)) { in dce_instr()
422 if ((opline->op1_type & (IS_VAR|IS_TMP_VAR))&& !is_var_dead(ctx, ssa_op->op1_use)) { in dce_instr()
423 if (!try_remove_var_def(ctx, ssa_op->op1_use, ssa_op->op1_use_chain, opline)) { in dce_instr()
424 if (may_be_refcounted(ssa->var_info[ssa_op->op1_use].type) in dce_instr()
426 free_var = ssa_op->op1_use; in dce_instr()
431 if ((opline->op2_type & (IS_VAR|IS_TMP_VAR)) && !is_var_dead(ctx, ssa_op->op2_use)) { in dce_instr()
432 if (!try_remove_var_def(ctx, ssa_op->op2_use, ssa_op->op2_use_chain, opline)) { in dce_instr()
433 if (may_be_refcounted(ssa->var_info[ssa_op->op2_use].type)) { in dce_instr()
439 free_var = ssa_op->op2_use; in dce_instr()
445 zend_ssa_rename_defs_of_instr(ctx->ssa, ssa_op); in dce_instr()
446 zend_ssa_remove_instr(ctx->ssa, opline, ssa_op); in dce_instr()
453 ssa_op->op1_use = free_var; in dce_instr()
454 ssa_op->op1_use_chain = ssa->vars[free_var].use_chain; in dce_instr()
455 ssa->vars[free_var].use_chain = ssa_op - ssa->ops; in dce_instr()
501 … may_break_varargs(const zend_op_array *op_array, const zend_ssa *ssa, const zend_ssa_op *ssa_op) { in may_break_varargs() argument
502 if (ssa_op->op1_def >= 0 in may_break_varargs()
503 && ssa->vars[ssa_op->op1_def].var < op_array->num_args) { in may_break_varargs()
506 if (ssa_op->op2_def >= 0 in may_break_varargs()
507 && ssa->vars[ssa_op->op2_def].var < op_array->num_args) { in may_break_varargs()
510 if (ssa_op->result_def >= 0 in may_break_varargs()
511 && ssa->vars[ssa_op->result_def].var < op_array->num_args) { in may_break_varargs()
