Lines Matching defs:dst_umax
14771 u32 *dst_umax = &dst_reg->u32_max_value;
14783 * it is okay to set: dst_umin = dst_umin + src_umin, dst_umax =
14784 * dst_umax + src_umax. Otherwise (some additions overflow), set
14788 max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax);
14792 *dst_umax = U32_MAX;
14802 u64 *dst_umax = &dst_reg->umax_value;
14814 * it is okay to set: dst_umin = dst_umin + src_umin, dst_umax =
14815 * dst_umax + src_umax. Otherwise (some additions overflow), set
14819 max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax);
14823 *dst_umax = U64_MAX;
14833 u32 *dst_umax = &dst_reg->u32_max_value;
14847 * dst_umax = dst_umax - src_umin. Otherwise (some subtractions
14851 max_underflow = check_sub_overflow(*dst_umax, umin_val, dst_umax);
14855 *dst_umax = U32_MAX;
14865 u64 *dst_umax = &dst_reg->umax_value;
14879 * dst_umax = dst_umax - src_umin. Otherwise (some subtractions
14883 max_underflow = check_sub_overflow(*dst_umax, umin_val, dst_umax);
14887 *dst_umax = U64_MAX;
14897 u32 *dst_umax = &dst_reg->u32_max_value;
14900 if (check_mul_overflow(*dst_umax, src_reg->u32_max_value, dst_umax) ||
14904 *dst_umax = U32_MAX;
14925 u64 *dst_umax = &dst_reg->umax_value;
14928 if (check_mul_overflow(*dst_umax, src_reg->umax_value, dst_umax) ||
14932 *dst_umax = U64_MAX;