897 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
903 				if (reg->umin_value != 0)  in print_verifier_state()
904 					verbose_a("umin=%llu", (unsigned long long)reg->umin_value);  in print_verifier_state()
919 				if (reg->u32_min_value != reg->umin_value &&  in print_verifier_state()
1336 	reg->umin_value = imm;  in ___mark_reg_known()
1449 	reg->umin_value = 0;  in __mark_reg_unbounded()
1462 	reg->umin_value = 0;  in __mark_reg64_unbounded()
1497 	reg->umin_value = max(reg->umin_value, reg->var_off.value);  in __update_reg64_bounds()
1551 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1552 							  reg->umin_value);  in __reg64_deduce_bounds()
1564 		reg->smin_value = reg->umin_value;  in __reg64_deduce_bounds()
1567 	} else if ((s64)reg->umin_value < 0) {  in __reg64_deduce_bounds()
1571 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1572 							  reg->umin_value);  in __reg64_deduce_bounds()
1587 					       tnum_range(reg->umin_value,  in __reg_bound_offset()
1618 	reg->umin_value = reg->u32_min_value;  in __reg_assign_32_into_64()
1673 	if (__reg64_bound_u32(reg->umin_value) && __reg64_bound_u32(reg->umax_value)) {  in __reg_combine_64_into_32()
1674 		reg->u32_min_value = (u32)reg->umin_value;  in __reg_combine_64_into_32()
2984 	       reg->umin_value == 0 && reg->umax_value == U64_MAX &&  in __is_scalar_unbounded()
4432 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
4433 		reg->umin_value &= mask;  in coerce_reg_to_size()
4436 		reg->umin_value = 0;  in coerce_reg_to_size()
4439 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
5324 	if (reg->umin_value == 0) {  in check_mem_size_reg()
8214 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
8215 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
8299 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
8325 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
8328 			dst_reg->umin_value = umin_ptr + umin_val;  in adjust_ptr_min_max_vals()
8361 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
8383 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
8387 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
8460 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_add()
8471 	if (dst_reg->umin_value + umin_val < umin_val ||  in scalar_min_max_add()
8473 		dst_reg->umin_value = 0;  in scalar_min_max_add()
8476 		dst_reg->umin_value += umin_val;  in scalar_min_max_add()
8514 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_sub()
8526 	if (dst_reg->umin_value < umax_val) {  in scalar_min_max_sub()
8528 		dst_reg->umin_value = 0;  in scalar_min_max_sub()
8532 		dst_reg->umin_value -= umax_val;  in scalar_min_max_sub()
8573 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_mul()
8589 	dst_reg->umin_value *= umin_val;  in scalar_min_max_mul()
8596 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_mul()
8651 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_and()
8663 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_and()
8710 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_or()
8720 	dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in scalar_min_max_or()
8732 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_or()
8782 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_xor()
8789 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_xor()
8857 		dst_reg->umin_value = 0;  in __scalar64_min_max_lsh()
8860 		dst_reg->umin_value <<= umin_val;  in __scalar64_min_max_lsh()
8869 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_lsh()
8916 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_rsh()
8935 	dst_reg->umin_value >>= umax_val;  in scalar_min_max_rsh()
8972 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_arsh()
8985 	dst_reg->umin_value = 0;  in scalar_min_max_arsh()
9018 	umin_val = src_reg.umin_value;  in adjust_scalar_min_max_vals()
9588 		if (reg->umin_value > val)  in is_branch64_taken()
9602 		else if (reg->umin_value >= val)  in is_branch64_taken()
9612 		if (reg->umin_value >= val)  in is_branch64_taken()
9626 		else if (reg->umin_value > val)  in is_branch64_taken()
9819 			true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max()
9856 			false_reg->umin_value = max(false_reg->umin_value, false_umin);  in reg_set_min_max()
9918 	src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value,  in __reg_combine_min_max()
9919 							dst_reg->umin_value);  in __reg_combine_min_max()
11361 	return old->umin_value <= cur->umin_value &&  in range_within()