[Bug tree-optimization/113750] [14 Regression] ICE in vect building gcc/m2/gm2-libs/NumberIO.mod since r14-8769-g64b0130bb6702c

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Tamar Christina <tnfchris@gcc.gnu.org>:

https://gcc.gnu.org/g:5c3ba60024fedc6b3d374ebb071bcf5b3e27cd62

commit r14-8840-g5c3ba60024fedc6b3d374ebb071bcf5b3e27cd62
Author: Tamar Christina <tamar.christina@arm.com>
Date:   Wed Feb 7 10:59:32 2024 +0000

    middle-end: fix ICE when destination BB for stores starts with a label
[PR113750]

    The report shows that if the FE leaves a label as the first thing in the
dest
    BB then we ICE because we move the stores before the label.

    This is easy to fix if we know that there's still only one way into the BB.
    We would have already rejected the loop if there was multiple paths into
the BB
    however I added an additional check just for early break in case the other
    constraints are relaxed later with an explanation.

    After that we fix the issue just by getting the GSI after the labels and I
add
    a bunch of testcases for different positions the label can be added.  Only
the
    vect-early-break_112-pr113750.c one results in the label being kept.

    gcc/ChangeLog:

            PR tree-optimization/113750
            * tree-vect-data-refs.cc (vect_analyze_early_break_dependences):
Check
            for single predecessor when doing early break vect.
            * tree-vect-loop.cc (move_early_exit_stmts): Get gsi at the start
but
            after labels.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/113750
            * gcc.dg/vect/vect-early-break_112-pr113750.c: New test.
            * gcc.dg/vect/vect-early-break_113-pr113750.c: New test.
            * gcc.dg/vect/vect-early-break_114-pr113750.c: New test.
            * gcc.dg/vect/vect-early-break_115-pr113750.c: New test.
            * gcc.dg/vect/vect-early-break_116-pr113750.c: New test.