900 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
901 				    reg->smax_value != S64_MAX)  in print_verifier_state()
902 					verbose_a("smax=%lld", (long long)reg->smax_value);  in print_verifier_state()
916 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
1335 	reg->smax_value = (s64)imm;  in ___mark_reg_known()
1448 	reg->smax_value = S64_MAX;  in __mark_reg_unbounded()
1461 	reg->smax_value = S64_MAX;  in __mark_reg64_unbounded()
1495 	reg->smax_value = min_t(s64, reg->smax_value,  in __update_reg64_bounds()
1550 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg64_deduce_bounds()
1553 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1565 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1573 		reg->smax_value = reg->umax_value;  in __reg64_deduce_bounds()
1628 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
1631 		reg->smax_value = U32_MAX;  in __reg_assign_32_into_64()
1669 	if (__reg64_bound_s32(reg->smin_value) && __reg64_bound_s32(reg->smax_value)) {  in __reg_combine_64_into_32()
1671 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
2983 	       reg->smin_value == S64_MIN && reg->smax_value == S64_MAX &&  in __is_scalar_unbounded()
3168 	max_off = ptr_reg->smax_value + off + size;  in check_stack_write_var_off()
3435 	max_off = reg->smax_value + off;  in check_stack_read_var_off()
4440 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
4682 		if (reg->smax_value >= BPF_MAX_VAR_OFF ||  in check_stack_access_within_bounds()
4690 			max_off = reg->smax_value + off + access_size - 1;  in check_stack_access_within_bounds()
5135 		max_off = reg->smax_value + off;  in check_stack_range_initialized()
7044 	ret_reg->smax_value = meta->msize_max_value;  in do_refine_retval_range()
8015 		    (off_reg->smin_value < 0) != (off_reg->smax_value < 0))  in sanitize_ptr_alu()
8212 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
8213 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
8298 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
8318 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
8321 			dst_reg->smax_value = smax_ptr + smax_val;  in adjust_ptr_min_max_vals()
8360 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
8376 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
8379 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
8459 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_add()
8464 	    signed_add_overflows(dst_reg->smax_value, smax_val)) {  in scalar_min_max_add()
8466 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_add()
8469 		dst_reg->smax_value += smax_val;  in scalar_min_max_add()
8513 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_sub()
8518 	    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in scalar_min_max_sub()
8521 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_sub()
8524 		dst_reg->smax_value -= smin_val;  in scalar_min_max_sub()
8594 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_mul()
8597 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_mul()
8658 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_and()
8664 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_and()
8727 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_or()
8733 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_or()
8790 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_xor()
8793 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_xor()
8846 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
8848 		dst_reg->smax_value = S64_MAX;  in __scalar64_min_max_lsh()
8933 	dst_reg->smax_value = S64_MAX;  in scalar_min_max_rsh()
8978 	dst_reg->smax_value >>= umin_val;  in scalar_min_max_arsh()
9017 	smax_val = src_reg.smax_value;  in adjust_scalar_min_max_vals()
9596 		else if (reg->smax_value <= sval)  in is_branch64_taken()
9606 		if (reg->smax_value < sval)  in is_branch64_taken()
9620 		else if (reg->smax_value < sval)  in is_branch64_taken()
9630 		if (reg->smax_value <= sval)  in is_branch64_taken()
9836 			false_reg->smax_value = min(false_reg->smax_value, false_smax);  in reg_set_min_max()
9875 			true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max()
9924 	src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value,  in __reg_combine_min_max()
9925 							dst_reg->smax_value);  in __reg_combine_min_max()
9954 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_ptr_or_null_reg()
11364 	       old->smax_value >= cur->smax_value &&  in range_within()