Testing with the glibc testsuite shows this patch needs a little more work to get correct underflow/inexact exceptions in the case where ST0 is positive and ST1/ST0 is small. I'll send a revised patch next week (I don't expect any changes in the rest of the code).
-- Joseph S. Myers jos...@codesourcery.com