[gcc r17-3536] match: Remove `:c` in mul_cross_sum

https://gcc.gnu.org/g:3e57c50dcb222f53a02114df409da51bc8bb119f

commit r17-3536-g3e57c50dcb222f53a02114df409da51bc8bb119f
Author: Andrea Pinski <[email protected]>
Date:   Fri Aug 21 19:15:24 2026 -0700

    match: Remove `:c` in mul_cross_sum
    
    mul_cross_sum is just matching a simple plus expression without any conditions
    so it does not need the `:c` on the plus.
    
    This reduces the produced code from genmatch slightly but has no effect on the
    outcome as there is just a plain return there before the check of the opposite
    operands.
    
    Pushed as obvious after a bootstrap/test on x86_64-linux-gnu.
    
    gcc/ChangeLog:
    
            * match.pd (mul_cross_sum): Remove the `:c` from the plus.
    
    Signed-off-by: Andrea Pinski <[email protected]>

Diff:
---
 gcc/match.pd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/match.pd b/gcc/match.pd
index 77e1c6cf61c5..28c36e557443 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -12841,7 +12841,7 @@ and,
    Note: matches any PLUS; operands are validated as actual cross
    products by the forwprop consumer (long_mul_check_consistency).  */
 (match (mul_cross_sum @mul_hilo0 @mul_hilo1)
-  (plus:c @mul_hilo0 @mul_hilo1))
+  (plus @mul_hilo0 @mul_hilo1))
 /* Low sum: cross_sum + (xl*yl >> N).  */
 (match (mul_low_sum @op0 @op1 @mul_hilo0 @mul_hilo1 @0 @1)
   (plus:c