331 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
332 				    reg->smax_value != S64_MAX)  in print_verifier_state()
334 						(long long)reg->smax_value);  in print_verifier_state()
559 	reg->smax_value = (s64)imm;  in __mark_reg_known()
624 	reg->smax_value = min_t(s64, reg->smax_value,  in __update_reg_bounds()
639 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg_deduce_bounds()
642 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
654 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
662 		reg->smax_value = reg->umax_value;  in __reg_deduce_bounds()
678 	reg->smax_value = S64_MAX;  in __mark_reg_unbounded()
1665 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
2059 		meta->msize_smax_value = reg->smax_value;  in check_func_arg()
2442 	ret_reg->smax_value = meta->msize_smax_value;  in do_refine_retval_range()
2699 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
2700 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
2760 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
2780 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
2783 			dst_reg->smax_value = smax_ptr + smax_val;  in adjust_ptr_min_max_vals()
2821 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
2837 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
2840 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
2909 	smax_val = src_reg.smax_value;  in adjust_scalar_min_max_vals()
2933 		    signed_add_overflows(dst_reg->smax_value, smax_val)) {  in adjust_scalar_min_max_vals()
2935 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
2938 			dst_reg->smax_value += smax_val;  in adjust_scalar_min_max_vals()
2952 		    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in adjust_scalar_min_max_vals()
2955 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
2958 			dst_reg->smax_value -= smin_val;  in adjust_scalar_min_max_vals()
2994 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
2997 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
3017 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
3023 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
3046 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
3052 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
3069 		dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
3105 		dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
3125 		dst_reg->smax_value >>= umin_val;  in adjust_scalar_min_max_vals()
3504 		false_reg->smax_value = min_t(s64, false_reg->smax_value, val);  in reg_set_min_max()
3513 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val - 1);  in reg_set_min_max()
3520 		false_reg->smax_value = min_t(s64, false_reg->smax_value, val - 1);  in reg_set_min_max()
3529 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val);  in reg_set_min_max()
3576 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val - 1);  in reg_set_min_max_inv()
3585 		false_reg->smax_value = min_t(s64, false_reg->smax_value, val);  in reg_set_min_max_inv()
3592 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val);  in reg_set_min_max_inv()
3601 		false_reg->smax_value = min_t(s64, false_reg->smax_value, val - 1);  in reg_set_min_max_inv()
3630 	src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value,  in __reg_combine_min_max()
3631 							dst_reg->smax_value);  in __reg_combine_min_max()
3677 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_map_reg()
4332 	       old->smax_value >= cur->smax_value;  in range_within()