14665 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()  local
14674 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
14675 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
14789 		if (check_add_overflow(umin_ptr, umin_val, &dst_reg->umin_value) ||  in adjust_ptr_min_max_vals()
14848 			dst_reg->umax_value = umax_ptr - umin_val;  in adjust_ptr_min_max_vals()
14904 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_add()  local
14919 	min_overflow = check_add_overflow(*dst_umin, umin_val, dst_umin);  in scalar32_min_max_add()
14935 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_add()  local
14950 	min_overflow = check_add_overflow(*dst_umin, umin_val, dst_umin);  in scalar_min_max_add()
14966 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_sub()  local
14983 	max_underflow = check_sub_overflow(*dst_umax, umin_val, dst_umax);  in scalar32_min_max_sub()
14998 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_sub()  local
15015 	max_underflow = check_sub_overflow(*dst_umax, umin_val, dst_umax);  in scalar_min_max_sub()
15148 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_or()  local
15158 	dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val);  in scalar32_min_max_or()
15178 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_or()  local
15188 	dst_reg->umin_value = max(dst_reg->umin_value, umin_val);  in scalar_min_max_or()
15264 				   u64 umin_val, u64 umax_val)  in __scalar32_min_max_lsh()  argument
15276 		dst_reg->u32_min_value <<= umin_val;  in __scalar32_min_max_lsh()
15285 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_lsh()  local
15289 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar32_min_max_lsh()
15290 	dst_reg->var_off = tnum_subreg(tnum_lshift(subreg, umin_val));  in scalar32_min_max_lsh()
15300 				   u64 umin_val, u64 umax_val)  in __scalar64_min_max_lsh()  argument
15309 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
15314 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0)  in __scalar64_min_max_lsh()
15324 		dst_reg->umin_value <<= umin_val;  in __scalar64_min_max_lsh()
15333 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_lsh()  local
15336 	__scalar64_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
15337 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
15339 	dst_reg->var_off = tnum_lshift(dst_reg->var_off, umin_val);  in scalar_min_max_lsh()
15349 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_rsh()  local
15368 	dst_reg->var_off = tnum_rshift(subreg, umin_val);  in scalar32_min_max_rsh()
15370 	dst_reg->u32_max_value >>= umin_val;  in scalar32_min_max_rsh()
15380 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_rsh()  local
15398 	dst_reg->var_off = tnum_rshift(dst_reg->var_off, umin_val);  in scalar_min_max_rsh()
15400 	dst_reg->umax_value >>= umin_val;  in scalar_min_max_rsh()
15413 	u64 umin_val = src_reg->u32_min_value;  in scalar32_min_max_arsh()  local
15418 	dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val);  in scalar32_min_max_arsh()
15419 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
15421 	dst_reg->var_off = tnum_arshift(tnum_subreg(dst_reg->var_off), umin_val, 32);  in scalar32_min_max_arsh()
15436 	u64 umin_val = src_reg->umin_value;  in scalar_min_max_arsh()  local
15441 	dst_reg->smin_value >>= umin_val;  in scalar_min_max_arsh()
15442 	dst_reg->smax_value >>= umin_val;  in scalar_min_max_arsh()
15444 	dst_reg->var_off = tnum_arshift(dst_reg->var_off, umin_val, 64);  in scalar_min_max_arsh()