[Bug target/117766] Confusion over whether ARM32 -march=armv8-a implies floating point support

[tgl at sss dot pgh.pa.us via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117766

--- Comment #5 from Tom Lane <tgl at sss dot pgh.pa.us> ---
As far as that goes: I don't think there are any armv8-a machines without an
FPU, either.  The v8a spec technically allows it in 32-bit but not 64-bit mode;
but desultory searching doesn't find any examples.