Refactor floating-point formatting code; fix 80-bit denorms
commit4da5b8c2dda85f085cff21db1440e8c3b012471b
authorH. Peter Anvin <hpa@zytor.com>
Tue, 16 Oct 2007 17:32:57 +0000 (16 10:32 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Tue, 16 Oct 2007 17:32:57 +0000 (16 10:32 -0700)
tree1998c12e97262e63d538d80bae0227ed41841b1c
parent61872221ad337568eb654200997f92e41f3f27ba
Refactor floating-point formatting code; fix 80-bit denorms

Refactor the floating-point formatting code so that the 80-bit format
can be supported with common code.  This fixes 80-bit denorms as a
side effect; the shift value in 80-bit denorms was completely wrong.
float.c