Lines Matching refs:ssa_var_info
1876 if (ssa_var_info[__var].type != __type) { \
1877 if (ssa_var_info[__var].type & ~__type) { \
1879 __var, ssa_var_info[__var].type, __type); \
1882 ssa_var_info[__var].type = __type; \
1892 if (ssa_var_info[var].ce != (_ce) || \
1893 ssa_var_info[var].is_instanceof != (_is_instanceof)) { \
1894 ssa_var_info[var].ce = (_ce); \
1895 ssa_var_info[var].is_instanceof = (_is_instanceof); \
1903 if ((from_var) >= 0 && (ssa_var_info[(from_var)].type & MAY_BE_OBJECT) \
1904 && ssa_var_info[(from_var)].ce) { \
1905 UPDATE_SSA_OBJ_TYPE(ssa_var_info[(from_var)].ce, \
1906 ssa_var_info[(from_var)].is_instanceof, (to_var)); \
1957 zend_ssa_var_info *ssa_var_info = ssa->var_info; in reset_dependent_vars() local
1963 if (ssa_var_info[p->ssa_var].type) { in reset_dependent_vars()
1964 ssa_var_info[p->ssa_var].type = 0; in reset_dependent_vars()
1972 if (ssa_ops[use].op1_def >= 0 && ssa_var_info[ssa_ops[use].op1_def].type) { in reset_dependent_vars()
1973 ssa_var_info[ssa_ops[use].op1_def].type = 0; in reset_dependent_vars()
1977 if (ssa_ops[use].op2_def >= 0 && ssa_var_info[ssa_ops[use].op2_def].type) { in reset_dependent_vars()
1978 ssa_var_info[ssa_ops[use].op2_def].type = 0; in reset_dependent_vars()
1982 if (ssa_ops[use].result_def >= 0 && ssa_var_info[ssa_ops[use].result_def].type) { in reset_dependent_vars()
1983 ssa_var_info[ssa_ops[use].result_def].type = 0; in reset_dependent_vars()
1988 if (ssa_ops[use+1].op1_def >= 0 && ssa_var_info[ssa_ops[use+1].op1_def].type) { in reset_dependent_vars()
1989 ssa_var_info[ssa_ops[use+1].op1_def].type = 0; in reset_dependent_vars()
1993 if (ssa_ops[use+1].op2_def >= 0 && ssa_var_info[ssa_ops[use+1].op2_def].type) { in reset_dependent_vars()
1994 ssa_var_info[ssa_ops[use+1].op2_def].type = 0; in reset_dependent_vars()
1998 if (ssa_ops[use+1].result_def >= 0 && ssa_var_info[ssa_ops[use+1].result_def].type) { in reset_dependent_vars()
1999 ssa_var_info[ssa_ops[use+1].result_def].type = 0; in reset_dependent_vars()
2010 ssa_var_info[p->ssa_var].type = 0; in reset_dependent_vars()
2282 zend_ssa_var_info *ssa_var_info = ssa->var_info; in zend_update_type_info() local
2550 if (!ssa_var_info[ssa_ops[i].op1_use].has_range || in zend_update_type_info()
2552 (ssa_var_info[ssa_ops[i].op1_use].range.underflow || in zend_update_type_info()
2553 ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MIN)) || in zend_update_type_info()
2555 (ssa_var_info[ssa_ops[i].op1_use].range.overflow || in zend_update_type_info()
2556 ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) { in zend_update_type_info()
2612 if (!ssa_var_info[ssa_ops[i].op1_use].has_range || in zend_update_type_info()
2614 (ssa_var_info[ssa_ops[i].op1_use].range.underflow || in zend_update_type_info()
2615 ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MIN)) || in zend_update_type_info()
2617 (ssa_var_info[ssa_ops[i].op1_use].range.overflow || in zend_update_type_info()
2618 ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) { in zend_update_type_info()
2755 if (ssa_var_info[ssa_ops[i].op1_def].use_as_double) { in zend_update_type_info()
2982 …} else if ((t1 & MAY_BE_CLASS) && ssa_ops[i].op1_use >= 0 && ssa_var_info[ssa_ops[i].op1_use].ce) { in zend_update_type_info()
2983 …UPDATE_SSA_OBJ_TYPE(ssa_var_info[ssa_ops[i].op1_use].ce, ssa_var_info[ssa_ops[i].op1_use].is_insta… in zend_update_type_info()
3028 tmp |= ssa_var_info[ssa_ops[i].result_use].type; in zend_update_type_info()
3481 zend_ssa_var_info *ssa_var_info = ssa->var_info; in zend_infer_types_ex() local
3492 zend_class_entry *ce = ssa_var_info[p->sources[0]].ce; in zend_infer_types_ex()
3493 int is_instanceof = ssa_var_info[p->sources[0]].is_instanceof; in zend_infer_types_ex()
3528 info = &ssa_var_info[p->sources[i]]; in zend_infer_types_ex()
4012 zend_ssa_var_info *ssa_var_info = ssa->var_info; in zend_infer_types() local
4024 ssa_var_info[j].type = 0; in zend_infer_types()
4045 zend_ssa_var_info *ssa_var_info; in zend_ssa_inference() local
4051 ssa_var_info = ssa->var_info; in zend_ssa_inference()
4055 …ssa_var_info[i].type = MAY_BE_UNDEF | MAY_BE_RC1 | MAY_BE_RCN | MAY_BE_REF | MAY_BE_ANY | MAY_BE_… in zend_ssa_inference()
4056 ssa_var_info[i].has_range = 0; in zend_ssa_inference()
4060 ssa_var_info[i].type = MAY_BE_UNDEF; in zend_ssa_inference()
4061 ssa_var_info[i].has_range = 0; in zend_ssa_inference()
4063 ssa_var_info[i].type |= get_ssa_alias_types(ssa->vars[i].alias); in zend_ssa_inference()
4068 ssa_var_info[i].type = 0; in zend_ssa_inference()
4069 ssa_var_info[i].has_range = 0; in zend_ssa_inference()