Apologies as it's not exactly what you are after but have you considered the Berkeley Soft Float library?
http://www.jhauser.us/arithmetic/SoftFloat.html It supports 80-bit double precision.
At worst it might be useful to compile it and see what the resulting assembly looks like for the functions you are after if noone can help.