/PHP-8.3/Zend/Optimizer/ |
H A D | zend_ssa.h | 181 ssa_op->op1_def = -1; in zend_ssa_remove_op1_def() 188 ssa_op->op2_def = -1; in zend_ssa_remove_op2_def() 195 ssa_op += use; in END_EXTERN_C() 226 return ssa_op->op1_use == var && ssa_op->op2_use != var; in zend_ssa_is_no_val_use() 229 return ssa_op->op2_use == var && ssa_op->op1_use != var; in zend_ssa_is_no_val_use() 234 return ssa_op->op1_use != var && ssa_op->op2_use != var; in zend_ssa_is_no_val_use() 243 zend_ssa_rename_var_uses(ssa, ssa_op->op1_def, ssa_op->op1_use, 1); in zend_ssa_rename_defs_of_instr() 246 ssa_op->op1_def = -1; in zend_ssa_rename_defs_of_instr() 250 zend_ssa_rename_var_uses(ssa, ssa_op->op2_def, ssa_op->op2_use, 1); in zend_ssa_rename_defs_of_instr() 253 ssa_op->op2_def = -1; in zend_ssa_rename_defs_of_instr() [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 | zend_inference.h | 48 ssa_op->opN##_use >= 0 && \ 49 ssa->var_info[ssa_op->opN##_use].has_range); \ 64 ssa_op->opN##_use >= 0 && \ 65 ssa->var_info[ssa_op->opN##_use].has_range) { \ 66 return ssa->var_info[ssa_op->opN##_use].range.min; \ 81 ssa_op->opN##_use >= 0 && \ 82 ssa->var_info[ssa_op->opN##_use].has_range) { \ 98 ssa_op->opN##_use >= 0 && \ 99 ssa->var_info[ssa_op->opN##_use].has_range) { \ 115 ssa_op->opN##_use >= 0 && \ [all …]
|
H A D | dce.c | 181 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def)) { 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() 218 if (is_bad_mod(ssa, ssa_op->op1_use, ssa_op->op1_def) 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() 293 if (!zend_ssa_is_no_val_use(opline, ssa_op, ssa_op->op1_use) 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() 423 if (!try_remove_var_def(ctx, ssa_op->op1_use, ssa_op->op1_use_chain, opline)) { in dce_instr() 502 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() 2986 COPY_SSA_OBJ_TYPE(ssa_op->op1_use, ssa_op->op1_def); in _zend_update_type_info() 3015 ssa_op++; in _zend_update_type_info() 3029 COPY_SSA_OBJ_TYPE(ssa_op->op1_use, ssa_op->op1_def); in _zend_update_type_info() 3042 ssa_op++; in _zend_update_type_info() 3057 ssa_op++; in _zend_update_type_info() [all …]
|
H A D | sccp.c | 294 if (ssa_op->op1_use == var && can_replace_op1(ctx->scdf.op_array, opline, ssa_op)) { in try_replace_op1() 1223 ssa_op++; in sccp_visit_instr() 1657 if (ssa_op->result_def < 0 || IS_BOT(&ctx->values[ssa_op->result_def])) { in sccp_visit_instr() 2092 if (ssa_op->op1_def >= 0 || ssa_op->op2_def >= 0) { in try_remove_definition() 2215 if ((ssa_op->op2_use >= 0 && !value_known(&ctx->values[ssa_op->op2_use])) in try_remove_definition() 2224 if (ssa_op->op2_use >= 0 && !value_known(&ctx->values[ssa_op->op2_use])) { in try_remove_definition() 2259 if (ssa_op->op2_use != ssa_op->op1_use) { in try_remove_definition() 2293 zend_ssa_rename_var_uses(ssa, ssa_op->op1_def, ssa_op->op1_use, 1); in try_remove_definition() 2351 if (ssa_op->op1_use != ssa_op->op2_use) { in replace_constant_operands() 2354 ssa_op->op2_use_chain = ssa_op->op1_use_chain; in replace_constant_operands() [all …]
|
H A D | zend_ssa.c | 1255 zend_ssa_unlink_use_chain(ssa, ssa_op - ssa->ops, ssa_op->result_use); in zend_ssa_remove_instr() 1260 if (ssa_op->op1_use != ssa_op->op2_use) { in zend_ssa_remove_instr() 1261 zend_ssa_unlink_use_chain(ssa, ssa_op - ssa->ops, ssa_op->op1_use); in zend_ssa_remove_instr() 1263 ssa_op->op2_use_chain = ssa_op->op1_use_chain; in zend_ssa_remove_instr() 1265 ssa_op->op1_use = -1; in zend_ssa_remove_instr() 1269 zend_ssa_unlink_use_chain(ssa, ssa_op - ssa->ops, ssa_op->op2_use); in zend_ssa_remove_instr() 1270 ssa_op->op2_use = -1; in zend_ssa_remove_instr() 1410 ssa_op->op1_use = -1; in zend_ssa_remove_uses_of_var() 1590 ssa_op->res_use_chain = ssa_op->op1_use_chain; in zend_ssa_rename_var_uses() 1596 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() 197 } else if (ssa_op->op1_def == var) { in is_allocation_def() 273 zend_ssa_op *ssa_op = ssa->ops + use; in is_escape_use() local 276 if (ssa_op->op1_use == var) { in is_escape_use() 331 ssa_op--; in is_escape_use() 334 || (ssa_op->op1_def >= 0 && ssa->vars[ssa_op->op1_def].alias)) { in is_escape_use() 345 if (ssa_op->op2_use == var) { in is_escape_use() 350 || (ssa_op->op1_def >= 0 && ssa->vars[ssa_op->op1_def].alias)) { in is_escape_use() 366 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() 755 zend_ssa_op *ssa_op; in zend_dfa_optimize_jmps() local 769 ssa_op = ssa->ops + op_num; in zend_dfa_optimize_jmps() 1090 zend_ssa_op *ssa_op; in zend_dfa_optimize_op_array() local [all …]
|
H A D | zend_dump.c | 448 if (!ssa_op || ssa_op->result_use < 0) { in zend_dump_op() 450 if (ssa_op && ssa_op->result_def >= 0) { in zend_dump_op() 620 if (ssa_op) { in zend_dump_op() 625 } else if (ssa_op->op1_def < 0) { in zend_dump_op() 633 if (ssa_op) { in zend_dump_op() 681 if (ssa_op) { in zend_dump_op() 694 if (ssa_op) { in zend_dump_op() 731 } else if (ssa_op && ssa_op->result_use >= 0) { in zend_dump_op() 733 if (ssa_op) { in zend_dump_op() 743 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 | 37 …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 | 1245 zend_ssa_op *ssa_op = &ssa->ops[opline - op_array->opcodes]; in zend_redo_pass_two_ex() local 1395 zend_ssa_op *ssa_op = &func_info->ssa.ops[def_opline - op_array->opcodes]; in needs_live_range() local 1396 int ssa_var = ssa_op->result_def; in needs_live_range()
|
/PHP-8.3/ext/opcache/jit/ |
H A D | zend_jit_trace.c | 2865 && ssa_op->op2_use != ssa_op->op1_use in zend_jit_trace_allocate_registers() 2880 && ssa_op->result_use != ssa_op->op1_use in zend_jit_trace_allocate_registers() 2881 && ssa_op->result_use != ssa_op->op2_use in zend_jit_trace_allocate_registers() 2961 ssa_op++; in zend_jit_trace_allocate_registers() 2990 ssa_op++; in zend_jit_trace_allocate_registers() 3871 if ((ssa_op-1)->op1_def == ssa_op->op2_use) { in zend_jit_may_skip_comparison() 3872 ssa_op--; in zend_jit_may_skip_comparison() 3882 ssa_op--; in zend_jit_may_skip_comparison() 3896 if ((ssa_op-1)->op1_def == ssa_op->op1_use) { in zend_jit_may_skip_comparison() 3897 ssa_op--; in zend_jit_may_skip_comparison() [all …]
|
H A D | zend_jit.c | 338 ssa_op++; in zend_jit_needs_call_chain() 406 ssa_op++; in zend_jit_needs_call_chain() 467 ssa_op++; in zend_jit_needs_call_chain() 481 ssa_op++; in zend_jit_needs_call_chain() 507 ssa_op++; in zend_jit_needs_call_chain() 1145 res = ssa_op->op1_def; in zend_may_overflow() 1160 res = ssa_op->op1_def; in zend_may_overflow() 1174 res = ssa_op->result_def; in zend_may_overflow() 1235 res = ssa_op->op1_def; in zend_may_overflow() 1262 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 | 11861 && (ssa_op+1)->op1_use == ssa_op->result_def 13211 && (ssa_op+1)->op1_use == ssa_op->result_def 15926 if (def_var == ssa_op->result_def && 15927 use_var == ssa_op->op1_use) { 16144 if (ssa_op->op1_def == current_var || 16155 if (ssa_op->op1_use == current_var) { 16174 if (ssa_op->op1_use == current_var || 16175 ssa_op->op1_def == current_var) { 16193 if (ssa_op->op2_use == current_var || 16437 if (ssa_op == ssa->ops [all …]
|
H A D | zend_jit_arm64.dasc | 11127 && (ssa_op+1)->op1_use == ssa_op->result_def 12429 && (ssa_op+1)->op1_use == ssa_op->result_def 14983 if (def_var == ssa_op->result_def && 14984 use_var == ssa_op->op1_use) { 15186 if (ssa_op->op1_def == current_var || 15197 if (ssa_op->op1_use == current_var) { 15216 if (ssa_op->op1_use == current_var || 15217 ssa_op->op1_def == current_var) { 15235 if (ssa_op->op2_use == current_var || 15236 ssa_op->op2_def == current_var || [all …]
|