668 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
669 				    reg->smax_value != S64_MAX)  in print_verifier_state()
671 						(long long)reg->smax_value);  in print_verifier_state()
688 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
1077 	reg->smax_value = (s64)imm;  in ___mark_reg_known()
1212 	reg->smax_value = S64_MAX;  in __mark_reg_unbounded()
1225 	reg->smax_value = S64_MAX;  in __mark_reg64_unbounded()
1259 	reg->smax_value = min_t(s64, reg->smax_value,  in __update_reg64_bounds()
1314 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg64_deduce_bounds()
1317 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1329 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1337 		reg->smax_value = reg->umax_value;  in __reg64_deduce_bounds()
1369 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
1371 		reg->smax_value = U32_MAX;  in __reg_assign_32_into_64()
1421 	if (__reg64_bound_s32(reg->smin_value) && __reg64_bound_s32(reg->smax_value)) {  in __reg_combine_64_into_32()
1423 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
2608 	       reg->smin_value == S64_MIN && reg->smax_value == S64_MAX &&  in __is_scalar_unbounded()
2786 	max_off = ptr_reg->smax_value + off + size;  in check_stack_write_var_off()
3033 	max_off = reg->smax_value + off;  in check_stack_read_var_off()
3874 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
4079 		if (reg->smax_value >= BPF_MAX_VAR_OFF ||  in check_stack_access_within_bounds()
4087 			max_off = reg->smax_value + off + access_size - 1;  in check_stack_access_within_bounds()
4490 		max_off = reg->smax_value + off;  in check_stack_range_initialized()
6004 	ret_reg->smax_value = meta->msize_max_value;  in do_refine_retval_range()
6765 		    (off_reg->smin_value < 0) != (off_reg->smax_value < 0))  in sanitize_ptr_alu()
6962 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
6963 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
7049 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
7069 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
7072 			dst_reg->smax_value = smax_ptr + smax_val;  in adjust_ptr_min_max_vals()
7111 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
7127 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
7130 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
7214 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_add()
7219 	    signed_add_overflows(dst_reg->smax_value, smax_val)) {  in scalar_min_max_add()
7221 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_add()
7224 		dst_reg->smax_value += smax_val;  in scalar_min_max_add()
7268 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_sub()
7273 	    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in scalar_min_max_sub()
7276 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_sub()
7279 		dst_reg->smax_value -= smin_val;  in scalar_min_max_sub()
7349 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_mul()
7352 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_mul()
7413 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_and()
7419 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_and()
7482 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_or()
7488 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_or()
7545 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_xor()
7548 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_xor()
7601 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
7603 		dst_reg->smax_value = S64_MAX;  in __scalar64_min_max_lsh()
7688 	dst_reg->smax_value = S64_MAX;  in scalar_min_max_rsh()
7733 	dst_reg->smax_value >>= umin_val;  in scalar_min_max_arsh()
7772 	smax_val = src_reg.smax_value;  in adjust_scalar_min_max_vals()
8371 		else if (reg->smax_value <= sval)  in is_branch64_taken()
8381 		if (reg->smax_value < sval)  in is_branch64_taken()
8395 		else if (reg->smax_value < sval)  in is_branch64_taken()
8405 		if (reg->smax_value <= sval)  in is_branch64_taken()
8604 			false_reg->smax_value = min(false_reg->smax_value, false_smax);  in reg_set_min_max()
8643 			true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max()
8692 	src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value,  in __reg_combine_min_max()
8693 							dst_reg->smax_value);  in __reg_combine_min_max()
8739 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_ptr_or_null_reg()
10065 	       old->smax_value >= cur->smax_value &&  in range_within()