481 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
488 				if (reg->umax_value != U64_MAX)  in print_verifier_state()
490 						(unsigned long long)reg->umax_value);  in print_verifier_state()
869 	reg->umax_value = imm;  in __mark_reg_known()
934 	reg->umax_value = min(reg->umax_value,  in __update_reg_bounds()
949 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
950 							  reg->umax_value);  in __reg_deduce_bounds()
956 	if ((s64)reg->umax_value >= 0) {  in __reg_deduce_bounds()
961 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
962 							  reg->umax_value);  in __reg_deduce_bounds()
969 		reg->smax_value = reg->umax_value;  in __reg_deduce_bounds()
978 						 reg->umax_value));  in __reg_bound_offset()
987 	reg->umax_value = U64_MAX;  in __mark_reg_unbounded()
2208 	if (reg->umax_value >= BPF_MAX_VAR_OFF) {  in check_map_access()
2213 	err = __check_map_access(env, regno, reg->umax_value + off, size,  in check_map_access()
2228 		     lock < reg->umax_value + off + size) {  in check_map_access()
2327 		      off + reg->umax_value + size - 1);  in check_packet_access()
2731 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
2733 		reg->umax_value &= mask;  in coerce_reg_to_size()
2736 		reg->umax_value = mask;  in coerce_reg_to_size()
2739 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
3380 		meta->msize_umax_value = reg->umax_value;  in check_func_arg()
3407 		if (reg->umax_value >= BPF_MAX_VAR_SIZ) {  in check_func_arg()
3413 					      reg->umax_value,  in check_func_arg()
3880 	ret_reg->umax_value = meta->msize_umax_value;  in do_refine_retval_range()
4223 			*ptr_limit = ptr_reg->umax_value + ptr_reg->off;  in retrieve_ptr_limit()
4336 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
4337 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
4415 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
4441 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
4444 			dst_reg->umax_value = umax_ptr + umax_val;  in adjust_ptr_min_max_vals()
4482 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
4504 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
4508 			dst_reg->umax_value = umax_ptr - umin_val;  in adjust_ptr_min_max_vals()
4592 	umax_val = src_reg.umax_value;  in adjust_scalar_min_max_vals()
4627 		    dst_reg->umax_value + umax_val < umax_val) {  in adjust_scalar_min_max_vals()
4629 			dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
4632 			dst_reg->umax_value += umax_val;  in adjust_scalar_min_max_vals()
4654 			dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
4658 			dst_reg->umax_value -= umin_val;  in adjust_scalar_min_max_vals()
4673 		if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {  in adjust_scalar_min_max_vals()
4681 		dst_reg->umax_value *= umax_val;  in adjust_scalar_min_max_vals()
4682 		if (dst_reg->umax_value > S64_MAX) {  in adjust_scalar_min_max_vals()
4688 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
4702 		dst_reg->umax_value = min(dst_reg->umax_value, umax_val);  in adjust_scalar_min_max_vals()
4714 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
4730 		dst_reg->umax_value = dst_reg->var_off.value |  in adjust_scalar_min_max_vals()
4743 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
4762 		if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {  in adjust_scalar_min_max_vals()
4764 			dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
4767 			dst_reg->umax_value <<= umax_val;  in adjust_scalar_min_max_vals()
4799 		dst_reg->umax_value >>= umin_val;  in adjust_scalar_min_max_vals()
4823 		dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
5116 	if (dst_reg->umax_value > MAX_PACKET_OFF ||  in find_good_pkt_pointers()
5117 	    dst_reg->umax_value + dst_reg->off > MAX_PACKET_OFF)  in find_good_pkt_pointers()
5215 		if ((reg->umax_value ^ reg->umin_value) &  in is_branch_taken()
5247 		else if (reg->umax_value <= val)  in is_branch_taken()
5257 		if (reg->umax_value < val)  in is_branch_taken()
5271 		else if (reg->umax_value < val)  in is_branch_taken()
5281 		if (reg->umax_value <= val)  in is_branch_taken()
5382 		false_reg->umax_value = min(false_reg->umax_value, false_umax);  in reg_set_min_max()
5412 		true_reg->umax_value = min(true_reg->umax_value, true_umax);  in reg_set_min_max()
5495 		true_reg->umax_value = min(true_reg->umax_value, true_umax);  in reg_set_min_max_inv()
5520 		false_reg->umax_value = min(false_reg->umax_value, false_umax);  in reg_set_min_max_inv()
5559 	src_reg->umax_value = dst_reg->umax_value = min(src_reg->umax_value,  in __reg_combine_min_max()
5560 							dst_reg->umax_value);  in __reg_combine_min_max()
6675 	       old->umax_value >= cur->umax_value &&  in range_within()