https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104984
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- See libgcc/config/rs6000/t-e500v1-fp (which should have been removed along with associated configure logic when the powerpcspe port was removed, the cases using that file should no longer be reachable), for an example of a configuration using hardware floating point for single precision only.
