Lines Matching refs:smax_val
4334 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, in adjust_ptr_min_max_vals() local
4344 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
4345 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
4379 if (!env->allow_ptr_leaks && !known && (smin_val < 0) != (smax_val < 0)) { in adjust_ptr_min_max_vals()
4431 signed_add_overflows(smax_ptr, smax_val)) { in adjust_ptr_min_max_vals()
4436 dst_reg->smax_value = smax_ptr + smax_val; in adjust_ptr_min_max_vals()
4492 if (signed_sub_overflows(smin_ptr, smax_val) || in adjust_ptr_min_max_vals()
4498 dst_reg->smin_value = smin_ptr - smax_val; in adjust_ptr_min_max_vals()
4574 s64 smin_val, smax_val; in adjust_scalar_min_max_vals() local
4590 smax_val = src_reg.smax_value; in adjust_scalar_min_max_vals()
4596 if ((src_known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_scalar_min_max_vals()
4597 smin_val > smax_val || umin_val > umax_val) { in adjust_scalar_min_max_vals()
4619 signed_add_overflows(dst_reg->smax_value, smax_val)) { in adjust_scalar_min_max_vals()
4624 dst_reg->smax_value += smax_val; in adjust_scalar_min_max_vals()
4642 if (signed_sub_overflows(dst_reg->smin_value, smax_val) || in adjust_scalar_min_max_vals()
4648 dst_reg->smin_value -= smax_val; in adjust_scalar_min_max_vals()