https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91970
--- Comment #7 from nsz at gcc dot gnu.org --- i think the code snippet i posted is more efficient and significantly smaller than using libgcc (which also sounds hard to wire up to do the right thing). the code sequence can possibly be even inlined. (and i don't mind if ucontrollers with single precision only fpu don't have correct fenv behaviour)
