Lines Matching refs:max
443 tmp->max = maxOR(a, b, c, d); in zend_ssa_range_or()
447 tmp->max = maxOR(a, b, 0, d); in zend_ssa_range_or()
451 tmp->max = maxOR(0, b, c, d); in zend_ssa_range_or()
455 tmp->max = maxOR(0, b, 0, d); in zend_ssa_range_or()
459 tmp->max = -1; in zend_ssa_range_or()
463 tmp->max = -1; in zend_ssa_range_or()
491 tmp->max = maxAND(a, b, c, d); in zend_ssa_range_and()
495 tmp->max = b; in zend_ssa_range_and()
499 tmp->max = d; in zend_ssa_range_and()
503 tmp->max = MAX(b, d); in zend_ssa_range_and()
507 tmp->max = maxAND(0, b, c, d); in zend_ssa_range_and()
511 tmp->max = maxAND(a, b, 0, d); in zend_ssa_range_and()
517 zend_long min, zend_long max, zend_long *abs_min, zend_long *abs_max) { in zend_abs_range() argument
525 *abs_max = max; in zend_abs_range()
526 } else if (max <= 0) { in zend_abs_range()
527 *abs_min = -max; in zend_abs_range()
532 *abs_max = MAX(max, -min); in zend_abs_range()
575 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
577 tmp->max = op1_max + op2_max; in zend_inference_calc_binary_op_range()
600 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
602 tmp->max = op1_max - op2_min; in zend_inference_calc_binary_op_range()
632 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
635 tmp->max = MAX(MAX(t1, t2), MAX(t3, t4)); in zend_inference_calc_binary_op_range()
669 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
672 tmp->max = MAX(MAX(t1, t2), MAX(t3, t4)); in zend_inference_calc_binary_op_range()
684 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
707 tmp->max = MIN(op1_max, op2_abs_max - 1); in zend_inference_calc_binary_op_range()
710 tmp->max = op1_min > -op2_abs_min ? op1_max : 0; in zend_inference_calc_binary_op_range()
713 tmp->max = MIN(op1_max, op2_abs_max - 1); in zend_inference_calc_binary_op_range()
726 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
744 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
751 tmp->max = MAX(MAX(t1, t2), MAX(t3, t4)); in zend_inference_calc_binary_op_range()
764 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
792 tmp->max = MAX(MAX(t1, t2), MAX(t3, t4)); in zend_inference_calc_binary_op_range()
804 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
822 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_binary_op_range()
853 tmp->max = ZEND_LONG_MIN; in zend_inference_calc_range()
863 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
875 ssa->var_info[p->ssa_var].range.max, in zend_inference_calc_range()
877 tmp->max); in zend_inference_calc_range()
879 tmp->max >= constraint->range.min) { in zend_inference_calc_range()
881 tmp->max = constraint->range.min - 1; in zend_inference_calc_range()
882 LOG_NEG_RANGE(" => [%ld..%ld]\n", tmp->min, tmp->max); in zend_inference_calc_range()
884 tmp->min <= constraint->range.max) { in zend_inference_calc_range()
886 tmp->min = constraint->range.max + 1; in zend_inference_calc_range()
887 LOG_NEG_RANGE(" => [%ld..%ld]\n", tmp->min, tmp->max); in zend_inference_calc_range()
906 tmp->max = MIN(constraint->range.max, tmp->max); in zend_inference_calc_range()
910 … if (!add_will_overflow(ssa->var_info[constraint->max_ssa_var].range.max, constraint->range.max)) { in zend_inference_calc_range()
911 …tmp->max = MIN(ssa->var_info[constraint->max_ssa_var].range.max + constraint->range.max, tmp->max); in zend_inference_calc_range()
935 tmp->max = constraint->range.max; in zend_inference_calc_range()
939 … if (add_will_overflow(ssa->var_info[constraint->max_ssa_var].range.max, constraint->range.max)) { in zend_inference_calc_range()
941 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
943 tmp->max = ssa->var_info[constraint->max_ssa_var].range.max + constraint->range.max; in zend_inference_calc_range()
948 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
959 tmp->max = MAX(tmp->max, ssa->var_info[p->sources[i]].range.max); in zend_inference_calc_range()
964 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
969 return (tmp->min <= tmp->max); in zend_inference_calc_range()
975 tmp->max = 0; in zend_inference_calc_range()
1010 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
1015 tmp->max = ~op1_min; in zend_inference_calc_range()
1027 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1035 tmp->max = 0; in zend_inference_calc_range()
1042 tmp->max = (op1_min != 0 || op1_max != 0); in zend_inference_calc_range()
1046 tmp->max = 1; in zend_inference_calc_range()
1052 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1056 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
1070 tmp->max = (op1_min != 0 || op1_max != 0); in zend_inference_calc_range()
1074 tmp->max = 1; in zend_inference_calc_range()
1085 tmp->max = (op1_min <= 0 && op1_max >= 0); in zend_inference_calc_range()
1089 tmp->max = 1; in zend_inference_calc_range()
1106 tmp->max = 1; in zend_inference_calc_range()
1109 tmp->max = 0; in zend_inference_calc_range()
1117 tmp->max = 1; in zend_inference_calc_range()
1134 tmp->max = (op1_min <= op2_max && op1_max >= op2_min); in zend_inference_calc_range()
1138 tmp->max = 1; in zend_inference_calc_range()
1153 tmp->max = (op1_min != op1_max || in zend_inference_calc_range()
1159 tmp->max = 1; in zend_inference_calc_range()
1173 tmp->max = op1_min < op2_max; in zend_inference_calc_range()
1177 tmp->max = 1; in zend_inference_calc_range()
1191 tmp->max = op1_min <= op2_max; in zend_inference_calc_range()
1195 tmp->max = 1; in zend_inference_calc_range()
1209 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1218 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1228 tmp->max = 1; in zend_inference_calc_range()
1238 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1249 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1252 if (tmp->max < ZEND_LONG_MAX) { in zend_inference_calc_range()
1253 tmp->max++; in zend_inference_calc_range()
1268 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1276 if (tmp->max > ZEND_LONG_MIN && !tmp->overflow) { in zend_inference_calc_range()
1277 tmp->max--; in zend_inference_calc_range()
1287 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1293 if (tmp->max < ZEND_LONG_MAX) { in zend_inference_calc_range()
1294 tmp->max++; in zend_inference_calc_range()
1309 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1320 if (tmp->max > ZEND_LONG_MIN && !tmp->overflow) { in zend_inference_calc_range()
1321 tmp->max--; in zend_inference_calc_range()
1334 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1345 tmp->max = OP2_MAX_RANGE(); in zend_inference_calc_range()
1358 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1383 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1401 tmp->max = OP1_MAX_RANGE(); in zend_inference_calc_range()
1425 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
1431 tmp->max = 1; in zend_inference_calc_range()
1448 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
1454 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
1459 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
1491 tmp->max = 0; in zend_inference_calc_range()
1495 tmp->max = ZEND_LONG_MAX; in zend_inference_calc_range()
1500 tmp->max = 1; in zend_inference_calc_range()
1514 …ray, zend_ssa *ssa, int var, zend_bool underflow, zend_long min, zend_long max, zend_bool overflow) in zend_inference_init_range() argument
1520 max = ZEND_LONG_MAX; in zend_inference_init_range()
1525 ssa->var_info[var].range.max = max; in zend_inference_init_range()
1527 …%2d [%s%ld..%ld%s]\n", ssa->vars[var].scc, var, (underflow?"-- ":""), min, max, (overflow?" ++":""… in zend_inference_init_range()
1543 r->max > var_info->range.max) { in zend_inference_widening_meet()
1545 r->max = ZEND_LONG_MAX; in zend_inference_widening_meet()
1548 var_info->range.max == r->max && in zend_inference_widening_meet()
1564 …d) %2d [%s%ld..%ld%s]\n", scc, var, (tmp.underflow?"-- ":""), tmp.min, tmp.max, (tmp.overflow?" ++… in zend_ssa_range_widening()
1583 var_info->range.max > r->max) { in zend_inference_narrowing_meet()
1584 r->max = var_info->range.max; in zend_inference_narrowing_meet()
1590 r->max = ZEND_LONG_MAX; in zend_inference_narrowing_meet()
1593 var_info->range.max == r->max && in zend_inference_narrowing_meet()
1609 …d) %2d [%s%ld..%ld%s]\n", scc, var, (tmp.underflow?"-- ":""), tmp.min, tmp.max, (tmp.overflow?" ++… in zend_ssa_range_narrowing()
1690 tmp.max == ssa->var_info[j].range.max) { in zend_infer_ranges_warmup()
1696 tmp.max == ssa->var_info[j].range.max + 1 && in zend_infer_ranges_warmup()
1697 tmp.max < constraint->range.min) { in zend_infer_ranges_warmup()
1707 } else if (tmp.max == ssa->var_info[j].range.max && in zend_infer_ranges_warmup()
1709 tmp.min > constraint->range.max) { in zend_infer_ranges_warmup()
1726 …) %2d [%s%ld..%ld%s]\n", n, scc, j, (tmp.underflow?"-- ":""), tmp.min, tmp.max, (tmp.overflow?" ++… in zend_infer_ranges_warmup()
1770 zend_inference_init_range(op_array, ssa, j, tmp.underflow, tmp.min, tmp.max, tmp.overflow); in zend_infer_ranges()
2739 ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) { in zend_update_type_info()
2801 ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) { in zend_update_type_info()
4190 tmp_range.max = 0; in zend_func_return_info()
4197 tmp_range.max = MAX(tmp_range.max, 0); in zend_func_return_info()
4205 tmp_range.max = 0; in zend_func_return_info()
4212 tmp_range.max = MAX(tmp_range.max, 0); in zend_func_return_info()
4220 tmp_range.max = 1; in zend_func_return_info()
4227 tmp_range.max = MAX(tmp_range.max, 1); in zend_func_return_info()
4235 tmp_range.max = Z_LVAL_P(zv); in zend_func_return_info()
4242 tmp_range.max = MAX(tmp_range.max, Z_LVAL_P(zv)); in zend_func_return_info()
4265 tmp_range.max = ZEND_LONG_MAX; in zend_func_return_info()
4267 …tmp_range.max = MAX(tmp_range.max, info->ssa.var_info[info->ssa.ops[opline - op_array->opcodes].op… in zend_func_return_info()
4274 tmp_range.max = ZEND_LONG_MAX; in zend_func_return_info()
