[Bug tree-optimization/126957] The convert for mul_carry_low_sum/mul_carry_cross_sum (mul_carry_low?) is not optional for gimple

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126957

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Andrea Pinski <pins...@gcc.gnu.org>:

https://gcc.gnu.org/g:0d8cda8fdbbf821f8caf8b3c59db6be43d552c5b

commit r17-3529-g0d8cda8fdbbf821f8caf8b3c59db6be43d552c5b
Author: Andrea Pinski <andrew.pin...@oss.qualcomm.com>
Date:   Fri Aug 21 00:01:10 2026 -0700

    match: Convert for mul_carry_low_sum and mul_carry_cross_sum is not
optional [PR126957]

    Since the case here we have is `convert (comparison)` The only case where
the cast
    would be optional would be for a 1bit integer type but these match patterns
are
    not expecting that so just remove the `?` on the convert. This reduces the
generated
    code from genmatch.

    Pushed as obvious after a bootstrap/test on x86_64-linux-gnu.

            PR tree-optimization/126957

    gcc/ChangeLog:

            * match.pd (mul_carry_low_sum): Remove `?` from convert.
            (mul_carry_cross_sum): Likewise.

    Signed-off-by: Andrea Pinski <andrew.pin...@oss.qualcomm.com>