617 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
618 				    reg->smax_value != S64_MAX)  in print_verifier_state()
620 						(long long)reg->smax_value);  in print_verifier_state()
637 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
1018 	reg->smax_value = (s64)imm;  in ___mark_reg_known()
1104 	reg->smax_value = S64_MAX;  in __mark_reg_unbounded()
1117 	reg->smax_value = S64_MAX;  in __mark_reg64_unbounded()
1151 	reg->smax_value = min_t(s64, reg->smax_value,  in __update_reg64_bounds()
1206 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg64_deduce_bounds()
1209 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1221 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1229 		reg->smax_value = reg->umax_value;  in __reg64_deduce_bounds()
1261 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
1263 		reg->smax_value = U32_MAX;  in __reg_assign_32_into_64()
1315 	if (__reg64_bound_s32(reg->smin_value) && __reg64_bound_s32(reg->smax_value)) {  in __reg_combine_64_into_32()
1317 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
2237 	       reg->smin_value == S64_MIN && reg->smax_value == S64_MAX &&  in __is_scalar_unbounded()
3243 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
3709 		if (reg->smax_value >= BPF_MAX_VAR_OFF ||  in check_stack_boundary()
3710 		    reg->smax_value <= -BPF_MAX_VAR_OFF) {  in check_stack_boundary()
3716 		max_off = reg->smax_value + reg->off;  in check_stack_boundary()
4894 	ret_reg->smax_value = meta->msize_max_value;  in do_refine_retval_range()
5459 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
5460 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
5550 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
5570 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
5573 			dst_reg->smax_value = smax_ptr + smax_val;  in adjust_ptr_min_max_vals()
5617 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
5633 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
5636 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
5729 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_add()
5734 	    signed_add_overflows(dst_reg->smax_value, smax_val)) {  in scalar_min_max_add()
5736 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_add()
5739 		dst_reg->smax_value += smax_val;  in scalar_min_max_add()
5783 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_sub()
5788 	    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in scalar_min_max_sub()
5791 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_sub()
5794 		dst_reg->smax_value -= smin_val;  in scalar_min_max_sub()
5864 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_mul()
5867 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_mul()
5930 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_and()
5936 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_and()
6000 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_or()
6006 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_or()
6064 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_xor()
6067 		dst_reg->smax_value = S64_MAX;  in scalar_min_max_xor()
6120 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
6122 		dst_reg->smax_value = S64_MAX;  in __scalar64_min_max_lsh()
6207 	dst_reg->smax_value = S64_MAX;  in scalar_min_max_rsh()
6252 	dst_reg->smax_value >>= umin_val;  in scalar_min_max_arsh()
6292 	smax_val = src_reg.smax_value;  in adjust_scalar_min_max_vals()
6896 		else if (reg->smax_value < sval)  in is_branch64_taken()
6906 		if (reg->smax_value < sval)  in is_branch64_taken()
6920 		else if (reg->smax_value < sval)  in is_branch64_taken()
6930 		if (reg->smax_value <= sval)  in is_branch64_taken()
7068 			false_reg->smax_value = min(false_reg->smax_value, false_smax);  in reg_set_min_max()
7107 			true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max()
7172 	src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value,  in __reg_combine_min_max()
7173 							dst_reg->smax_value);  in __reg_combine_min_max()
7219 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_ptr_or_null_reg()
8466 	       old->smax_value >= cur->smax_value;  in range_within()