https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99773
--- Comment #1 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- -march=armv8.1-m.main+mve -mfloat-abi=hard should use the VFP registers for passing any FP arguments so the build attribute for Tag_ABI_VFP_args should be set to show that. It's true that soft-float routines will still be needed to do any FP operations in this case, but that doesn't affect the ABI at public interfaces.
