On Tue, Sep 9, 2025 at 3:31 AM <pan2...@intel.com> wrote: > > From: Pan Li <pan2...@intel.com> > > The widen-mul removed the unnecessary cast, thus adjust the > SAT_MUL of wide-mul to a simpler form.
OK. > gcc/ChangeLog: > > * match.pd: Remove unnecessary cast of unsigned > SAT_MUL for widen-mul. > > Signed-off-by: Pan Li <pan2...@intel.com> > --- > gcc/match.pd | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/gcc/match.pd b/gcc/match.pd > index b1d7a3a1b73..92e3ed91c71 100644 > --- a/gcc/match.pd > +++ b/gcc/match.pd > @@ -3595,8 +3595,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) > return (T)x; > } > while WT is uint128_t, T is uint8_t, uint16_t, uint32_t or uint64_t. > */ > - (convert (min (widen_mult:c@3 (convert@4 (convert @0)) > - (convert@5 (convert @1))) > + (convert (min (widen_mult:c@3 (convert@4 @0) > + (convert@5 @1)) > INTEGER_CST@2)) > (if (types_match (type, @0, @1)) > (with > -- > 2.43.0 >
