477 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
485 				if (reg->umin_value != 0)  in print_verifier_state()
487 						(unsigned long long)reg->umin_value);  in print_verifier_state()
868 	reg->umin_value = imm;  in __mark_reg_known()
933 	reg->umin_value = max(reg->umin_value, reg->var_off.value);  in __update_reg_bounds()
947 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg_deduce_bounds()
948 							  reg->umin_value);  in __reg_deduce_bounds()
960 		reg->smin_value = reg->umin_value;  in __reg_deduce_bounds()
963 	} else if ((s64)reg->umin_value < 0) {  in __reg_deduce_bounds()
967 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg_deduce_bounds()
968 							  reg->umin_value);  in __reg_deduce_bounds()
977 				      tnum_range(reg->umin_value,  in __reg_bound_offset()
986 	reg->umin_value = 0;  in __mark_reg_unbounded()
2731 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
2732 		reg->umin_value &= mask;  in coerce_reg_to_size()
2735 		reg->umin_value = 0;  in coerce_reg_to_size()
2738 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
3399 		if (reg->umin_value == 0) {  in check_func_arg()
4336 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
4337 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
4414 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
4440 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
4443 			dst_reg->umin_value = umin_ptr + umin_val;  in adjust_ptr_min_max_vals()
4481 			dst_reg->umin_value = umin_ptr;  in adjust_ptr_min_max_vals()
4503 			dst_reg->umin_value = 0;  in adjust_ptr_min_max_vals()
4507 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
4591 	umin_val = src_reg.umin_value;  in adjust_scalar_min_max_vals()
4626 		if (dst_reg->umin_value + umin_val < umin_val ||  in adjust_scalar_min_max_vals()
4628 			dst_reg->umin_value = 0;  in adjust_scalar_min_max_vals()
4631 			dst_reg->umin_value += umin_val;  in adjust_scalar_min_max_vals()
4651 		if (dst_reg->umin_value < umax_val) {  in adjust_scalar_min_max_vals()
4653 			dst_reg->umin_value = 0;  in adjust_scalar_min_max_vals()
4657 			dst_reg->umin_value -= umax_val;  in adjust_scalar_min_max_vals()
4680 		dst_reg->umin_value *= umin_val;  in adjust_scalar_min_max_vals()
4687 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
4701 		dst_reg->umin_value = dst_reg->var_off.value;  in adjust_scalar_min_max_vals()
4713 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
4729 		dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in adjust_scalar_min_max_vals()
4742 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
4763 			dst_reg->umin_value = 0;  in adjust_scalar_min_max_vals()
4766 			dst_reg->umin_value <<= umin_val;  in adjust_scalar_min_max_vals()
4798 		dst_reg->umin_value >>= umax_val;  in adjust_scalar_min_max_vals()
4822 		dst_reg->umin_value = 0;  in adjust_scalar_min_max_vals()
5215 		if ((reg->umax_value ^ reg->umin_value) &  in is_branch_taken()
5245 		if (reg->umin_value > val)  in is_branch_taken()
5259 		else if (reg->umin_value >= val)  in is_branch_taken()
5269 		if (reg->umin_value >= val)  in is_branch_taken()
5283 		else if (reg->umin_value > val)  in is_branch_taken()
5383 		true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max()
5411 		false_reg->umin_value = max(false_reg->umin_value, false_umin);  in reg_set_min_max()
5494 		false_reg->umin_value = max(false_reg->umin_value, false_umin);  in reg_set_min_max_inv()
5521 		true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max_inv()
5557 	src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value,  in __reg_combine_min_max()
5558 							dst_reg->umin_value);  in __reg_combine_min_max()
6674 	return old->umin_value <= cur->umin_value &&  in range_within()