http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57949
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I'm not expert on the 64-bit ABI; the Power.org ABI TSC never really got onto doing anything with the 64-bit ABI, although nominally it's in scope. The only Freescale peculiarity I know of for 64-bit processors is that some don't have fsqrt, but that's nothing to do with the ABI.
