https://gcc.gnu.org/g:982eccec4cfe6abdf7bf415c11a4426709c135f8
commit r16-3891-g982eccec4cfe6abdf7bf415c11a4426709c135f8 Author: Pan Li <[email protected]> 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 <[email protected]> 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
