Lines Matching refs:range
864 zend_ssa_range_constraint *constraint = &p->constraint.range; in zend_inference_calc_range()
867 *tmp = ssa->var_info[p->sources[0]].range; in zend_inference_calc_range()
882 ssa->var_info[p->ssa_var].range.min, in zend_inference_calc_range()
883 ssa->var_info[p->ssa_var].range.max, in zend_inference_calc_range()
887 tmp->max >= constraint->range.min) { in zend_inference_calc_range()
889 tmp->max = constraint->range.min - 1; in zend_inference_calc_range()
892 tmp->min <= constraint->range.max) { in zend_inference_calc_range()
894 tmp->min = constraint->range.max + 1; in zend_inference_calc_range()
901 *tmp = ssa->var_info[p->sources[0]].range; in zend_inference_calc_range()
903 tmp->underflow = constraint->range.underflow && tmp->underflow; in zend_inference_calc_range()
904 tmp->min = MAX(constraint->range.min, tmp->min); in zend_inference_calc_range()
907 tmp->underflow = ssa->var_info[constraint->min_ssa_var].range.underflow && tmp->underflow; in zend_inference_calc_range()
908 … if (!add_will_overflow(ssa->var_info[constraint->min_ssa_var].range.min, constraint->range.min)) { in zend_inference_calc_range()
909 …tmp->min = MAX(ssa->var_info[constraint->min_ssa_var].range.min + constraint->range.min, tmp->min); in zend_inference_calc_range()
914 tmp->max = MIN(constraint->range.max, tmp->max); in zend_inference_calc_range()
915 tmp->overflow = constraint->range.overflow && tmp->overflow; in zend_inference_calc_range()
918 … if (!add_will_overflow(ssa->var_info[constraint->max_ssa_var].range.max, constraint->range.max)) { in zend_inference_calc_range()
919 …tmp->max = MIN(ssa->var_info[constraint->max_ssa_var].range.max + constraint->range.max, tmp->max); in zend_inference_calc_range()
921 tmp->overflow = ssa->var_info[constraint->max_ssa_var].range.overflow && tmp->overflow; in zend_inference_calc_range()
926 tmp->underflow = constraint->range.underflow; in zend_inference_calc_range()
927 tmp->min = constraint->range.min; in zend_inference_calc_range()
930 … if (add_will_overflow(ssa->var_info[constraint->min_ssa_var].range.min, constraint->range.min)) { in zend_inference_calc_range()
934 tmp->underflow = ssa->var_info[constraint->min_ssa_var].range.underflow; in zend_inference_calc_range()
935 tmp->min = ssa->var_info[constraint->min_ssa_var].range.min + constraint->range.min; in zend_inference_calc_range()
943 tmp->max = constraint->range.max; in zend_inference_calc_range()
944 tmp->overflow = constraint->range.overflow; in zend_inference_calc_range()
947 … if (add_will_overflow(ssa->var_info[constraint->max_ssa_var].range.max, constraint->range.max)) { in zend_inference_calc_range()
951 tmp->max = ssa->var_info[constraint->max_ssa_var].range.max + constraint->range.max; in zend_inference_calc_range()
952 tmp->overflow = ssa->var_info[constraint->max_ssa_var].range.overflow; in zend_inference_calc_range()
965 tmp->underflow |= ssa->var_info[p->sources[i]].range.underflow; in zend_inference_calc_range()
966 tmp->min = MIN(tmp->min, ssa->var_info[p->sources[i]].range.min); in zend_inference_calc_range()
967 tmp->max = MAX(tmp->max, ssa->var_info[p->sources[i]].range.max); in zend_inference_calc_range()
968 tmp->overflow |= ssa->var_info[p->sources[i]].range.overflow; in zend_inference_calc_range()
1428 *tmp = func_info->arg_info[opline->op1.num-1].info.range; in zend_inference_calc_range()
1489 *tmp = func_info->return_info.range; in zend_inference_calc_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()
1546 var_info->range.underflow || in zend_inference_widening_meet()
1547 r->min < var_info->range.min) { in zend_inference_widening_meet()
1552 var_info->range.overflow || in zend_inference_widening_meet()
1553 r->max > var_info->range.max) { in zend_inference_widening_meet()
1557 if (var_info->range.min == r->min && in zend_inference_widening_meet()
1558 var_info->range.max == r->max && in zend_inference_widening_meet()
1559 var_info->range.underflow == r->underflow && in zend_inference_widening_meet()
1560 var_info->range.overflow == r->overflow) { in zend_inference_widening_meet()
1564 var_info->range = *r; in zend_inference_widening_meet()
1587 !var_info->range.underflow && in zend_inference_narrowing_meet()
1588 var_info->range.min < r->min) { in zend_inference_narrowing_meet()
1589 r->min = var_info->range.min; in zend_inference_narrowing_meet()
1592 !var_info->range.overflow && in zend_inference_narrowing_meet()
1593 var_info->range.max > r->max) { in zend_inference_narrowing_meet()
1594 r->max = var_info->range.max; in zend_inference_narrowing_meet()
1602 if (var_info->range.min == r->min && in zend_inference_narrowing_meet()
1603 var_info->range.max == r->max && in zend_inference_narrowing_meet()
1604 var_info->range.underflow == r->underflow && in zend_inference_narrowing_meet()
1605 var_info->range.overflow == r->overflow) { in zend_inference_narrowing_meet()
1609 var_info->range = *r; in zend_inference_narrowing_meet()
1694 ssa->vars[j].definition_phi->constraint.range.negative && in zend_infer_ranges_warmup()
1695 ssa->vars[j].definition_phi->constraint.range.min_ssa_var < 0 && in zend_infer_ranges_warmup()
1696 ssa->vars[j].definition_phi->constraint.range.max_ssa_var < 0) { in zend_infer_ranges_warmup()
1698 &ssa->vars[j].definition_phi->constraint.range; in zend_infer_ranges_warmup()
1699 if (tmp.min == ssa->var_info[j].range.min && in zend_infer_ranges_warmup()
1700 tmp.max == ssa->var_info[j].range.max) { in zend_infer_ranges_warmup()
1705 } else if (tmp.min == ssa->var_info[j].range.min && in zend_infer_ranges_warmup()
1706 tmp.max == ssa->var_info[j].range.max + 1 && in zend_infer_ranges_warmup()
1707 tmp.max < constraint->range.min) { in zend_infer_ranges_warmup()
1717 } else if (tmp.max == ssa->var_info[j].range.max && in zend_infer_ranges_warmup()
1718 tmp.min == ssa->var_info[j].range.min - 1 && in zend_infer_ranges_warmup()
1719 tmp.min > constraint->range.max) { in zend_infer_ranges_warmup()
2169 ssa->var_info[result_var].range.underflow || in binary_op_result_type()
2170 ssa->var_info[result_var].range.overflow) { in binary_op_result_type()
2195 ssa->var_info[result_var].range.underflow || in binary_op_result_type()
2196 ssa->var_info[result_var].range.overflow) { in binary_op_result_type()
2581 (ssa_var_info[ssa_ops[i].op1_use].range.underflow || in zend_update_type_info()
2582 ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MIN)) || in zend_update_type_info()
2584 (ssa_var_info[ssa_ops[i].op1_use].range.overflow || in zend_update_type_info()
2585 ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) { in zend_update_type_info()
2643 (ssa_var_info[ssa_ops[i].op1_use].range.underflow || in zend_update_type_info()
2644 ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MIN)) || in zend_update_type_info()
2646 (ssa_var_info[ssa_ops[i].op1_use].range.overflow || in zend_update_type_info()
2647 ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) { in zend_update_type_info()
3866 ret->range = tmp_range; in zend_init_func_return_info()
3895 ret->range = tmp_range; in zend_func_return_info()
4025 tmp_range = info->ssa.var_info[info->ssa.ops[opline - op_array->opcodes].op1_use].range; in zend_func_return_info()
4028 if (info->ssa.var_info[info->ssa.ops[opline - op_array->opcodes].op1_use].range.underflow) { in zend_func_return_info()
4032 …IN(tmp_range.min, info->ssa.var_info[info->ssa.ops[opline - op_array->opcodes].op1_use].range.min); in zend_func_return_info()
4034 if (info->ssa.var_info[info->ssa.ops[opline - op_array->opcodes].op1_use].range.overflow) { in zend_func_return_info()
4038 …AX(tmp_range.max, info->ssa.var_info[info->ssa.ops[opline - op_array->opcodes].op1_use].range.max); in zend_func_return_info()
4067 ret->range = tmp_range; in zend_func_return_info()
