[Bug tree-optimization/117776] [12/13/14/15 Regression] Missed optimization/vectorization opportunity (adding a even/odd check to an accumulator)

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

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

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

https://gcc.gnu.org/g:bca515ff1893fe4ca1a9042364af3c43f93a397c

commit r15-5730-gbca515ff1893fe4ca1a9042364af3c43f93a397c
Author: Andrew Pinski <quic_apin...@quicinc.com>
Date:   Mon Nov 25 16:04:21 2024 -0800

    match: Improve handling of double convert [PR117776]

    For a double conversion, we will simplify it into a conversion
    with an and if the outer type and inside precision matches and
    the intra precision is smaller and unsigned. We should be able
    to extend this to where the outer precision is larger too.
    This is a good canonicalization too.

    Bootstrapped and tested on x86_64-linux-gnu.

            PR tree-optimization/117776
    gcc/ChangeLog:

            * match.pd (nested int casts): Allow for the case
            where the final prec is greater than the original
            prec.

    gcc/testsuite/ChangeLog:

            * g++.dg/vect/pr117776.cc: New test.
            * gcc.dg/tree-ssa/cast-3.c: New test.

    Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>