664 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
672 				if (reg->umin_value != 0)  in print_verifier_state()
674 						(unsigned long long)reg->umin_value);  in print_verifier_state()
692 				if (reg->u32_min_value != reg->umin_value &&  in print_verifier_state()
1078 	reg->umin_value = imm;  in ___mark_reg_known()
1213 	reg->umin_value = 0;  in __mark_reg_unbounded()
1226 	reg->umin_value = 0;  in __mark_reg64_unbounded()
1261 	reg->umin_value = max(reg->umin_value, reg->var_off.value);  in __update_reg64_bounds()
1315 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1316 							  reg->umin_value);  in __reg64_deduce_bounds()
1328 		reg->smin_value = reg->umin_value;  in __reg64_deduce_bounds()
1331 	} else if ((s64)reg->umin_value < 0) {  in __reg64_deduce_bounds()
1335 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1336 							  reg->umin_value);  in __reg64_deduce_bounds()
1351 					       tnum_range(reg->umin_value,  in __reg_bound_offset()
1362 	reg->umin_value = reg->u32_min_value;  in __reg_assign_32_into_64()
1425 	if (__reg64_bound_u32(reg->umin_value) && __reg64_bound_u32(reg->umax_value)) {  in __reg_combine_64_into_32()
1426 		reg->u32_min_value = (u32)reg->umin_value;  in __reg_combine_64_into_32()
2609 	       reg->umin_value == 0 && reg->umax_value == U64_MAX &&  in __is_scalar_unbounded()
3866 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
3867 		reg->umin_value &= mask;  in coerce_reg_to_size()
3870 		reg->umin_value = 0;  in coerce_reg_to_size()
3873 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
5170 		if (reg->umin_value == 0) {  in check_func_arg()
6964 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
6965 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
7050 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
7076 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
7079 			dst_reg->umin_value = umin_ptr + umin_val;  in adjust_ptr_min_max_vals()
7112 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
7134 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
7138 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
7215 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_add()
7226 	if (dst_reg->umin_value + umin_val < umin_val ||  in scalar_min_max_add()
7228 		dst_reg->umin_value = 0;  in scalar_min_max_add()
7231 		dst_reg->umin_value += umin_val;  in scalar_min_max_add()
7269 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_sub()
7281 	if (dst_reg->umin_value < umax_val) {  in scalar_min_max_sub()
7283 		dst_reg->umin_value = 0;  in scalar_min_max_sub()
7287 		dst_reg->umin_value -= umax_val;  in scalar_min_max_sub()
7328 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_mul()
7344 	dst_reg->umin_value *= umin_val;  in scalar_min_max_mul()
7351 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_mul()
7406 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_and()
7418 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_and()
7465 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_or()
7475 	dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in scalar_min_max_or()
7487 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_or()
7537 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_xor()
7544 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_xor()
7612 		dst_reg->umin_value = 0;  in __scalar64_min_max_lsh()
7615 		dst_reg->umin_value <<= umin_val;  in __scalar64_min_max_lsh()
7624 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_lsh()
7671 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_rsh()
7690 	dst_reg->umin_value >>= umax_val;  in scalar_min_max_rsh()
7727 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_arsh()
7740 	dst_reg->umin_value = 0;  in scalar_min_max_arsh()
7773 	umin_val = src_reg.umin_value;  in adjust_scalar_min_max_vals()
8363 		if (reg->umin_value > val)  in is_branch64_taken()
8377 		else if (reg->umin_value >= val)  in is_branch64_taken()
8387 		if (reg->umin_value >= val)  in is_branch64_taken()
8401 		else if (reg->umin_value > val)  in is_branch64_taken()
8587 			true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max()
8624 			false_reg->umin_value = max(false_reg->umin_value, false_umin);  in reg_set_min_max()
8686 	src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value,  in __reg_combine_min_max()
8687 							dst_reg->umin_value);  in __reg_combine_min_max()
10062 	return old->umin_value <= cur->umin_value &&  in range_within()