https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94743
--- Comment #22 from Christophe Lyon <clyon at gcc dot gnu.org> --- Not sure if we can close this PR: I have only implemented a part of what we discussed here. GCC now emits a warning so the user can take action to make sure his code is correct/correctly generated, but GCC does not handle saving/restoring all of the FP registers automatically.