[gcc r16-3891] Match: Adjust the unsigned SAT_MUL pattern

[Pan Li]

https://gcc.gnu.org/g:982eccec4cfe6abdf7bf415c11a4426709c135f8

commit r16-3891-g982eccec4cfe6abdf7bf415c11a4426709c135f8
Author: Pan Li <pan2.li@intel.com>
Date:   Mon Sep 8 22:32:12 2025 +0800

    Match: Adjust the unsigned SAT_MUL pattern
    
    The widen-mul removed the unnecessary cast, thus adjust the
    SAT_MUL of wide-mul to a simpler form.
    
    gcc/ChangeLog:
    
            * match.pd: Remove unnecessary cast of unsigned
            SAT_MUL for widen-mul.
    
    Signed-off-by: Pan Li <pan2.li@intel.com>

Diff:
---
 gcc/match.pd | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/match.pd b/gcc/match.pd
index 8107ee6ec83c..53320d7614ce 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -3630,8 +3630,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