One could add a -mtune-fpu switch. Did you look at other architectures in the GCC tree that would have similar requirements?
Thank you for the suggestion about adding a -mtune-fpu switch. I have not yet looked at the other architectures, but will do so before proceeding.
-- Daniel Cederman
