14874 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()  local
14883 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
14884 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
14999 		    check_add_overflow(umax_ptr, umax_val, &dst_reg->umax_value)) {  in adjust_ptr_min_max_vals()
15050 		if (umin_ptr < umax_val) {  in adjust_ptr_min_max_vals()
15056 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
15114 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_add()  local
15129 	max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax);  in scalar32_min_max_add()
15145 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_add()  local
15160 	max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax);  in scalar_min_max_add()
15176 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_sub()  local
15191 	min_underflow = check_sub_overflow(*dst_umin, umax_val, dst_umin);  in scalar32_min_max_sub()
15208 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_sub()  local
15223 	min_underflow = check_sub_overflow(*dst_umin, umax_val, dst_umin);  in scalar_min_max_sub()
15540 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_and()  local
15551 	dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val);  in scalar32_min_max_and()
15570 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_and()  local
15581 	dst_reg->umax_value = min(dst_reg->umax_value, umax_val);  in scalar_min_max_and()
15719 				   u64 umin_val, u64 umax_val)  in __scalar32_min_max_lsh()  argument
15727 	if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) {  in __scalar32_min_max_lsh()
15732 		dst_reg->u32_max_value <<= umax_val;  in __scalar32_min_max_lsh()
15739 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_lsh()  local
15744 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar32_min_max_lsh()
15755 				   u64 umin_val, u64 umax_val)  in __scalar64_min_max_lsh()  argument
15762 	if (umin_val == 32 && umax_val == 32) {  in __scalar64_min_max_lsh()
15771 	if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {  in __scalar64_min_max_lsh()
15776 		dst_reg->umax_value <<= umax_val;  in __scalar64_min_max_lsh()
15783 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_lsh()  local
15787 	__scalar64_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
15788 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
15799 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_rsh()  local
15820 	dst_reg->u32_min_value >>= umax_val;  in scalar32_min_max_rsh()
15830 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_rsh()  local
15850 	dst_reg->umin_value >>= umax_val;  in scalar_min_max_rsh()