1410 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
1415 				if (reg->umax_value != U64_MAX)  in print_verifier_state()
1416 					verbose_a("umax=%llu", (unsigned long long)reg->umax_value);  in print_verifier_state()
1432 				if (reg->u32_max_value != reg->umax_value &&  in print_verifier_state()
1886 	reg->umax_value = imm;  in ___mark_reg_known()
2032 	reg->umax_value = U64_MAX;  in __mark_reg_unbounded()
2045 	reg->umax_value = U64_MAX;  in __mark_reg64_unbounded()
2080 	reg->umax_value = min(reg->umax_value,  in __update_reg64_bounds()
2135 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
2136 							  reg->umax_value);  in __reg64_deduce_bounds()
2142 	if ((s64)reg->umax_value >= 0) {  in __reg64_deduce_bounds()
2147 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
2148 							  reg->umax_value);  in __reg64_deduce_bounds()
2155 		reg->smax_value = reg->umax_value;  in __reg64_deduce_bounds()
2170 							  reg->umax_value));  in __reg_bound_offset()
2201 	reg->umax_value = reg->u32_max_value;  in __reg_assign_32_into_64()
2255 	if (__reg64_bound_u32(reg->umin_value) && __reg64_bound_u32(reg->umax_value)) {  in __reg_combine_64_into_32()
2257 		reg->u32_max_value = (u32)reg->umax_value;  in __reg_combine_64_into_32()
4235 	       reg->umin_value == 0 && reg->umax_value == U64_MAX &&  in __is_scalar_unbounded()
4355 		if (fls64(reg->umax_value) > BITS_PER_BYTE * size)  in check_stack_write_fixed_off()
4932 	if (reg->umax_value >= BPF_MAX_VAR_OFF) {  in check_mem_region_access()
4937 	err = __check_mem_access(env, regno, reg->umax_value + off, size,  in check_mem_region_access()
5179 		    p < reg->umax_value + off + size) {  in check_map_access()
5292 		      off + reg->umax_value + size - 1);  in check_packet_access()
5820 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
5822 		reg->umax_value &= mask;  in coerce_reg_to_size()
5825 		reg->umax_value = mask;  in coerce_reg_to_size()
5828 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
5853 	reg->umax_value = U64_MAX;  in set_sext64_default_val()
5876 		reg->umax_value = reg->umin_value = u64_cval;  in coerce_reg_to_size_sx()
5908 		reg->umax_value = reg->u32_max_value = s64_max;  in coerce_reg_to_size_sx()
7054 	meta->msize_max_value = reg->umax_value;  in check_mem_size_reg()
7081 	if (reg->umax_value >= BPF_MAX_VAR_SIZ) {  in check_mem_size_reg()
7087 				      reg->umax_value,  in check_mem_size_reg()
9320 		ret_reg->umax_value = nr_cpu_ids - 1;  in do_refine_retval_range()
11730 			     ptr_reg->umax_value) + ptr_reg->off;  in retrieve_ptr_limit()
12037 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
12038 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
12123 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
12149 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
12152 			dst_reg->umax_value = umax_ptr + umax_val;  in adjust_ptr_min_max_vals()
12185 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
12207 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
12211 			dst_reg->umax_value = umax_ptr - umin_val;  in adjust_ptr_min_max_vals()
12284 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_add()
12295 	    dst_reg->umax_value + umax_val < umax_val) {  in scalar_min_max_add()
12297 		dst_reg->umax_value = U64_MAX;  in scalar_min_max_add()
12300 		dst_reg->umax_value += umax_val;  in scalar_min_max_add()
12338 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_sub()
12352 		dst_reg->umax_value = U64_MAX;  in scalar_min_max_sub()
12356 		dst_reg->umax_value -= umin_val;  in scalar_min_max_sub()
12397 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_mul()
12407 	if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {  in scalar_min_max_mul()
12413 	dst_reg->umax_value *= umax_val;  in scalar_min_max_mul()
12414 	if (dst_reg->umax_value > S64_MAX) {  in scalar_min_max_mul()
12420 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_mul()
12464 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_and()
12475 	dst_reg->umax_value = min(dst_reg->umax_value, umax_val);  in scalar_min_max_and()
12487 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_and()
12544 	dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask;  in scalar_min_max_or()
12556 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_or()
12606 	dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask;  in scalar_min_max_xor()
12613 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_xor()
12679 	if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {  in __scalar64_min_max_lsh()
12681 		dst_reg->umax_value = U64_MAX;  in __scalar64_min_max_lsh()
12684 		dst_reg->umax_value <<= umax_val;  in __scalar64_min_max_lsh()
12691 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_lsh()
12738 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_rsh()
12759 	dst_reg->umax_value >>= umin_val;  in scalar_min_max_rsh()
12809 	dst_reg->umax_value = U64_MAX;  in scalar_min_max_arsh()
12842 	umax_val = src_reg.umax_value;  in adjust_scalar_min_max_vals()
13177 						no_sext = src_reg->umax_value < (1ULL << (insn->off - 1));  in check_alu_op()
13199 						bool is_src_reg_u32 = src_reg->umax_value <= U32_MAX;  in check_alu_op()
13214 						bool no_sext = src_reg->umax_value < (1ULL << (insn->off - 1));  in check_alu_op()
13318 	if (dst_reg->umax_value > MAX_PACKET_OFF ||  in find_good_pkt_pointers()
13319 	    dst_reg->umax_value + dst_reg->off > MAX_PACKET_OFF)  in find_good_pkt_pointers()
13469 		else if (val < reg->umin_value || val > reg->umax_value)  in is_branch64_taken()
13475 		else if (val < reg->umin_value || val > reg->umax_value)  in is_branch64_taken()
13487 		else if (reg->umax_value <= val)  in is_branch64_taken()
13497 		if (reg->umax_value < val)  in is_branch64_taken()
13511 		else if (reg->umax_value < val)  in is_branch64_taken()
13521 		if (reg->umax_value <= val)  in is_branch64_taken()
13715 			false_reg->umax_value = min(false_reg->umax_value, false_umax);  in reg_set_min_max()
13754 			true_reg->umax_value = min(true_reg->umax_value, true_umax);  in reg_set_min_max()
13817 	src_reg->umax_value = dst_reg->umax_value = min(src_reg->umax_value,  in __reg_combine_min_max()
13818 							dst_reg->umax_value);  in __reg_combine_min_max()
15359 	       old->umax_value >= cur->umax_value &&  in range_within()