https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95125
--- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Richard Biener from comment #1) > ISTR I filed a duplicate 10 years ago or so. The issue is the vectorizer > could not handle V4DFmode -> V4SFmode conversions. > > Could, because for SVE we added the capability but this requires > additional instruction patterns (IIRC I filed a but about this last > year). Yep. PR92658 it is. Oh... yes. And it is even assigned to me. And there is a patch... ;) Anyway, I got surprised, since my soon-to-be committed v2sf-v2df conversion patch was able to fully vectorize similar testcase involving double[2] and float[2], while code involving [4] compiled to he mess below.