https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116855
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- I would suggest to add a STMT_VINFO_ENSURE_NOTRAP or so and delay actual verification to vectorizable_load when both vector type and VF are fixed. We'd then likely need a LOOP_VINFO_MUST_USE_PARTIAL_VECTORS_P set conservatively the other way around from LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P. Alignment peeling could then peel if STMT_VINFO_ENSURE_NOTRAP and the target cannot do full loop masking.
