Lines Matching refs:ssa_var
378 int ssa_var, in zend_jit_trace_add_op_guard() argument
381 zend_ssa_var_info *info = &tssa->var_info[ssa_var]; in zend_jit_trace_add_op_guard()
384 if (UNEXPECTED(tssa->vars[ssa_var].alias != NO_ALIAS)) { in zend_jit_trace_add_op_guard()
711 phi->ssa_var = ssa_vars_count; in zend_jit_trace_add_phis()
748 phi->ssa_var = ssa_vars_count; in zend_jit_trace_add_call_phis()
780 phi->ssa_var = ssa_vars_count; in zend_jit_trace_add_ret_phis()
812 int ssa_var, in zend_jit_trace_copy_ssa_var_info() argument
818 if (tssa->vars[ssa_var].definition_phi) { in zend_jit_trace_copy_ssa_var_info()
827 var = tssa->vars[ssa_var].var; in zend_jit_trace_copy_ssa_var_info()
829 if (ssa->vars[phi->ssa_var].var == var) { in zend_jit_trace_copy_ssa_var_info()
833 src = phi->ssa_var; in zend_jit_trace_copy_ssa_var_info()
840 src = pi->ssa_var; in zend_jit_trace_copy_ssa_var_info()
867 if (ssa->vars[phi->ssa_var].var == var) { in zend_jit_trace_copy_ssa_var_info()
871 src = phi->ssa_var; in zend_jit_trace_copy_ssa_var_info()
878 src = pi->ssa_var; in zend_jit_trace_copy_ssa_var_info()
884 } else if (tssa->vars[ssa_var].definition >= 0) { in zend_jit_trace_copy_ssa_var_info()
885 def = tssa->vars[ssa_var].definition; in zend_jit_trace_copy_ssa_var_info()
888 if (tssa->ops[def].op1_def == ssa_var) { in zend_jit_trace_copy_ssa_var_info()
890 } else if (tssa->ops[def].op2_def == ssa_var) { in zend_jit_trace_copy_ssa_var_info()
892 } else if (tssa->ops[def].result_def == ssa_var) { in zend_jit_trace_copy_ssa_var_info()
901 if (tssa->vars[ssa_var].phi_use_chain) { in zend_jit_trace_copy_ssa_var_info()
903 var = tssa->vars[ssa_var].phi_use_chain->ssa_var; in zend_jit_trace_copy_ssa_var_info()
905 var = ssa_var; in zend_jit_trace_copy_ssa_var_info()
923 var = tssa->vars[ssa_var].var; in zend_jit_trace_copy_ssa_var_info()
947 if (ssa->vars[phi->ssa_var].var == var) { in zend_jit_trace_copy_ssa_var_info()
951 src = phi->ssa_var; in zend_jit_trace_copy_ssa_var_info()
958 src = pi->ssa_var; in zend_jit_trace_copy_ssa_var_info()
974 tssa->vars[ssa_var].no_val = ssa->vars[src].no_val; in zend_jit_trace_copy_ssa_var_info()
975 tssa->vars[ssa_var].alias = ssa->vars[src].alias; in zend_jit_trace_copy_ssa_var_info()
976 memcpy(&tssa->var_info[ssa_var], &ssa->var_info[src], sizeof(zend_ssa_var_info)); in zend_jit_trace_copy_ssa_var_info()
980 …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
983 int def = tssa->vars[ssa_var].definition; in zend_jit_trace_propagate_range()
985 if (tssa->vars[ssa_var].alias == NO_ALIAS in zend_jit_trace_propagate_range()
986 …&& zend_inference_propagate_range(op_array, tssa, tssa_opcodes[def], &tssa->ops[def], ssa_var, &tm… in zend_jit_trace_propagate_range()
987 tssa->var_info[ssa_var].range.min = tmp.min; in zend_jit_trace_propagate_range()
988 tssa->var_info[ssa_var].range.max = tmp.max; in zend_jit_trace_propagate_range()
989 tssa->var_info[ssa_var].range.underflow = tmp.underflow; in zend_jit_trace_propagate_range()
990 tssa->var_info[ssa_var].range.overflow = tmp.overflow; in zend_jit_trace_propagate_range()
991 tssa->var_info[ssa_var].has_range = 1; in zend_jit_trace_propagate_range()
995 …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
1003 def = tssa->vars[ssa_var].definition; in zend_jit_trace_copy_ssa_var_range()
1007 if (tssa->ops[def].op1_def == ssa_var) { in zend_jit_trace_copy_ssa_var_range()
1011 } else if (tssa->ops[def].op2_def == ssa_var) { in zend_jit_trace_copy_ssa_var_range()
1015 } else if (tssa->ops[def].result_def == ssa_var) { in zend_jit_trace_copy_ssa_var_range()
1024 tssa->vars[ssa_var].no_val = no_val; in zend_jit_trace_copy_ssa_var_range()
1025 tssa->vars[ssa_var].alias = alias; in zend_jit_trace_copy_ssa_var_range()
1028 zend_jit_trace_propagate_range(op_array, tssa_opcodes, tssa, ssa_var); in zend_jit_trace_copy_ssa_var_range()
1032 if (tssa->var_info[ssa_var].has_range) { in zend_jit_trace_copy_ssa_var_range()
1033 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()
1034 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()
1035 …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()
1036 …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()
1038 tssa->var_info[ssa_var].has_range = 1; in zend_jit_trace_copy_ssa_var_range()
1039 tssa->var_info[ssa_var].range = info->range; in zend_jit_trace_copy_ssa_var_range()
1045 …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
1051 def = tssa->vars[ssa_var].definition; in zend_jit_trace_restrict_ssa_var_info()
1055 if (tssa->ops[def].op1_def == ssa_var) { in zend_jit_trace_restrict_ssa_var_info()
1057 } else if (tssa->ops[def].op2_def == ssa_var) { in zend_jit_trace_restrict_ssa_var_info()
1059 } else if (tssa->ops[def].result_def == ssa_var) { in zend_jit_trace_restrict_ssa_var_info()
1065 tssa->var_info[ssa_var].type &= info->type; in zend_jit_trace_restrict_ssa_var_info()
1067 if (tssa->var_info[ssa_var].ce) { in zend_jit_trace_restrict_ssa_var_info()
1068 if (tssa->var_info[ssa_var].ce != info->ce) { in zend_jit_trace_restrict_ssa_var_info()
1069 if (instanceof_function(tssa->var_info[ssa_var].ce, info->ce)) { in zend_jit_trace_restrict_ssa_var_info()
1071 } else if (instanceof_function(info->ce, tssa->var_info[ssa_var].ce)) { in zend_jit_trace_restrict_ssa_var_info()
1078 tssa->var_info[ssa_var].is_instanceof = in zend_jit_trace_restrict_ssa_var_info()
1079 tssa->var_info[ssa_var].is_instanceof && info->is_instanceof; in zend_jit_trace_restrict_ssa_var_info()
1081 tssa->var_info[ssa_var].ce = info->ce; in zend_jit_trace_restrict_ssa_var_info()
1082 tssa->var_info[ssa_var].is_instanceof = info->is_instanceof; in zend_jit_trace_restrict_ssa_var_info()
1086 if (tssa->var_info[ssa_var].has_range) { in zend_jit_trace_restrict_ssa_var_info()
1087 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()
1088 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()
1089 …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()
1090 …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()
1092 tssa->var_info[ssa_var].has_range = 1; in zend_jit_trace_restrict_ssa_var_info()
1093 tssa->var_info[ssa_var].range = info->range; in zend_jit_trace_restrict_ssa_var_info()
1600 ssa_vars[phi->ssa_var].var = phi->var; in zend_jit_trace_build_tssa()
1601 ssa_vars[phi->ssa_var].definition_phi = phi; in zend_jit_trace_build_tssa()
1748 || !zend_jit_trace_copy_ssa_var_info(op_array, ssa, ssa_opcodes, tssa, phi->ssa_var, NULL)) { in zend_jit_trace_build_tssa()
1749 ssa_vars[phi->ssa_var].alias = ssa_vars[phi->sources[0]].alias; in zend_jit_trace_build_tssa()
1750 ssa_var_info[phi->ssa_var].type = ssa_var_info[phi->sources[0]].type; in zend_jit_trace_build_tssa()
2664 uint32_t t = ssa_var_info[phi->ssa_var].type; in zend_jit_trace_build_tssa()
2666 if ((t & MAY_BE_GUARD) && tssa->vars[phi->ssa_var].alias == NO_ALIAS) { in zend_jit_trace_build_tssa()
2672 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_GUARD; in zend_jit_trace_build_tssa()
2676 || is_checked_guard(tssa, ssa_opcodes, phi->sources[1], phi->ssa_var)) { in zend_jit_trace_build_tssa()
2677 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_GUARD; in zend_jit_trace_build_tssa()
2705 && is_checked_guard(tssa, ssa_opcodes, phi->sources[1], phi->ssa_var)) { in zend_jit_trace_build_tssa()
2716 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_GUARD; in zend_jit_trace_build_tssa()
2720 t = ssa_var_info[phi->ssa_var].type; in zend_jit_trace_build_tssa()
2723 if ((t & MAY_BE_PACKED_GUARD) && tssa->vars[phi->ssa_var].alias == NO_ALIAS) { in zend_jit_trace_build_tssa()
2729 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_PACKED_GUARD; in zend_jit_trace_build_tssa()
2733 ssa_var_info[phi->ssa_var].type = t & ~MAY_BE_PACKED_GUARD; in zend_jit_trace_build_tssa()
2902 SET_STACK_VAR(stack, phi->var, phi->ssa_var); in zend_jit_trace_allocate_registers()
2903 vars_op_array[phi->ssa_var] = op_array; in zend_jit_trace_allocate_registers()
2904 if (ssa->vars[phi->ssa_var].use_chain >= 0 in zend_jit_trace_allocate_registers()
2905 && ssa->vars[phi->ssa_var].alias == NO_ALIAS in zend_jit_trace_allocate_registers()
2906 && zend_jit_var_supports_reg(ssa, phi->ssa_var)) { in zend_jit_trace_allocate_registers()
2907 RA_IVAL_START(phi->ssa_var, 0); in zend_jit_trace_allocate_registers()
3228 if (RA_HAS_IVAL(i) && !ssa->vars[phi->ssa_var].no_val) { in zend_jit_trace_allocate_registers()
3270 int def = phi->ssa_var; in zend_jit_trace_allocate_registers()
3914 int ssa_var, j, b = ssa->cfg.map[opline_num]; in zend_jit_find_ssa_var() local
3923 ssa_var = ssa_op->result_def; in zend_jit_find_ssa_var()
3924 if (ssa_var >= 0 && ssa->vars[ssa_var].var == var_num) { in zend_jit_find_ssa_var()
3925 return ssa_var; in zend_jit_find_ssa_var()
3927 ssa_var = ssa_op->op2_def; in zend_jit_find_ssa_var()
3928 if (ssa_var >= 0 && ssa->vars[ssa_var].var == var_num) { in zend_jit_find_ssa_var()
3929 return ssa_var; in zend_jit_find_ssa_var()
3931 ssa_var = ssa_op->op1_def; in zend_jit_find_ssa_var()
3932 if (ssa_var >= 0 && ssa->vars[ssa_var].var == var_num) { in zend_jit_find_ssa_var()
3933 return ssa_var; in zend_jit_find_ssa_var()
3941 ssa_var = -1; in zend_jit_find_ssa_var()
3944 ssa_var = phi->ssa_var; in zend_jit_find_ssa_var()
3948 if (ssa_var >= 0) { in zend_jit_find_ssa_var()
3949 return ssa_var; in zend_jit_find_ssa_var()
3970 ssa_var = ssa_op->result_def; in zend_jit_find_ssa_var()
3971 if (ssa_var >= 0 && ssa->vars[ssa_var].var == var_num) { in zend_jit_find_ssa_var()
3974 ssa_var = ssa_op->op2_def; in zend_jit_find_ssa_var()
3975 if (ssa_var >= 0 && ssa->vars[ssa_var].var == var_num) { in zend_jit_find_ssa_var()
3978 ssa_var = ssa_op->op1_def; in zend_jit_find_ssa_var()
3979 if (ssa_var >= 0 && ssa->vars[ssa_var].var == var_num) { in zend_jit_find_ssa_var()
3989 ssa_var = -1; in zend_jit_find_ssa_var()
3992 ssa_var = phi->ssa_var; in zend_jit_find_ssa_var()
3996 if (ssa_var >= 0) { in zend_jit_find_ssa_var()
4004 ssa_var = -1; in zend_jit_find_ssa_var()
4008 return ssa_var; in zend_jit_find_ssa_var()
4018 int ssa_var = zend_jit_find_ssa_var(op_array, ssa, opline_num, var_num); in zend_jit_trace_must_store_type() local
4020 if (ssa_var >= 0) { in zend_jit_trace_must_store_type()
4021 if ((ssa->var_info[ssa_var].type & (MAY_BE_ANY|MAY_BE_UNDEF)) != (1U << type)) { in zend_jit_trace_must_store_type()
4211 && !(ssa->var_info[ssa->vars[i].phi_use_chain->ssa_var].type & MAY_BE_GUARD)))) { in zend_jit_trace()
4233 && !(ssa->var_info[ssa->vars[i].phi_use_chain->ssa_var].type & MAY_BE_PACKED_GUARD)))) { in zend_jit_trace()
4299 if (RA_HAS_REG(phi->ssa_var) in zend_jit_trace()
4300 && !(RA_REG_FLAGS(phi->ssa_var) & ZREG_LOAD)) { in zend_jit_trace()
4302 SET_STACK_REF(stack, phi->var, ra[phi->ssa_var].ref); in zend_jit_trace()
4309 if (RA_HAS_REG(phi->ssa_var)) { in zend_jit_trace()
4310 if (RA_REG_FLAGS(phi->ssa_var) & ZREG_LOAD) { in zend_jit_trace()
4311 uint32_t info = ssa->var_info[phi->ssa_var].type; in zend_jit_trace()
4318 ssa->var_info[phi->ssa_var].type = info; in zend_jit_trace()
4321 …if (!zend_jit_load_var(&ctx, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var, phi->s… in zend_jit_trace()
4324 SET_STACK_REF_EX(stack, phi->var, ra[phi->ssa_var].ref, ZREG_LOAD); in zend_jit_trace()
4325 } else if (RA_REG_FLAGS(phi->ssa_var) & ZREG_STORE) { in zend_jit_trace()
4327 …f (!zend_jit_store_var(&ctx, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var, phi->s… in zend_jit_trace()
4328 STACK_MEM_TYPE(stack, phi->var) != ssa->var_info[phi->ssa_var].type)) { in zend_jit_trace()
4331 SET_STACK_REF_EX(stack, phi->var, ra[phi->ssa_var].ref, ZREG_STORE); in zend_jit_trace()
4334 SET_STACK_REF(stack, phi->var, ra[phi->ssa_var].ref); in zend_jit_trace()
7116 if (!RA_HAS_REG(phi->ssa_var) in zend_jit_trace()
7117 || (RA_REG_FLAGS(phi->ssa_var) & (ZREG_LOAD|ZREG_STORE)) == 0) { in zend_jit_trace()
7749 zend_dump_ssa_var(op_array, tssa, p->ssa_var, 0, p->var, ZEND_DUMP_RC_INFERENCE); in zend_jit_dump_trace()
