https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113134
--- Comment #7 from Tamar Christina <tnfchris at gcc dot gnu.org> --- You may be able to use the same approach as else if (LOOP_VINFO_FULLY_MASKED_P (loop_vinfo)) that is, reverse both the mask and the vector and using extract last. It's not going to be performance critical so it's more important to be correct rather than fast.