From: Pan Li <pan2.li@intel.com>
Date: Mon, 8 Sep 2025 14:32:12 +0000 (+0800)
Subject: Match: Adjust the unsigned SAT_MUL pattern
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=982eccec4cfe6abdf7bf415c11a4426709c135f8;p=thirdparty%2Fgcc.git

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 --git a/gcc/match.pd b/gcc/match.pd
index 8107ee6ec83..53320d7614c 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