2701 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()  local
2708 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
2709 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
2785 		if (umin_ptr + umin_val < umin_ptr ||  in adjust_ptr_min_max_vals()
2790 			dst_reg->umin_value = umin_ptr + umin_val;  in adjust_ptr_min_max_vals()
2849 			dst_reg->umax_value = umax_ptr - umin_val;  in adjust_ptr_min_max_vals()
2896 	u64 umin_val, umax_val;  in adjust_scalar_min_max_vals()  local
2910 	umin_val = src_reg.umin_value;  in adjust_scalar_min_max_vals()
2915 	if ((src_known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_scalar_min_max_vals()
2916 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_scalar_min_max_vals()
2940 		if (dst_reg->umin_value + umin_val < umin_val ||  in adjust_scalar_min_max_vals()
2945 			dst_reg->umin_value += umin_val;  in adjust_scalar_min_max_vals()
2967 			dst_reg->umax_value -= umin_val;  in adjust_scalar_min_max_vals()
2989 		dst_reg->umin_value *= umin_val;  in adjust_scalar_min_max_vals()
3038 		dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in adjust_scalar_min_max_vals()
3075 			dst_reg->umin_value <<= umin_val;  in adjust_scalar_min_max_vals()
3078 		dst_reg->var_off = tnum_lshift(dst_reg->var_off, umin_val);  in adjust_scalar_min_max_vals()
3106 		dst_reg->var_off = tnum_rshift(dst_reg->var_off, umin_val);  in adjust_scalar_min_max_vals()
3108 		dst_reg->umax_value >>= umin_val;  in adjust_scalar_min_max_vals()
3124 		dst_reg->smin_value >>= umin_val;  in adjust_scalar_min_max_vals()
3125 		dst_reg->smax_value >>= umin_val;  in adjust_scalar_min_max_vals()
3126 		dst_reg->var_off = tnum_arshift(dst_reg->var_off, umin_val);  in adjust_scalar_min_max_vals()