/PHP-8.2/Zend/Optimizer/ |
H A D | zend_ssa.h | 182 ssa_op->op1_def = -1; in zend_ssa_remove_op1_def() 189 ssa_op->op2_def = -1; in zend_ssa_remove_op2_def() 196 ssa_op += use; in END_EXTERN_C() 227 return ssa_op->op1_use == var && ssa_op->op2_use != var; in zend_ssa_is_no_val_use() 230 return ssa_op->op2_use == var && ssa_op->op1_use != var; in zend_ssa_is_no_val_use() 235 return ssa_op->op1_use != var && ssa_op->op2_use != var; in zend_ssa_is_no_val_use() 244 zend_ssa_rename_var_uses(ssa, ssa_op->op1_def, ssa_op->op1_use, 1); in zend_ssa_rename_defs_of_instr() 247 ssa_op->op1_def = -1; in zend_ssa_rename_defs_of_instr() 251 zend_ssa_rename_var_uses(ssa, ssa_op->op2_def, ssa_op->op2_use, 1); in zend_ssa_rename_defs_of_instr() 254 ssa_op->op2_def = -1; in zend_ssa_rename_defs_of_instr() [all …]
|
H A D | zend_inference.h | 46 ssa_op->opN##_use >= 0 && \ 47 ssa->var_info[ssa_op->opN##_use].has_range); \ 62 ssa_op->opN##_use >= 0 && \ 63 ssa->var_info[ssa_op->opN##_use].has_range) { \ 64 return ssa->var_info[ssa_op->opN##_use].range.min; \ 79 ssa_op->opN##_use >= 0 && \ 80 ssa->var_info[ssa_op->opN##_use].has_range) { \ 96 ssa_op->opN##_use >= 0 && \ 97 ssa->var_info[ssa_op->opN##_use].has_range) { \ 113 ssa_op->opN##_use >= 0 && \ [all …]
|
H A D | ssa_integrity.c | 47 || (ssa_op->op2_use == check) in is_used_by_op() 54 || (ssa_op->op2_def == check) in is_defined_by_op() 211 if (ssa_op->op1_use < 0 && ssa_op->op1_def < 0) { in ssa_verify_integrity() 215 if (ssa_op->op1_use >= 0 || ssa_op->op1_def >= 0) { in ssa_verify_integrity() 220 if (ssa_op->op2_use < 0 && ssa_op->op2_def < 0) { in ssa_verify_integrity() 224 if (ssa_op->op2_use >= 0 || ssa_op->op2_def >= 0) { in ssa_verify_integrity() 229 if (ssa_op->result_use < 0 && ssa_op->result_def < 0) { in ssa_verify_integrity() 233 if (ssa_op->result_use >= 0 || ssa_op->result_def >= 0) { in ssa_verify_integrity() 238 if (ssa_op->op1_use >= 0) { in ssa_verify_integrity() 255 if (ssa_op->op2_use >= 0) { in ssa_verify_integrity() [all …]
|
H A D | dce.c | 180 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def)) { in may_have_side_effects() 211 return is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def); in may_have_side_effects() 213 return is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def) in may_have_side_effects() 217 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def) in may_have_side_effects() 223 ssa_op++; in may_have_side_effects() 235 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def) in may_have_side_effects() 298 if (!zend_ssa_is_no_val_use(opline, ssa_op, ssa_op->op1_use) in add_operands_to_worklists() 307 if (!zend_ssa_is_no_val_use(opline, ssa_op, ssa_op->op2_use) in add_operands_to_worklists() 428 if (!try_remove_var_def(ctx, ssa_op->op1_use, ssa_op->op1_use_chain, opline)) { in dce_instr() 507 if (ssa_op->op1_def >= 0 in may_break_varargs() [all …]
|
H A D | zend_inference.c | 1460 if (ssa_op->op1_def == var || ssa_op->op2_def == var || ssa_op->result_def == var) { in zend_inference_propagate_range() 1478 ssa_op++; in zend_inference_propagate_range() 2544 ssa_op--; in _zend_update_type_info() 2655 COPY_SSA_OBJ_TYPE(ssa_op->op1_use, ssa_op->op1_def); in _zend_update_type_info() 2701 COPY_SSA_OBJ_TYPE(ssa_op->op1_use, ssa_op->op1_def); in _zend_update_type_info() 2983 COPY_SSA_OBJ_TYPE(ssa_op->op1_use, ssa_op->op1_def); in _zend_update_type_info() 3012 ssa_op++; in _zend_update_type_info() 3026 COPY_SSA_OBJ_TYPE(ssa_op->op1_use, ssa_op->op1_def); in _zend_update_type_info() 3039 ssa_op++; in _zend_update_type_info() 3054 ssa_op++; in _zend_update_type_info() [all …]
|
H A D | sccp.c | 293 if (ssa_op->op1_use == var && can_replace_op1(ctx->scdf.op_array, opline, ssa_op)) { in try_replace_op1() 1212 ssa_op++; in sccp_visit_instr() 1645 if (ssa_op->result_def < 0 || IS_BOT(&ctx->values[ssa_op->result_def])) { in sccp_visit_instr() 2079 if (ssa_op->op1_def >= 0 || ssa_op->op2_def >= 0) { in try_remove_definition() 2202 if ((ssa_op->op2_use >= 0 && !value_known(&ctx->values[ssa_op->op2_use])) in try_remove_definition() 2211 if (ssa_op->op2_use >= 0 && !value_known(&ctx->values[ssa_op->op2_use])) { in try_remove_definition() 2246 if (ssa_op->op2_use != ssa_op->op1_use) { in try_remove_definition() 2280 zend_ssa_rename_var_uses(ssa, ssa_op->op1_def, ssa_op->op1_use, 1); in try_remove_definition() 2338 if (ssa_op->op1_use != ssa_op->op2_use) { in replace_constant_operands() 2341 ssa_op->op2_use_chain = ssa_op->op1_use_chain; in replace_constant_operands() [all …]
|
H A D | zend_ssa.c | 1254 zend_ssa_unlink_use_chain(ssa, ssa_op - ssa->ops, ssa_op->result_use); in zend_ssa_remove_instr() 1259 if (ssa_op->op1_use != ssa_op->op2_use) { in zend_ssa_remove_instr() 1260 zend_ssa_unlink_use_chain(ssa, ssa_op - ssa->ops, ssa_op->op1_use); in zend_ssa_remove_instr() 1262 ssa_op->op2_use_chain = ssa_op->op1_use_chain; in zend_ssa_remove_instr() 1264 ssa_op->op1_use = -1; in zend_ssa_remove_instr() 1268 zend_ssa_unlink_use_chain(ssa, ssa_op - ssa->ops, ssa_op->op2_use); in zend_ssa_remove_instr() 1269 ssa_op->op2_use = -1; in zend_ssa_remove_instr() 1409 ssa_op->op1_use = -1; in zend_ssa_remove_uses_of_var() 1589 ssa_op->res_use_chain = ssa_op->op1_use_chain; in zend_ssa_rename_var_uses() 1595 ssa_op->res_use_chain = ssa_op->op2_use_chain; in zend_ssa_rename_var_uses() [all …]
|
H A D | scdf.c | 124 zend_ssa_op *ssa_op = &ssa->ops[i]; in scdf_solve() local 127 ssa_op--; in scdf_solve() 129 scdf->handlers.visit_instr(scdf, opline, ssa_op); in scdf_solve() 134 scdf->handlers.mark_feasible_successors(scdf, block_num, block, opline, ssa_op); in scdf_solve() 188 scdf_ctx *scdf, const zend_op *opline, const zend_ssa_op *ssa_op) { in is_live_loop_var_free() argument 193 int var = ssa_op->op1_use; in is_live_loop_var_free() 238 zend_ssa_op *ssa_op = &scdf->ssa->ops[i]; in cleanup_loop_var_free_block() local 240 || is_live_loop_var_free(scdf, opline, ssa_op)) { in cleanup_loop_var_free_block() 246 zend_ssa_remove_defs_of_instr(ssa, ssa_op); in cleanup_loop_var_free_block() 247 zend_ssa_remove_instr(ssa, opline, ssa_op); in cleanup_loop_var_free_block()
|
H A D | escape_analysis.c | 152 zend_ssa_op *ssa_op = ssa->ops + def; in is_allocation_def() local 155 if (ssa_op->result_def == var) { in is_allocation_def() 190 } else if (ssa_op->op1_def == var) { in is_allocation_def() 259 zend_ssa_op *ssa_op = ssa->ops + use; in is_escape_use() local 262 if (ssa_op->op1_use == var) { in is_escape_use() 317 ssa_op--; in is_escape_use() 320 || (ssa_op->op1_def >= 0 && ssa->vars[ssa_op->op1_def].alias)) { in is_escape_use() 331 if (ssa_op->op2_use == var) { in is_escape_use() 336 || (ssa_op->op1_def >= 0 && ssa->vars[ssa_op->op1_def].alias)) { in is_escape_use() 352 if (ssa_op->result_use == var) { in is_escape_use()
|
H A D | dfa_pass.c | 374 if ((ssa_op->op1_def >= 0 && ssa->vars[ssa_op->op1_def].var == var) || in variable_defined_or_used_in_range() 375 (ssa_op->op2_def >= 0 && ssa->vars[ssa_op->op2_def].var == var) || in variable_defined_or_used_in_range() 376 (ssa_op->result_def >= 0 && ssa->vars[ssa_op->result_def].var == var) || in variable_defined_or_used_in_range() 377 (ssa_op->op1_use >= 0 && ssa->vars[ssa_op->op1_use].var == var) || in variable_defined_or_used_in_range() 378 (ssa_op->op2_use >= 0 && ssa->vars[ssa_op->op2_use].var == var) || in variable_defined_or_used_in_range() 379 (ssa_op->result_use >= 0 && ssa->vars[ssa_op->result_use].var == var) in variable_defined_or_used_in_range() 471 ssa_op->op1_use = -1; in zend_dfa_optimize_calls() 754 zend_ssa_op *ssa_op; in zend_dfa_optimize_jmps() local 768 ssa_op = ssa->ops + op_num; in zend_dfa_optimize_jmps() 1089 zend_ssa_op *ssa_op; in zend_dfa_optimize_op_array() local [all …]
|
H A D | zend_dump.c | 443 if (!ssa_op || ssa_op->result_use < 0) { in zend_dump_op() 445 if (ssa_op && ssa_op->result_def >= 0) { in zend_dump_op() 615 if (ssa_op) { in zend_dump_op() 620 } else if (ssa_op->op1_def < 0) { in zend_dump_op() 628 if (ssa_op) { in zend_dump_op() 676 if (ssa_op) { in zend_dump_op() 689 if (ssa_op) { in zend_dump_op() 726 } else if (ssa_op && ssa_op->result_use >= 0) { in zend_dump_op() 728 if (ssa_op) { in zend_dump_op() 738 if (ssa_op) { in zend_dump_op() [all …]
|
H A D | scdf.h | 40 struct _scdf_ctx *scdf, zend_op *opline, zend_ssa_op *ssa_op); 45 zend_op *opline, zend_ssa_op *ssa_op);
|
H A D | zend_dump.h | 35 …ck *b, const zend_op *opline, uint32_t dump_flags, const zend_ssa *ssa, const zend_ssa_op *ssa_op);
|
H A D | zend_optimizer.c | 1239 zend_ssa_op *ssa_op = &ssa->ops[opline - op_array->opcodes]; in zend_redo_pass_two_ex() local 1388 zend_ssa_op *ssa_op = &func_info->ssa.ops[def_opline - op_array->opcodes]; in needs_live_range() local 1389 int ssa_var = ssa_op->result_def; in needs_live_range()
|
/PHP-8.2/ext/opcache/jit/ |
H A D | zend_jit_trace.c | 2861 && ssa_op->op2_use != ssa_op->op1_use in zend_jit_trace_allocate_registers() 2876 && ssa_op->result_use != ssa_op->op1_use in zend_jit_trace_allocate_registers() 2877 && ssa_op->result_use != ssa_op->op2_use in zend_jit_trace_allocate_registers() 2957 ssa_op++; in zend_jit_trace_allocate_registers() 2986 ssa_op++; in zend_jit_trace_allocate_registers() 3867 if ((ssa_op-1)->op1_def == ssa_op->op2_use) { in zend_jit_may_skip_comparison() 3868 ssa_op--; in zend_jit_may_skip_comparison() 3878 ssa_op--; in zend_jit_may_skip_comparison() 3892 if ((ssa_op-1)->op1_def == ssa_op->op1_use) { in zend_jit_may_skip_comparison() 3893 ssa_op--; in zend_jit_may_skip_comparison() [all …]
|
H A D | zend_jit.c | 313 ssa_op++; in zend_jit_needs_call_chain() 380 ssa_op++; in zend_jit_needs_call_chain() 440 ssa_op++; in zend_jit_needs_call_chain() 454 ssa_op++; in zend_jit_needs_call_chain() 480 ssa_op++; in zend_jit_needs_call_chain() 1123 res = ssa_op->op1_def; in zend_may_overflow() 1138 res = ssa_op->op1_def; in zend_may_overflow() 1152 res = ssa_op->result_def; in zend_may_overflow() 1213 res = ssa_op->op1_def; in zend_may_overflow() 1240 res = ssa_op->op1_def; in zend_may_overflow() [all …]
|
H A D | zend_jit_internal.h | 152 #define OP_REG(ssa_op, op) \ argument 153 (ra && ssa_op->op >= 0 && ra[ssa_op->op] ? \ 154 OP_REG_EX(ra[ssa_op->op]->reg, \ 155 (ra[ssa_op->op]->flags & ZREG_STORE), \ 156 (ra[ssa_op->op]->flags & ZREG_LOAD), \ 157 zend_ival_is_last_use(ra[ssa_op->op], ssa_op - ssa->ops) \ 192 OP_REG(ssa_op, _ssa_op))
|
H A D | zend_jit_x86.dasc | 11827 && (ssa_op+1)->op1_use == ssa_op->result_def 13162 && (ssa_op+1)->op1_use == ssa_op->result_def 15877 if (def_var == ssa_op->result_def && 15878 use_var == ssa_op->op1_use) { 16095 if (ssa_op->op1_def == current_var || 16106 if (ssa_op->op1_use == current_var) { 16125 if (ssa_op->op1_use == current_var || 16126 ssa_op->op1_def == current_var) { 16144 if (ssa_op->op2_use == current_var || 16388 if (ssa_op == ssa->ops [all …]
|
H A D | zend_jit_arm64.dasc | 11101 && (ssa_op+1)->op1_use == ssa_op->result_def 12384 && (ssa_op+1)->op1_use == ssa_op->result_def 14938 if (def_var == ssa_op->result_def && 14939 use_var == ssa_op->op1_use) { 15141 if (ssa_op->op1_def == current_var || 15152 if (ssa_op->op1_use == current_var) { 15171 if (ssa_op->op1_use == current_var || 15172 ssa_op->op1_def == current_var) { 15190 if (ssa_op->op2_use == current_var || 15191 ssa_op->op2_def == current_var || [all …]
|