[PATCH] Update sparc ULPs.

Joseph S. Myers joseph@codesourcery.com
Mon Sep 24 01:28:00 GMT 2012


On Sun, 23 Sep 2012, David Miller wrote:

> It turns out that the very first operation on xm1 in the ldbl-128
> implementation of log1pl triggers the underflow/inexact exception.
> 
>   x = xm1 + 1.0L;
> 
> This unprotected expression exists in the ldbl-128ibm version of
> log1pl as well, so I'm surprised powerpc doesn't see this too.
> 
> The expression "0x1p-16378L + 1.0L" should underflow, right?

No.  The result is in the normal range (equal to 1.0L in round-to-nearest 
mode), so no underflow.

In general, addition or subtraction should never set the underflow flag, 
since if the result is below the normal exponent range then it is also 
exact.

-- 
Joseph S. Myers
joseph@codesourcery.com



More information about the Libc-alpha mailing list