613 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
621 				if (reg->umin_value != 0)  in print_verifier_state()
623 						(unsigned long long)reg->umin_value);  in print_verifier_state()
641 				if (reg->u32_min_value != reg->umin_value &&  in print_verifier_state()
1019 	reg->umin_value = imm;  in ___mark_reg_known()
1105 	reg->umin_value = 0;  in __mark_reg_unbounded()
1118 	reg->umin_value = 0;  in __mark_reg64_unbounded()
1153 	reg->umin_value = max(reg->umin_value, reg->var_off.value);  in __update_reg64_bounds()
1207 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1208 							  reg->umin_value);  in __reg64_deduce_bounds()
1220 		reg->smin_value = reg->umin_value;  in __reg64_deduce_bounds()
1223 	} else if ((s64)reg->umin_value < 0) {  in __reg64_deduce_bounds()
1227 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1228 							  reg->umin_value);  in __reg64_deduce_bounds()
1243 					       tnum_range(reg->umin_value,  in __reg_bound_offset()
1254 	reg->umin_value = reg->u32_min_value;  in __reg_assign_32_into_64()
1319 	if (__reg64_bound_u32(reg->umin_value))  in __reg_combine_64_into_32()
1320 		reg->u32_min_value = (u32)reg->umin_value;  in __reg_combine_64_into_32()
2238 	       reg->umin_value == 0 && reg->umax_value == U64_MAX &&  in __is_scalar_unbounded()
3235 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
3236 		reg->umin_value &= mask;  in coerce_reg_to_size()
3239 		reg->umin_value = 0;  in coerce_reg_to_size()
3242 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
4290 		if (reg->umin_value == 0) {  in check_func_arg()
5461 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
5462 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
5551 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
5577 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
5580 			dst_reg->umin_value = umin_ptr + umin_val;  in adjust_ptr_min_max_vals()
5618 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
5640 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
5644 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
5730 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_add()
5741 	if (dst_reg->umin_value + umin_val < umin_val ||  in scalar_min_max_add()
5743 		dst_reg->umin_value = 0;  in scalar_min_max_add()
5746 		dst_reg->umin_value += umin_val;  in scalar_min_max_add()
5784 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_sub()
5796 	if (dst_reg->umin_value < umax_val) {  in scalar_min_max_sub()
5798 		dst_reg->umin_value = 0;  in scalar_min_max_sub()
5802 		dst_reg->umin_value -= umax_val;  in scalar_min_max_sub()
5843 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_mul()
5859 	dst_reg->umin_value *= umin_val;  in scalar_min_max_mul()
5866 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_mul()
5923 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_and()
5935 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_and()
5983 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_or()
5993 	dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in scalar_min_max_or()
6005 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_or()
6056 	dst_reg->umin_value = dst_reg->var_off.value;  in scalar_min_max_xor()
6063 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_xor()
6131 		dst_reg->umin_value = 0;  in __scalar64_min_max_lsh()
6134 		dst_reg->umin_value <<= umin_val;  in __scalar64_min_max_lsh()
6143 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_lsh()
6190 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_rsh()
6209 	dst_reg->umin_value >>= umax_val;  in scalar_min_max_rsh()
6246 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_arsh()
6259 	dst_reg->umin_value = 0;  in scalar_min_max_arsh()
6293 	umin_val = src_reg.umin_value;  in adjust_scalar_min_max_vals()
6888 		if (reg->umin_value > val)  in is_branch64_taken()
6902 		else if (reg->umin_value >= val)  in is_branch64_taken()
6912 		if (reg->umin_value >= val)  in is_branch64_taken()
6926 		else if (reg->umin_value > val)  in is_branch64_taken()
7051 			true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max()
7088 			false_reg->umin_value = max(false_reg->umin_value, false_umin);  in reg_set_min_max()
7166 	src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value,  in __reg_combine_min_max()
7167 							dst_reg->umin_value);  in __reg_combine_min_max()
8463 	return old->umin_value <= cur->umin_value &&  in range_within()