Lines Matching refs:ssa
157 zend_dump_var(scdf->op_array, IS_CV, scdf->ssa->vars[var].var); in set_value()
880 if (IS_BOT(op1) && (ctx->scdf.ssa->var_info[ssa_op->op1_use].type & MAY_BE_REF)) { in sccp_visit_instr()
893 if ((ctx->scdf.ssa->var_info[ssa_op->op1_use].type & MAY_BE_ANY) == 0) { in sccp_visit_instr()
982 && ctx->scdf.ssa->vars[ssa_op->op1_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
984 zend_ssa_var_info *var_info = &ctx->scdf.ssa->var_info[ssa_op->op1_use]; in sccp_visit_instr()
1078 ssa_op = &ctx->scdf.ssa->ops[opline - ctx->scdf.op_array->opcodes]; in sccp_visit_instr()
1207 && ctx->scdf.ssa->vars[ssa_op->result_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
1334 && ctx->scdf.ssa->vars[ssa_op->op1_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
1385 && ctx->scdf.ssa->vars[ssa_op->op1_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
1676 &ctx->scdf.ssa->ops[opline - ctx->scdf.op_array->opcodes]); in sccp_visit_instr()
1723 zend_ssa *ssa = ctx->scdf.ssa; in value_from_type_and_range() local
1724 zend_ssa_var_info *info = &ssa->var_info[var_num]; in value_from_type_and_range()
1737 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1738 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
1745 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1746 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
1753 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1754 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
1868 zend_ssa *ssa = scdf->ssa; in sccp_mark_feasible_successors() local
1876 target = ssa->cfg.map[ZEND_OFFSET_TO_OPLINE_NUM(op_array, opline, Z_LVAL_P(jmp_zv))]; in sccp_mark_feasible_successors()
1878 target = ssa->cfg.map[ZEND_OFFSET_TO_OPLINE_NUM(op_array, opline, opline->extended_value)]; in sccp_mark_feasible_successors()
1884 zend_ssa *ssa = scdf->ssa; in sccp_mark_feasible_successors() local
1885 int target = ssa->cfg.map[ZEND_OFFSET_TO_OPLINE_NUM(op_array, opline, opline->extended_value)]; in sccp_mark_feasible_successors()
1991 zend_ssa *ssa = scdf->ssa; in sccp_visit_phi() local
1994 zend_basic_block *block = &ssa->cfg.blocks[phi->block]; in sccp_visit_phi()
1995 int *predecessors = &ssa->cfg.predecessors[block->predecessor_offset]; in sccp_visit_phi()
2006 …join_phi_values(&result, &ctx->values[phi->sources[0]], ssa->vars[phi->ssa_var].escape_state != ES… in sccp_visit_phi()
2016 …join_phi_values(&result, &ctx->values[phi->sources[i]], ssa->vars[phi->ssa_var].escape_state != ES… in sccp_visit_phi()
2036 zend_ssa *ssa = ctx->scdf.ssa; in remove_call() local
2045 zend_ssa_remove_instr(ssa, opline, ssa_op); in remove_call()
2046 zend_ssa_remove_instr(ssa, call->caller_init_opline, in remove_call()
2047 &ssa->ops[call->caller_init_opline - op_array->opcodes]); in remove_call()
2050 zend_ssa_remove_instr(ssa, call->arg_info[i].opline, in remove_call()
2051 &ssa->ops[call->arg_info[i].opline - op_array->opcodes]); in remove_call()
2075 zend_ssa *ssa = ctx->scdf.ssa; in try_remove_definition() local
2081 zend_ssa_op *ssa_op = &ssa->ops[var->definition]; in try_remove_definition()
2088 zend_ssa_remove_result_def(ssa, ssa_op); in try_remove_definition()
2119 zend_ssa_remove_result_def(ssa, ssa_op); in try_remove_definition()
2158 zend_ssa_remove_instr(ssa, opline, ssa_op); in try_remove_definition()
2179 zend_ssa_remove_result_def(ssa, ssa_op); in try_remove_definition()
2190 zend_ssa_remove_result_def(ssa, ssa_op); in try_remove_definition()
2194 zend_ssa_remove_instr(ssa, opline, ssa_op); in try_remove_definition()
2235 if (zend_may_throw(opline, ssa_op, op_array, ssa)) { in try_remove_definition()
2244 if (ssa->vars[ssa_op->result_def].use_chain < 0 in try_remove_definition()
2245 && ssa->vars[ssa_op->result_def].phi_use_chain == NULL) { in try_remove_definition()
2246 zend_ssa_remove_result_def(ssa, ssa_op); in try_remove_definition()
2260 zend_ssa_unlink_use_chain(ssa, var->definition, ssa_op->op2_use); in try_remove_definition()
2271 zend_ssa_remove_instr(ssa, opline + 1, ssa_op + 1); in try_remove_definition()
2277 zend_ssa_remove_instr(ssa, opline + 1, ssa_op + 1); in try_remove_definition()
2293 zend_ssa_rename_var_uses(ssa, ssa_op->op1_def, ssa_op->op1_use, 1); in try_remove_definition()
2295 zend_ssa_remove_op1_def(ssa, ssa_op); in try_remove_definition()
2296 zend_ssa_remove_instr(ssa, opline, ssa_op); in try_remove_definition()
2302 zend_ssa_remove_phi(ssa, var->definition_phi); in try_remove_definition()
2311 zend_ssa *ssa = ctx->scdf.ssa; in replace_constant_operands() local
2319 for (i = ssa->vars_count - 1; i >= op_array->last_var; i--) { in replace_constant_operands()
2320 zend_ssa_var *var = &ssa->vars[i]; in replace_constant_operands()
2345 zend_ssa_op *ssa_op = &ssa->ops[use]; in replace_constant_operands()
2352 zend_ssa_unlink_use_chain(ssa, use, ssa_op->op1_use); in replace_constant_operands()
2362 zend_ssa_unlink_use_chain(ssa, use, ssa_op->op2_use); in replace_constant_operands()
2378 zend_ssa *ssa, zend_op_array *op_array, zend_call_info **call_map) { in sccp_context_init() argument
2381 sccp->values = zend_arena_alloc(&ctx->arena, sizeof(zval) * ssa->vars_count); in sccp_context_init()
2392 for (; i < ssa->vars_count; ++i) { in sccp_context_init()
2393 if (ssa->vars[i].alias) { in sccp_context_init()
2403 for (i = sccp->scdf.op_array->last_var; i < sccp->scdf.ssa->vars_count; ++i) { in sccp_context_free()
2408 int sccp_optimize_op_array(zend_optimizer_ctx *ctx, zend_op_array *op_array, zend_ssa *ssa, zend_ca… in sccp_optimize_op_array() argument
2414 sccp_context_init(ctx, &sccp, ssa, op_array, call_map); in sccp_optimize_op_array()
2420 scdf_init(ctx, &sccp.scdf, op_array, ssa); in sccp_optimize_op_array()
2426 for (i = op_array->last_var; i < ssa->vars_count; i++) { in sccp_optimize_op_array()
2439 zend_dump_var(op_array, IS_CV, ssa->vars[i].var); in sccp_optimize_op_array()
