https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123588
Victor Do Nascimento <victorldn at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #16 from Victor Do Nascimento <victorldn at gcc dot gnu.org> ---
We've been able to devise a reduced testcase modified to use counted as opposed
to uncounted loops to simplify reasoning about the issue.
Based on that we have a proposed fix which fixes this and can be backported to
GCC15 wherein the issue had thus far laid dormant.
The plan for the immediate fix and backport is to reject vectorization
involving VMAT_ELEMENTWISE-type loads in early-break loops where each element
comes from a different loop iteration and where DR_SCALAR_KNOWN_BOUNDS
(STMT_VINFO_DR_INFO (stmt_info)) is false.
Moving forward we can add appropriate alignment checks so that these cases can
be considered for vectorization too.
*** This bug has been marked as a duplicate of bug 124037 ***
