[Bug tree-optimization/109025] [13 Regression] ice in nested_in_vect_loop_p

[cvs-commit at gcc dot gnu.org]

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

--- Comment #11 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

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

commit r13-6503-gc1873079b05e399355eb79e4828ed9ba2d0c6968
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Mar 6 10:43:13 2023 +0100

    tree-optimization/109025 - fixup double reduction detection

    The following closes a gap in double reduction detection where we
    in the outer loop analysis fail to verify the inner LC PHI use is
    the latch definition of the inner loop PHI.  That latch definition
    is used to detect that an inner loop is part of a double reduction
    when later doing the inner loop analysis.

            PR tree-optimization/109025
            * tree-vect-loop.cc (vect_is_simple_reduction): Verify
            the inner LC PHI use is the inner loop PHI latch definition
            before classifying an outer PHI as double reduction.

            * gcc.dg/vect/pr109025.c: New testcase.