https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100000
--- Comment #3 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- Given that the hard-float ABI essentially requires V4SF as a type, it might be better to consider this mode supported unconditionally in this case, and although that might make the compiler try some pointless vectorizations it would generate better code for cases like this.
