5461 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()  local
5469 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
5470 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
5575 		if (umin_ptr + umin_val < umin_ptr ||  in adjust_ptr_min_max_vals()
5580 			dst_reg->umin_value = umin_ptr + umin_val;  in adjust_ptr_min_max_vals()
5645 			dst_reg->umax_value = umax_ptr - umin_val;  in adjust_ptr_min_max_vals()
5704 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_add()  local
5715 	if (dst_reg->u32_min_value + umin_val < umin_val ||  in scalar32_min_max_add()
5720 		dst_reg->u32_min_value += umin_val;  in scalar32_min_max_add()
5730 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_add()  local
5741 	if (dst_reg->umin_value + umin_val < umin_val ||  in scalar_min_max_add()
5746 		dst_reg->umin_value += umin_val;  in scalar_min_max_add()
5756 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_sub()  local
5775 		dst_reg->u32_max_value -= umin_val;  in scalar32_min_max_sub()
5784 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_sub()  local
5803 		dst_reg->umax_value -= umin_val;  in scalar_min_max_sub()
5811 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_mul()  local
5827 	dst_reg->u32_min_value *= umin_val;  in scalar32_min_max_mul()
5843 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_mul()  local
5859 	dst_reg->umin_value *= umin_val;  in scalar_min_max_mul()
5949 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_or()  local
5960 	dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val);  in scalar32_min_max_or()
5983 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_or()  local
5993 	dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in scalar_min_max_or()
6074 				   u64 umin_val, u64 umax_val)  in __scalar32_min_max_lsh()  argument
6086 		dst_reg->u32_min_value <<= umin_val;  in __scalar32_min_max_lsh()
6095 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_lsh()  local
6099 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar32_min_max_lsh()
6100 	dst_reg->var_off = tnum_subreg(tnum_lshift(subreg, umin_val));  in scalar32_min_max_lsh()
6110 				   u64 umin_val, u64 umax_val)  in __scalar64_min_max_lsh()  argument
6119 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
6124 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_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()  local
6146 	__scalar64_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
6147 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
6149 	dst_reg->var_off = tnum_lshift(dst_reg->var_off, umin_val);  in scalar_min_max_lsh()
6159 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_rsh()  local
6178 	dst_reg->var_off = tnum_rshift(subreg, umin_val);  in scalar32_min_max_rsh()
6180 	dst_reg->u32_max_value >>= umin_val;  in scalar32_min_max_rsh()
6190 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_rsh()  local
6208 	dst_reg->var_off = tnum_rshift(dst_reg->var_off, umin_val);  in scalar_min_max_rsh()
6210 	dst_reg->umax_value >>= umin_val;  in scalar_min_max_rsh()
6223 	u64 umin_val = src_reg->u32_min_value;  in scalar32_min_max_arsh()  local
6228 	dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val);  in scalar32_min_max_arsh()
6229 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
6231 	dst_reg->var_off = tnum_arshift(tnum_subreg(dst_reg->var_off), umin_val, 32);  in scalar32_min_max_arsh()
6246 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_arsh()  local
6251 	dst_reg->smin_value >>= umin_val;  in scalar_min_max_arsh()
6252 	dst_reg->smax_value >>= umin_val;  in scalar_min_max_arsh()
6254 	dst_reg->var_off = tnum_arshift(dst_reg->var_off, umin_val, 64);  in scalar_min_max_arsh()
6283 	u64 umin_val, umax_val;  in adjust_scalar_min_max_vals()  local
6293 	umin_val = src_reg.umin_value;  in adjust_scalar_min_max_vals()
6315 		     (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_scalar_min_max_vals()
6316 		    smin_val > smax_val || umin_val > umax_val) {  in adjust_scalar_min_max_vals()