https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102226
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed - the incompatibility is hidden in the mode which isn't printed by the checking message. The PHI result has VNx2DImode while the PHI argument has V2DImode. It looks like this is from reduction-PHI retaining over epilogue vectorization where we seem to mix SVE and NEON style vectorization. The epilogue loop itself uses a converted value but its epilogue on the skip edge fails to do so.
