Lines Matching refs:ssa_var
409 int ssa_var, in zend_jit_trace_add_op_guard() argument
412 zend_ssa_var_info *info = &tssa->var_info[ssa_var]; in zend_jit_trace_add_op_guard()
415 if (UNEXPECTED(tssa->vars[ssa_var].alias != NO_ALIAS)) { in zend_jit_trace_add_op_guard()
741 phi->ssa_var = ssa_vars_count; in zend_jit_trace_add_phis()
778 phi->ssa_var = ssa_vars_count; in zend_jit_trace_add_call_phis()
810 phi->ssa_var = ssa_vars_count; in zend_jit_trace_add_ret_phis()
819 …op_array *op_array, const zend_ssa *ssa, const zend_op **tssa_opcodes, zend_ssa *tssa, int ssa_var) in zend_jit_trace_copy_ssa_var_info() argument
827 if (tssa->vars[ssa_var].phi_use_chain) { in zend_jit_trace_copy_ssa_var_info()
829 var = tssa->vars[ssa_var].phi_use_chain->ssa_var; in zend_jit_trace_copy_ssa_var_info()
831 var = ssa_var; in zend_jit_trace_copy_ssa_var_info()
853 tssa->vars[ssa_var].no_val = no_val; in zend_jit_trace_copy_ssa_var_info()
854 tssa->vars[ssa_var].alias = alias; in zend_jit_trace_copy_ssa_var_info()
855 memcpy(&tssa->var_info[ssa_var], info, sizeof(zend_ssa_var_info)); in zend_jit_trace_copy_ssa_var_info()
861 …ate_range(const zend_op_array *op_array, const zend_op **tssa_opcodes, zend_ssa *tssa, int ssa_var) in zend_jit_trace_propagate_range() argument
864 int def = tssa->vars[ssa_var].definition; in zend_jit_trace_propagate_range()
866 if (tssa->vars[ssa_var].alias == NO_ALIAS in zend_jit_trace_propagate_range()
867 …range(op_array, tssa, (zend_op*)tssa_opcodes[def], (zend_ssa_op*)&tssa->ops[def], ssa_var, &tmp)) { in zend_jit_trace_propagate_range()
868 tssa->var_info[ssa_var].range.min = tmp.min; in zend_jit_trace_propagate_range()
869 tssa->var_info[ssa_var].range.max = tmp.max; in zend_jit_trace_propagate_range()
870 tssa->var_info[ssa_var].range.underflow = tmp.underflow; in zend_jit_trace_propagate_range()
871 tssa->var_info[ssa_var].range.overflow = tmp.overflow; in zend_jit_trace_propagate_range()
872 tssa->var_info[ssa_var].has_range = 1; in zend_jit_trace_propagate_range()
876 …op_array *op_array, const zend_ssa *ssa, const zend_op **tssa_opcodes, zend_ssa *tssa, int ssa_var) in zend_jit_trace_copy_ssa_var_range() argument
884 def = tssa->vars[ssa_var].definition; in zend_jit_trace_copy_ssa_var_range()
888 if (tssa->ops[def].op1_def == ssa_var) { in zend_jit_trace_copy_ssa_var_range()
892 } else if (tssa->ops[def].op2_def == ssa_var) { in zend_jit_trace_copy_ssa_var_range()
896 } else if (tssa->ops[def].result_def == ssa_var) { in zend_jit_trace_copy_ssa_var_range()
905 tssa->vars[ssa_var].no_val = no_val; in zend_jit_trace_copy_ssa_var_range()
906 tssa->vars[ssa_var].alias = alias; in zend_jit_trace_copy_ssa_var_range()
909 zend_jit_trace_propagate_range(op_array, tssa_opcodes, tssa, ssa_var); in zend_jit_trace_copy_ssa_var_range()
913 if (tssa->var_info[ssa_var].has_range) { in zend_jit_trace_copy_ssa_var_range()
914 tssa->var_info[ssa_var].range.min = MAX(tssa->var_info[ssa_var].range.min, info->range.min); in zend_jit_trace_copy_ssa_var_range()
915 tssa->var_info[ssa_var].range.max = MIN(tssa->var_info[ssa_var].range.max, info->range.max); in zend_jit_trace_copy_ssa_var_range()
916 …tssa->var_info[ssa_var].range.underflow = tssa->var_info[ssa_var].range.underflow && info->range.u… in zend_jit_trace_copy_ssa_var_range()
917 …tssa->var_info[ssa_var].range.overflow = tssa->var_info[ssa_var].range.overflow && info->range.ove… in zend_jit_trace_copy_ssa_var_range()
919 tssa->var_info[ssa_var].has_range = 1; in zend_jit_trace_copy_ssa_var_range()
920 tssa->var_info[ssa_var].range = info->range; in zend_jit_trace_copy_ssa_var_range()
926 …op_array *op_array, const zend_ssa *ssa, const zend_op **tssa_opcodes, zend_ssa *tssa, int ssa_var) in zend_jit_trace_restrict_ssa_var_info() argument
932 def = tssa->vars[ssa_var].definition; in zend_jit_trace_restrict_ssa_var_info()
936 if (tssa->ops[def].op1_def == ssa_var) { in zend_jit_trace_restrict_ssa_var_info()
938 } else if (tssa->ops[def].op2_def == ssa_var) { in zend_jit_trace_restrict_ssa_var_info()
940 } else if (tssa->ops[def].result_def == ssa_var) { in zend_jit_trace_restrict_ssa_var_info()
946 tssa->var_info[ssa_var].type &= info->type; in zend_jit_trace_restrict_ssa_var_info()
948 if (tssa->var_info[ssa_var].ce) { in zend_jit_trace_restrict_ssa_var_info()
949 if (tssa->var_info[ssa_var].ce != info->ce) { in zend_jit_trace_restrict_ssa_var_info()
950 if (instanceof_function(tssa->var_info[ssa_var].ce, info->ce)) { in zend_jit_trace_restrict_ssa_var_info()
952 } else if (instanceof_function(info->ce, tssa->var_info[ssa_var].ce)) { in zend_jit_trace_restrict_ssa_var_info()
959 tssa->var_info[ssa_var].is_instanceof = in zend_jit_trace_restrict_ssa_var_info()
960 tssa->var_info[ssa_var].is_instanceof && info->is_instanceof; in zend_jit_trace_restrict_ssa_var_info()
962 tssa->var_info[ssa_var].ce = info->ce; in zend_jit_trace_restrict_ssa_var_info()
963 tssa->var_info[ssa_var].is_instanceof = info->is_instanceof; in zend_jit_trace_restrict_ssa_var_info()
967 if (tssa->var_info[ssa_var].has_range) { in zend_jit_trace_restrict_ssa_var_info()
968 tssa->var_info[ssa_var].range.min = MAX(tssa->var_info[ssa_var].range.min, info->range.min); in zend_jit_trace_restrict_ssa_var_info()
969 tssa->var_info[ssa_var].range.max = MIN(tssa->var_info[ssa_var].range.max, info->range.max); in zend_jit_trace_restrict_ssa_var_info()
970 …tssa->var_info[ssa_var].range.underflow = tssa->var_info[ssa_var].range.underflow && info->range.u… in zend_jit_trace_restrict_ssa_var_info()
971 …tssa->var_info[ssa_var].range.overflow = tssa->var_info[ssa_var].range.overflow && info->range.ove… in zend_jit_trace_restrict_ssa_var_info()
973 tssa->var_info[ssa_var].has_range = 1; in zend_jit_trace_restrict_ssa_var_info()
974 tssa->var_info[ssa_var].range = info->range; in zend_jit_trace_restrict_ssa_var_info()
1476 ssa_vars[phi->ssa_var].var = phi->var; in zend_jit_trace_build_tssa()
1477 ssa_vars[phi->ssa_var].definition_phi = phi; in zend_jit_trace_build_tssa()
1623 || !zend_jit_trace_copy_ssa_var_info(op_array, ssa, ssa_opcodes, tssa, phi->ssa_var)) { in zend_jit_trace_build_tssa()
1624 ssa_vars[phi->ssa_var].alias = ssa_vars[phi->sources[0]].alias; in zend_jit_trace_build_tssa()
1625 ssa_var_info[phi->ssa_var].type = ssa_var_info[phi->sources[0]].type; in zend_jit_trace_build_tssa()
2542 uint32_t t = ssa_var_info[phi->ssa_var].type; in zend_jit_trace_build_tssa()
2544 if ((t & MAY_BE_GUARD) && tssa->vars[phi->ssa_var].alias == NO_ALIAS) { in zend_jit_trace_build_tssa()
2550 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_GUARD; in zend_jit_trace_build_tssa()
2554 || is_checked_guard(tssa, ssa_opcodes, phi->sources[1], phi->ssa_var)) { in zend_jit_trace_build_tssa()
2555 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_GUARD; in zend_jit_trace_build_tssa()
2583 && is_checked_guard(tssa, ssa_opcodes, phi->sources[1], phi->ssa_var)) { in zend_jit_trace_build_tssa()
2594 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_GUARD; in zend_jit_trace_build_tssa()
2598 t = ssa_var_info[phi->ssa_var].type; in zend_jit_trace_build_tssa()
2601 if ((t & MAY_BE_PACKED_GUARD) && tssa->vars[phi->ssa_var].alias == NO_ALIAS) { in zend_jit_trace_build_tssa()
2607 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_PACKED_GUARD; in zend_jit_trace_build_tssa()
2611 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_PACKED_GUARD; in zend_jit_trace_build_tssa()
2795 SET_STACK_VAR(stack, phi->var, phi->ssa_var); in zend_jit_trace_allocate_registers()
2796 vars_op_array[phi->ssa_var] = op_array; in zend_jit_trace_allocate_registers()
2797 if (ssa->vars[phi->ssa_var].use_chain >= 0 in zend_jit_trace_allocate_registers()
2798 && ssa->vars[phi->ssa_var].alias == NO_ALIAS in zend_jit_trace_allocate_registers()
2799 && zend_jit_var_supports_reg(ssa, phi->ssa_var)) { in zend_jit_trace_allocate_registers()
2800 start[phi->ssa_var] = 0; in zend_jit_trace_allocate_registers()
3097 if (start[i] >= 0 && !ssa->vars[phi->ssa_var].no_val) { in zend_jit_trace_allocate_registers()
3149 list[j].ssa_var = i; in zend_jit_trace_allocate_registers()
3184 list[j].ssa_var = - 1; in zend_jit_trace_allocate_registers()
3205 if (intervals[phi->ssa_var]) { in zend_jit_trace_allocate_registers()
3208 (ssa->var_info[phi->ssa_var].type & MAY_BE_ANY)) { in zend_jit_trace_allocate_registers()
3209 intervals[phi->sources[1]]->hint = intervals[phi->ssa_var]; in zend_jit_trace_allocate_registers()
3325 zend_jit_dump_lifetime_interval(vars_op_array[ival->ssa_var], ssa, ival); in zend_jit_trace_allocate_registers()
3344 ival->list_next = intervals[ival->ssa_var]; in zend_jit_trace_allocate_registers()
3345 intervals[ival->ssa_var] = ival; in zend_jit_trace_allocate_registers()
3378 int def = phi->ssa_var; in zend_jit_trace_allocate_registers()
3403 intervals[use]->ssa_var = phi->sources[0]; in zend_jit_trace_allocate_registers()
3445 zend_jit_dump_lifetime_interval(vars_op_array[ival->ssa_var], ssa, ival); in zend_jit_trace_allocate_registers()
4144 && !(ssa->var_info[ssa->vars[i].phi_use_chain->ssa_var].type & MAY_BE_GUARD)))) { in zend_jit_trace()
4166 && !(ssa->var_info[ssa->vars[i].phi_use_chain->ssa_var].type & MAY_BE_PACKED_GUARD)))) { in zend_jit_trace()
4224 zend_lifetime_interval *ival = ra[phi->ssa_var]; in zend_jit_trace()
4228 uint32_t info = ssa->var_info[phi->ssa_var].type; in zend_jit_trace()
4236 ssa->var_info[phi->ssa_var].type = info; in zend_jit_trace()
4240 …if (!zend_jit_load_var(&dasm_state, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var,… in zend_jit_trace()
4247 …if (!zend_jit_store_var(&dasm_state, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var… in zend_jit_trace()
4248 STACK_MEM_TYPE(stack, phi->var) != ssa->var_info[phi->ssa_var].type)) { in zend_jit_trace()
6862 if (ra[phi->ssa_var] in zend_jit_trace()
6865 && (ra[phi->ssa_var]->flags & (ZREG_LOAD|ZREG_STORE)) == 0 in zend_jit_trace()
7423 zend_dump_ssa_var(op_array, tssa, p->ssa_var, 0, p->var, ZEND_DUMP_RC_INFERENCE); in zend_jit_dump_trace()
