[Bug tree-optimization/126301] Incorrect loop control for loops where latch preceeds loop

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

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

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Alfie Richards
<alfiericha...@gcc.gnu.org>:

https://gcc.gnu.org/g:50b1269d94bac5be3bbdfb88b07f370a4497e561

commit r17-5018-g50b1269d94bac5be3bbdfb88b07f370a4497e561
Author: Alfie Richards <alfie.richa...@arm.com>
Date:   Thu Oct 8 15:49:01 2026 +0000

    fix: vect: Fix for avx512 and non-partial vectorization [PR 126301]

    I was incorrect previously thinking PR 126301 only affected partial
    vectors.

    This duplicates Tamars fix for the other two control flow branches.

            PR tree-optimization/126301

    gcc/ChangeLog:

            * tree-vect-loop-manip.cc (vect_use_loop_latch_condition_p):
            Remove restriction for avx512 and non-partial vectors.
            (vect_reuse_loop_latch): New function.
            (vect_set_loop_condition_partial_vectors_avx512):
            Add logic for do loop transformation.
            (vect_set_loop_condition_normal): Likewise.

    Co-Authored-By: Tamar Christina <tamar.christ...@arm.com>