Lines Matching refs:var
82 if (ssa->vars[var2].scc < 0 && dfs[root[var]] >= dfs[root[var2]]) { \
83 root[var] = root[var2]; \
90 if (ssa->vars[var2].scc != ssa->vars[var].scc) { \
172 static void zend_ssa_check_scc_var(const zend_op_array *op_array, zend_ssa *ssa, int var, int *inde… in zend_ssa_check_scc_var() argument
178 dfs[var] = *index; in zend_ssa_check_scc_var()
180 root[var] = var; in zend_ssa_check_scc_var()
182 FOR_EACH_VAR_USAGE(var, CHECK_SCC_VAR); in zend_ssa_check_scc_var()
186 p = ssa->vars[var].sym_use_chain; in zend_ssa_check_scc_var()
193 if (root[var] == var) { in zend_ssa_check_scc_var()
194 ssa->vars[var].scc = ssa->sccs; in zend_ssa_check_scc_var()
197 if (dfs[var2] <= dfs[var]) { in zend_ssa_check_scc_var()
205 zend_worklist_stack_push(stack, var); in zend_ssa_check_scc_var()
240 int var = j; in zend_ssa_find_sccs() local
244 FOR_EACH_VAR_USAGE(var, CHECK_SCC_ENTRY); in zend_ssa_find_sccs()
849 int zend_inference_calc_range(const zend_op_array *op_array, zend_ssa *ssa, int var, int widening, … in zend_inference_calc_range() argument
855 if (ssa->vars[var].definition_phi) { in zend_inference_calc_range()
856 zend_ssa_phi *p = ssa->vars[var].definition_phi; in zend_inference_calc_range()
978 } else if (ssa->vars[var].definition < 0) { in zend_inference_calc_range()
979 if (var < op_array->last_var && in zend_inference_calc_range()
990 line = ssa->vars[var].definition; in zend_inference_calc_range()
994 return zend_inference_propagate_range(op_array, ssa, opline, ssa_op, var, tmp); in zend_inference_calc_range()
997 …_array *op_array, zend_ssa *ssa, zend_op *opline, zend_ssa_op* ssa_op, int var, zend_ssa_range *tm… in zend_inference_propagate_range() argument
1012 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1019 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1036 if (ssa_op->op1_def == var) { in zend_inference_propagate_range()
1046 } else if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1064 if (ssa_op->op1_def == var) { in zend_inference_propagate_range()
1075 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1086 if (ssa_op->op1_def == var) { in zend_inference_propagate_range()
1099 if (ssa_op->op1_def == var || ssa_op->result_def == var) { in zend_inference_propagate_range()
1118 if (ssa_op->op1_def == var || ssa_op->result_def == var) { in zend_inference_propagate_range()
1137 if (ssa_op->op1_def == var || ssa_op->result_def == var) { in zend_inference_propagate_range()
1143 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1159 if (ssa_op->op1_def == var || ssa_op->result_def == var) { in zend_inference_propagate_range()
1165 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1182 if (ssa_op->op1_def == var) { in zend_inference_propagate_range()
1195 if (ssa_op->op1_def == var || ssa_op->op2_def == var || ssa_op->result_def == var) { in zend_inference_propagate_range()
1211 if ((ssa_op+1)->op1_def == var) { in zend_inference_propagate_range()
1226 if (ssa_op->op1_def == var || ssa_op->result_def == var) { in zend_inference_propagate_range()
1234 if (ssa_op->op1_def == var) { in zend_inference_propagate_range()
1254 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1270 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1296 if (ssa_op->result_def == var) { in zend_inference_propagate_range()
1345 void zend_inference_init_range(const zend_op_array *op_array, zend_ssa *ssa, int var, zend_bool und… in zend_inference_init_range() argument
1353 ssa->var_info[var].has_range = 1; in zend_inference_init_range()
1354 ssa->var_info[var].range.underflow = underflow; in zend_inference_init_range()
1355 ssa->var_info[var].range.min = min; in zend_inference_init_range()
1356 ssa->var_info[var].range.max = max; in zend_inference_init_range()
1357 ssa->var_info[var].range.overflow = overflow; in zend_inference_init_range()
1358 …LOG_SSA_RANGE(" change range (init SCC %2d) %2d [%s%ld..%ld%s]\n", ssa->vars[var].scc, var, … in zend_inference_init_range()
1389 static int zend_ssa_range_widening(const zend_op_array *op_array, zend_ssa *ssa, int var, int scc) in zend_ssa_range_widening() argument
1393 if (zend_inference_calc_range(op_array, ssa, var, 1, 0, &tmp)) { in zend_ssa_range_widening()
1394 if (zend_inference_widening_meet(&ssa->var_info[var], &tmp)) { in zend_ssa_range_widening()
1395 …LOG_SSA_RANGE(" change range (widening SCC %2d) %2d [%s%ld..%ld%s]\n", scc, var, (tmp.underflow?… in zend_ssa_range_widening()
1434 static int zend_ssa_range_narrowing(const zend_op_array *op_array, zend_ssa *ssa, int var, int scc) in zend_ssa_range_narrowing() argument
1438 if (zend_inference_calc_range(op_array, ssa, var, 0, 1, &tmp)) { in zend_ssa_range_narrowing()
1439 if (zend_inference_narrowing_meet(&ssa->var_info[var], &tmp)) { in zend_ssa_range_narrowing()
1440 …LOG_SSA_RANGE(" change range (narrowing SCC %2d) %2d [%s%ld..%ld%s]\n", scc, var, (tmp.underflow?… in zend_ssa_range_narrowing()
1450 if (ssa->vars[var2].scc == ssa->vars[var].scc && \
1458 …s(const zend_op_array *op_array, zend_ssa *ssa, zend_bitset worklist, zend_bitset visited, int var) in zend_check_inner_cycles() argument
1460 if (zend_bitset_in(worklist, var)) { in zend_check_inner_cycles()
1463 zend_bitset_incl(worklist, var); in zend_check_inner_cycles()
1464 FOR_EACH_VAR_USAGE(var, CHECK_INNER_CYCLE); in zend_check_inner_cycles()
1465 zend_bitset_incl(visited, var); in zend_check_inner_cycles()
1696 if (__ssa_var->var < op_array->last_var) { \
1727 #define UPDATE_SSA_OBJ_TYPE(_ce, _is_instanceof, var) \ argument
1729 if (var >= 0) { \
1730 if (ssa_var_info[var].ce != (_ce) || \
1731 ssa_var_info[var].is_instanceof != (_is_instanceof)) { \
1732 ssa_var_info[var].ce = (_ce); \
1733 ssa_var_info[var].is_instanceof = (_is_instanceof); \
1735 add_usages(op_array, ssa, worklist, var); \
1752 static void add_usages(const zend_op_array *op_array, zend_ssa *ssa, zend_bitset worklist, int var) in add_usages() argument
1754 if (ssa->vars[var].phi_use_chain) { in add_usages()
1755 zend_ssa_phi *p = ssa->vars[var].phi_use_chain; in add_usages()
1758 p = zend_ssa_next_use_phi(ssa, var, p); in add_usages()
1761 if (ssa->vars[var].use_chain >= 0) { in add_usages()
1762 int use = ssa->vars[var].use_chain; in add_usages()
1800 use = zend_ssa_next_use(ssa->ops, var, use); in add_usages()
1805 static void emit_type_narrowing_warning(const zend_op_array *op_array, zend_ssa *ssa, int var) in emit_type_narrowing_warning() argument
1807 int def_op_num = ssa->vars[var].definition; in emit_type_narrowing_warning()
3726 zend_ssa_var *var = &ssa->vars[var_num]; in can_convert_to_double() local
3736 for (use = var->use_chain; use >= 0; use = zend_ssa_next_use(ssa->ops, var_num, use)) { in can_convert_to_double()
3840 for (phi = var->phi_use_chain; phi; phi = zend_ssa_next_use_phi(ssa, var_num, phi)) { in can_convert_to_double()
