Re: Ping Re: Fix IBM long double spurious overflows

2014-01-29 Thread Mike Stump
On Jan 28, 2014, at 6:38 PM, David Edelsohn wrote: > It is not appropriate for a GCC or GLIBC maintainer to impose behavior So, let's ask the direct question, do you oppose making -mieee conforming to ieee? If not, they the fixes in question seem like they should be turned on with -mieee, and

Re: Ping Re: Fix IBM long double spurious overflows

2014-01-28 Thread Joseph S. Myers
On Wed, 29 Jan 2014, Joseph S. Myers wrote: > It is appropriate for glibc maintainers to seek consensus in the glibc > community on minimum requirements for glibc ports, just as on any other > question about what is or is not supported in glibc. For example, it is > presently expected that a p

Re: Ping Re: Fix IBM long double spurious overflows

2014-01-28 Thread Joseph S. Myers
On Tue, 28 Jan 2014, David Edelsohn wrote: > On Tue, Jan 28, 2014 at 4:19 PM, Joseph S. Myers > wrote: > > > The glibc libm testsuite has much more thorough coverage (hopefully soon > > to include running all tests in all rounding modes by default) than it did > > two years ago, and it's a pain

Re: Ping Re: Fix IBM long double spurious overflows

2014-01-28 Thread David Edelsohn
On Tue, Jan 28, 2014 at 4:19 PM, Joseph S. Myers wrote: > The glibc libm testsuite has much more thorough coverage (hopefully soon > to include running all tests in all rounding modes by default) than it did > two years ago, and it's a pain to keep test results clean across all > architectures wh

Re: Ping Re: Fix IBM long double spurious overflows

2014-01-28 Thread Joseph S. Myers
On Tue, 28 Jan 2014, David Edelsohn wrote: > Joseph, > > Adding the various tests for overflow slows down some other code where > performance is important. Explicitly changing rounding mode would be > even more invasive and have significant performance impact. > > This long double format never

Re: Ping Re: Fix IBM long double spurious overflows

2014-01-28 Thread David Edelsohn
On Tue, Jan 28, 2014 at 12:51 PM, Joseph S. Myers wrote: > On Mon, 6 Jan 2014, David Edelsohn wrote: > >> On Sat, Jan 4, 2014 at 8:16 AM, Joseph S. Myers >> wrote: >> > This patch fixes various cases of spurious overflow exceptions in the >> > IBM long double support code. The generic issue is

Ping Re: Fix IBM long double spurious overflows

2014-01-28 Thread Joseph S. Myers
On Mon, 6 Jan 2014, David Edelsohn wrote: > On Sat, Jan 4, 2014 at 8:16 AM, Joseph S. Myers > wrote: > > This patch fixes various cases of spurious overflow exceptions in the > > IBM long double support code. The generic issue is that an initial > > approximation is computed by using the releva

Re: Fix IBM long double spurious overflows

2014-01-06 Thread David Edelsohn
On Sat, Jan 4, 2014 at 8:16 AM, Joseph S. Myers wrote: > This patch fixes various cases of spurious overflow exceptions in the > IBM long double support code. The generic issue is that an initial > approximation is computed by using the relevant arithmetic operation > on the high parts of the ope

Fix IBM long double spurious overflows

2014-01-04 Thread Joseph S. Myers
This patch fixes various cases of spurious overflow exceptions in the IBM long double support code. The generic issue is that an initial approximation is computed by using the relevant arithmetic operation on the high parts of the operands - but this may overflow double in some cases where the fin