kernel/bpf/verifier.c

13102 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,
13111 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
13112 	    smin_val > smax_val || umin_val > umax_val) {
13222 		if (umin_ptr + umin_val < umin_ptr ||
13227 			dst_reg->umin_value = umin_ptr + umin_val;
13287 			dst_reg->umax_value = umax_ptr - umin_val;
13333 	u32 umin_val = src_reg->u32_min_value;
13344 	if (dst_reg->u32_min_value + umin_val < umin_val ||
13349 		dst_reg->u32_min_value += umin_val;
13359 	u64 umin_val = src_reg->umin_value;
13370 	if (dst_reg->umin_value + umin_val < umin_val ||
13375 		dst_reg->umin_value += umin_val;
13385 	u32 umin_val = src_reg->u32_min_value;
13404 		dst_reg->u32_max_value -= umin_val;
13413 	u64 umin_val = src_reg->umin_value;
13432 		dst_reg->umax_value -= umin_val;
13440 	u32 umin_val = src_reg->u32_min_value;
13456 	dst_reg->u32_min_value *= umin_val;
13472 	u64 umin_val = src_reg->umin_value;
13488 	dst_reg->umin_value *= umin_val;
13569 	u32 umin_val = src_reg->u32_min_value;
13579 	dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val);
13599 	u64 umin_val = src_reg->umin_value;
13609 	dst_reg->umin_value = max(dst_reg->umin_value, umin_val);
13685 				   u64 umin_val, u64 umax_val)
13697 		dst_reg->u32_min_value <<= umin_val;
13706 	u32 umin_val = src_reg->u32_min_value;
13710 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);
13711 	dst_reg->var_off = tnum_subreg(tnum_lshift(subreg, umin_val));
13721 				   u64 umin_val, u64 umax_val)
13730 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)
13735 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0)
13745 		dst_reg->umin_value <<= umin_val;
13754 	u64 umin_val = src_reg->umin_value;
13757 	__scalar64_min_max_lsh(dst_reg, umin_val, umax_val);
13758 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);
13760 	dst_reg->var_off = tnum_lshift(dst_reg->var_off, umin_val);
13770 	u32 umin_val = src_reg->u32_min_value;
13789 	dst_reg->var_off = tnum_rshift(subreg, umin_val);
13791 	dst_reg->u32_max_value >>= umin_val;
13801 	u64 umin_val = src_reg->umin_value;
13819 	dst_reg->var_off = tnum_rshift(dst_reg->var_off, umin_val);
13821 	dst_reg->umax_value >>= umin_val;
13834 	u64 umin_val = src_reg->u32_min_value;
13837 	 * umax_val is equal to umin_val.
13839 	dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val);
13840 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);
13842 	dst_reg->var_off = tnum_arshift(tnum_subreg(dst_reg->var_off), umin_val, 32);
13857 	u64 umin_val = src_reg->umin_value;
13860 	 * to umin_val.
13862 	dst_reg->smin_value >>= umin_val;
13863 	dst_reg->smax_value >>= umin_val;
13865 	dst_reg->var_off = tnum_arshift(dst_reg->var_off, umin_val, 64);