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()
1006 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1013 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1030 if (ssa->ops[line].op1_def == var) { in zend_inference_calc_range()
1040 } else if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1073 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1088 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1103 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1132 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1153 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1173 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1191 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1211 if (ssa->ops[line].op1_def == var) { in zend_inference_calc_range()
1222 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1233 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1240 if (ssa->ops[line].op1_def == var) { in zend_inference_calc_range()
1253 if (ssa->ops[line].op1_def == var || ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1272 if (ssa->ops[line].op1_def == var || ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1291 if (ssa->ops[line].op1_def == var || ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1297 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1313 if (ssa->ops[line].op1_def == var || ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1319 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1336 if (ssa->ops[line].op1_def == var) { in zend_inference_calc_range()
1349 …if (ssa->ops[line].op1_def == var || ssa->ops[line].op2_def == var || ssa->ops[line].result_def ==… in zend_inference_calc_range()
1361 if (ssa->ops[line+1].op1_def == var) { in zend_inference_calc_range()
1383 if (ssa->ops[line].op1_def == var || ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1389 if (ssa->ops[line+1].op1_def == var) { in zend_inference_calc_range()
1408 if (ssa->ops[line].op1_def == var) { in zend_inference_calc_range()
1422 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1449 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1475 if (ssa->ops[line].result_def == var) { in zend_inference_calc_range()
1524 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
1532 ssa->var_info[var].has_range = 1; in zend_inference_init_range()
1533 ssa->var_info[var].range.underflow = underflow; in zend_inference_init_range()
1534 ssa->var_info[var].range.min = min; in zend_inference_init_range()
1535 ssa->var_info[var].range.max = max; in zend_inference_init_range()
1536 ssa->var_info[var].range.overflow = overflow; in zend_inference_init_range()
1537 …LOG_SSA_RANGE(" change range (init SCC %2d) %2d [%s%ld..%ld%s]\n", ssa->vars[var].scc, var, … in zend_inference_init_range()
1568 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
1572 if (zend_inference_calc_range(op_array, ssa, var, 1, 0, &tmp)) { in zend_ssa_range_widening()
1573 if (zend_inference_widening_meet(&ssa->var_info[var], &tmp)) { in zend_ssa_range_widening()
1574 …LOG_SSA_RANGE(" change range (widening SCC %2d) %2d [%s%ld..%ld%s]\n", scc, var, (tmp.underflow?… in zend_ssa_range_widening()
1613 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
1617 if (zend_inference_calc_range(op_array, ssa, var, 0, 1, &tmp)) { in zend_ssa_range_narrowing()
1618 if (zend_inference_narrowing_meet(&ssa->var_info[var], &tmp)) { in zend_ssa_range_narrowing()
1619 …LOG_SSA_RANGE(" change range (narrowing SCC %2d) %2d [%s%ld..%ld%s]\n", scc, var, (tmp.underflow?… in zend_ssa_range_narrowing()
1629 if (ssa->vars[var2].scc == ssa->vars[var].scc && \
1637 …s(const zend_op_array *op_array, zend_ssa *ssa, zend_bitset worklist, zend_bitset visited, int var) in zend_check_inner_cycles() argument
1639 if (zend_bitset_in(worklist, var)) { in zend_check_inner_cycles()
1642 zend_bitset_incl(worklist, var); in zend_check_inner_cycles()
1643 FOR_EACH_VAR_USAGE(var, CHECK_INNER_CYCLE); in zend_check_inner_cycles()
1644 zend_bitset_incl(visited, var); in zend_check_inner_cycles()
1877 if (__ssa_var->var < op_array->last_var) { \
1902 #define UPDATE_SSA_OBJ_TYPE(_ce, _is_instanceof, var) \ argument
1904 if (var >= 0) { \
1905 if (ssa_var_info[var].ce != (_ce) || \
1906 ssa_var_info[var].is_instanceof != (_is_instanceof)) { \
1907 ssa_var_info[var].ce = (_ce); \
1908 ssa_var_info[var].is_instanceof = (_is_instanceof); \
1909 add_usages(op_array, ssa, worklist, var); \
1925 static void add_usages(const zend_op_array *op_array, zend_ssa *ssa, zend_bitset worklist, int var) in add_usages() argument
1927 if (ssa->vars[var].phi_use_chain) { in add_usages()
1928 zend_ssa_phi *p = ssa->vars[var].phi_use_chain; in add_usages()
1931 p = zend_ssa_next_use_phi(ssa, var, p); in add_usages()
1934 if (ssa->vars[var].use_chain >= 0) { in add_usages()
1935 int use = ssa->vars[var].use_chain; in add_usages()
1961 use = zend_ssa_next_use(ssa->ops, var, use); in add_usages()
1966 …d reset_dependent_vars(const zend_op_array *op_array, zend_ssa *ssa, zend_bitset worklist, int var) in reset_dependent_vars() argument
1974 p = ssa_vars[var].phi_use_chain; in reset_dependent_vars()
1981 p = zend_ssa_next_use_phi(ssa, var, p); in reset_dependent_vars()
1983 use = ssa_vars[var].use_chain; in reset_dependent_vars()
2017 use = zend_ssa_next_use(ssa_ops, var, use); in reset_dependent_vars()
2021 p = ssa->vars[var].sym_use_chain; in reset_dependent_vars()
2031 …ng(const zend_op_array *op_array, zend_ssa *ssa, zend_bitset worklist, int var, uint32_t old_type,… in handle_type_narrowing() argument
2035 int def_op_num = ssa->vars[var].definition; in handle_type_narrowing()
2045 reset_dependent_vars(op_array, ssa, worklist, var); in handle_type_narrowing()
3654 zend_ssa_var *var = &ssa->vars[var_num]; in can_convert_to_double() local
3664 for (use = var->use_chain; use >= 0; use = zend_ssa_next_use(ssa->ops, var_num, use)) { in can_convert_to_double()
3762 for (phi = var->phi_use_chain; phi; phi = zend_ssa_next_use_phi(ssa, var_num, phi)) { in can_convert_to_double()
