Lines Matching refs:scdf
81 scdf_ctx scdf; member
151 static void set_value(scdf_ctx *scdf, sccp_ctx *ctx, int var, zval *new) { in set_value() argument
159 zend_dump_var(scdf->op_array, IS_CV, scdf->ssa->vars[var].var); in set_value()
170 scdf_add_to_worklist(scdf, var); in set_value()
180 scdf_add_to_worklist(scdf, var); in set_value()
193 return CT_CONSTANT_EX(ctx->scdf.op_array, opline->op1.constant); in get_op1_value()
203 return CT_CONSTANT_EX(ctx->scdf.op_array, opline->op2.constant); in get_op2_value()
295 if (ssa_op->op1_use == var && can_replace_op1(ctx->scdf.op_array, opline, ssa_op)) { in try_replace_op1()
298 if (zend_optimizer_update_op1_const(ctx->scdf.op_array, opline, &zv)) { in try_replace_op1()
317 opline->op1.constant = zend_optimizer_add_literal(ctx->scdf.op_array, &zv); in try_replace_op1()
325 opline->op1.constant = zend_optimizer_add_literal(ctx->scdf.op_array, &zv); in try_replace_op1()
329 zend_ssa_unlink_use_chain(ctx->scdf.ssa, ssa_op - ctx->scdf.ssa->ops, ssa_op->op2_use); in try_replace_op1()
345 if (ssa_op->op2_use == var && can_replace_op2(ctx->scdf.op_array, opline, ssa_op)) { in try_replace_op2()
348 if (zend_optimizer_update_op2_const(ctx->scdf.op_array, opline, &zv)) { in try_replace_op2()
356 if (zend_optimizer_update_op2_const(ctx->scdf.op_array, opline + 1, &zv)) { in try_replace_op2()
358 zend_ssa_unlink_use_chain(ctx->scdf.ssa, next_op - ctx->scdf.ssa->ops, next_op->op2_use); in try_replace_op2()
361 zend_ssa_remove_result_def(ctx->scdf.ssa, ssa_op); in try_replace_op2()
982 set_value(scdf, ctx, ssa_op->op##_def, zv); \
990 static void sccp_visit_instr(scdf_ctx *scdf, zend_op *opline, zend_ssa_op *ssa_op) { in sccp_visit_instr() argument
991 sccp_ctx *ctx = (sccp_ctx *) scdf; in sccp_visit_instr()
1002 if (IS_BOT(op1) && (ctx->scdf.ssa->var_info[ssa_op->op1_use].type & MAY_BE_REF)) { in sccp_visit_instr()
1014 uint32_t type = ctx->scdf.ssa->var_info[ssa_op->op1_use].type; in sccp_visit_instr()
1033 if ((ctx->scdf.ssa->var_info[ssa_op->op1_use].type & MAY_BE_ANY) == 0) { in sccp_visit_instr()
1122 && ctx->scdf.ssa->vars[ssa_op->op1_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
1124 zend_ssa_var_info *var_info = &ctx->scdf.ssa->var_info[ssa_op->op1_use]; in sccp_visit_instr()
1209 call = ctx->call_map[opline - ctx->scdf.op_array->opcodes]; in sccp_visit_instr()
1216 ssa_op = &ctx->scdf.ssa->ops[opline - ctx->scdf.op_array->opcodes]; in sccp_visit_instr()
1345 && ctx->scdf.ssa->vars[ssa_op->result_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
1472 && ctx->scdf.ssa->vars[ssa_op->op1_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
1523 && ctx->scdf.ssa->vars[ssa_op->op1_def].escape_state == ESCAPE_STATE_NO_ESCAPE) { in sccp_visit_instr()
1796 call = ctx->call_map[opline - ctx->scdf.op_array->opcodes]; in sccp_visit_instr()
1797 name = CT_CONSTANT_EX(ctx->scdf.op_array, call->caller_init_opline->op2.constant); in sccp_visit_instr()
1819 &ctx->scdf.ssa->ops[opline - ctx->scdf.op_array->opcodes]); in sccp_visit_instr()
1835 if (ct_eval_func_call(scdf->op_array, &zv, Z_STR_P(name), call->num_args, args) == SUCCESS) { in sccp_visit_instr()
1867 scdf_ctx *scdf, in sccp_mark_feasible_successors() argument
1870 sccp_ctx *ctx = (sccp_ctx *) scdf; in sccp_mark_feasible_successors()
1880 scdf_mark_edge_feasible(scdf, block_num, block->successors[0]); in sccp_mark_feasible_successors()
1881 scdf_mark_edge_feasible(scdf, block_num, block->successors[1]); in sccp_mark_feasible_successors()
1890 scdf_mark_edge_feasible(scdf, block_num, block->successors[s]); in sccp_mark_feasible_successors()
1906 scdf_mark_edge_feasible(scdf, block_num, block->successors[0]); in sccp_mark_feasible_successors()
1907 scdf_mark_edge_feasible(scdf, block_num, block->successors[1]); in sccp_mark_feasible_successors()
1918 scdf_mark_edge_feasible(scdf, block_num, block->successors[0]); in sccp_mark_feasible_successors()
1919 scdf_mark_edge_feasible(scdf, block_num, block->successors[1]); in sccp_mark_feasible_successors()
1937 scdf_mark_edge_feasible(scdf, block_num, block->successors[0]); in sccp_mark_feasible_successors()
1938 scdf_mark_edge_feasible(scdf, block_num, block->successors[1]); in sccp_mark_feasible_successors()
1955 zend_op_array *op_array = scdf->op_array; in sccp_mark_feasible_successors()
1956 zend_ssa *ssa = scdf->ssa; in sccp_mark_feasible_successors()
1968 scdf_mark_edge_feasible(scdf, block_num, target); in sccp_mark_feasible_successors()
1971 zend_op_array *op_array = scdf->op_array; in sccp_mark_feasible_successors()
1972 zend_ssa *ssa = scdf->ssa; in sccp_mark_feasible_successors()
1974 scdf_mark_edge_feasible(scdf, block_num, target); in sccp_mark_feasible_successors()
1982 scdf_mark_edge_feasible(scdf, block_num, block->successors[s]); in sccp_mark_feasible_successors()
1986 scdf_mark_edge_feasible(scdf, block_num, block->successors[s]); in sccp_mark_feasible_successors()
2077 static void sccp_visit_phi(scdf_ctx *scdf, zend_ssa_phi *phi) { in sccp_visit_phi() argument
2078 sccp_ctx *ctx = (sccp_ctx *) scdf; in sccp_visit_phi()
2079 zend_ssa *ssa = scdf->ssa; in sccp_visit_phi()
2093 if (scdf_is_edge_feasible(scdf, phi->pi, phi->block)) { in sccp_visit_phi()
2099 if (scdf_is_edge_feasible(scdf, predecessors[i], phi->block)) { in sccp_visit_phi()
2116 set_value(scdf, ctx, phi->ssa_var, &result); in sccp_visit_phi()
2122 zend_ssa *ssa = ctx->scdf.ssa; in value_from_type_and_range()
2162 zend_ssa *ssa = ctx->scdf.ssa; in remove_call()
2163 zend_op_array *op_array = ctx->scdf.op_array; in remove_call()
2201 zend_ssa *ssa = ctx->scdf.ssa; in try_remove_definition()
2202 zend_op_array *op_array = ctx->scdf.op_array; in try_remove_definition()
2290 zend_optimizer_update_op1_const(ctx->scdf.op_array, opline, value); in try_remove_definition()
2436 zend_ssa *ssa = ctx->scdf.ssa; in replace_constant_operands()
2437 zend_op_array *op_array = ctx->scdf.op_array; in replace_constant_operands()
2528 for (i = sccp->scdf.op_array->last_var; i < sccp->scdf.ssa->vars_count; ++i) { in sccp_context_free()
2541 sccp.scdf.handlers.visit_instr = sccp_visit_instr; in sccp_optimize_op_array()
2542 sccp.scdf.handlers.visit_phi = sccp_visit_phi; in sccp_optimize_op_array()
2543 sccp.scdf.handlers.mark_feasible_successors = sccp_mark_feasible_successors; in sccp_optimize_op_array()
2545 scdf_init(ctx, &sccp.scdf, op_array, ssa); in sccp_optimize_op_array()
2546 scdf_solve(&sccp.scdf, "SCCP"); in sccp_optimize_op_array()
2571 removed_ops += scdf_remove_unreachable_blocks(&sccp.scdf); in sccp_optimize_op_array()
