https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79282
--- Comment #4 from Christophe Lyon <clyon at gcc dot gnu.org> --- I think the intention is to provide the alternatives with "avoid_neon_for_64bits" as last resort: when Neon is not preferred, but available, we can use it, but prefer to use GPR instead, so try them first.
