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