1407 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
1413 				if (reg->umin_value != 0)  in print_verifier_state()
1414 					verbose_a("umin=%llu", (unsigned long long)reg->umin_value);  in print_verifier_state()
1429 				if (reg->u32_min_value != reg->umin_value &&  in print_verifier_state()
1885 	reg->umin_value = imm;  in ___mark_reg_known()
2031 	reg->umin_value = 0;  in __mark_reg_unbounded()
2044 	reg->umin_value = 0;  in __mark_reg64_unbounded()
2079 	reg->umin_value = max(reg->umin_value, reg->var_off.value);  in __update_reg64_bounds()
2133 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
2134 							  reg->umin_value);  in __reg64_deduce_bounds()
2146 		reg->smin_value = reg->umin_value;  in __reg64_deduce_bounds()
2149 	} else if ((s64)reg->umin_value < 0) {  in __reg64_deduce_bounds()
2153 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
2154 							  reg->umin_value);  in __reg64_deduce_bounds()
2169 					       tnum_range(reg->umin_value,  in __reg_bound_offset()
2200 	reg->umin_value = reg->u32_min_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()
2256 		reg->u32_min_value = (u32)reg->umin_value;  in __reg_combine_64_into_32()
4235 	       reg->umin_value == 0 && reg->umax_value == U64_MAX &&  in __is_scalar_unbounded()
5820 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
5821 		reg->umin_value &= mask;  in coerce_reg_to_size()
5824 		reg->umin_value = 0;  in coerce_reg_to_size()
5827 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
5852 	reg->umin_value = reg->u32_min_value = 0;  in set_sext64_default_val()
5876 		reg->umax_value = reg->umin_value = u64_cval;  in coerce_reg_to_size_sx()
5907 		reg->umin_value = reg->u32_min_value = s64_min;  in coerce_reg_to_size_sx()
7073 	if (reg->umin_value == 0) {  in check_mem_size_reg()
9324 		ret_reg->umin_value = 0;  in do_refine_retval_range()
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()
12122 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
12148 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
12151 			dst_reg->umin_value = umin_ptr + umin_val;  in adjust_ptr_min_max_vals()
12184 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
12206 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
12210 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
12283 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_add()
12294 	if (dst_reg->umin_value + umin_val < umin_val ||  in scalar_min_max_add()
12296 		dst_reg->umin_value = 0;  in scalar_min_max_add()
12299 		dst_reg->umin_value += umin_val;  in scalar_min_max_add()
12337 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_sub()
12349 	if (dst_reg->umin_value < umax_val) {  in scalar_min_max_sub()
12351 		dst_reg->umin_value = 0;  in scalar_min_max_sub()
12355 		dst_reg->umin_value -= umax_val;  in scalar_min_max_sub()
12396 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_mul()
12412 	dst_reg->umin_value *= umin_val;  in scalar_min_max_mul()
12419 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_mul()
12474 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_and()
12486 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_and()
12533 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_or()
12543 	dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in scalar_min_max_or()
12555 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_or()
12605 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_xor()
12612 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_xor()
12680 		dst_reg->umin_value = 0;  in __scalar64_min_max_lsh()
12683 		dst_reg->umin_value <<= umin_val;  in __scalar64_min_max_lsh()
12692 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_lsh()
12739 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_rsh()
12758 	dst_reg->umin_value >>= umax_val;  in scalar_min_max_rsh()
12795 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_arsh()
12808 	dst_reg->umin_value = 0;  in scalar_min_max_arsh()
12841 	umin_val = src_reg.umin_value;  in adjust_scalar_min_max_vals()
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()
13485 		if (reg->umin_value > val)  in is_branch64_taken()
13499 		else if (reg->umin_value >= val)  in is_branch64_taken()
13509 		if (reg->umin_value >= val)  in is_branch64_taken()
13523 		else if (reg->umin_value > val)  in is_branch64_taken()
13716 			true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max()
13753 			false_reg->umin_value = max(false_reg->umin_value, false_umin);  in reg_set_min_max()
13815 	src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value,  in __reg_combine_min_max()
13816 							dst_reg->umin_value);  in __reg_combine_min_max()
15358 	return old->umin_value <= cur->umin_value &&  in range_within()