[Bug tree-optimization/98064] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.c:726 with -O3 since r11-4921-g86cca5cc14602814

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from GCC 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:c1926449cad66b7e7875f214109950efdb8bb97b

commit r16-7913-gc1926449cad66b7e7875f214109950efdb8bb97b
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Mar 5 11:39:38 2026 +0100

    Fix overly restrictive live-lane extraction replacement

    The following fixes a regression introduced by r11-5542 which
    restricts replacing uses of live original defs of now vectorized
    stmts to when that does not require new loop-closed PHIs to be
    inserted.  That restriction keeps the original scalar definition
    live which is sub-optimal and also not reflected in costing.

    The particular case the following fixes can be seen in
    gcc.dg/vect/bb-slp-57.c is the case where we are replacing an
    existing loop closed PHI argument.

            PR tree-optimization/98064
            * tree-vect-loop.cc (vectorizable_live_operation): Do
            not restrict replacing uses in a LC PHI.

            * gcc.dg/vect/bb-slp-57.c: Verify we do not keep original
            stmts live.