Re: [IA-64] Improve FP comparisons with -fno-trapping-math

2013-05-29 Thread Eric Botcazou
> Yes, SPECfp. And no, I don't think they enable trap-on-FP-exceptions but > they may cause exceptional behavior even if -fno-trapping-math is specified > (not sure if IA64 masks exceptions on the comparisons?) The manual says that QNaNs signal Invalid for the signaling FP comparison operators a

Re: [IA-64] Improve FP comparisons with -fno-trapping-math

2013-05-29 Thread Richard Biener
On Wed, May 29, 2013 at 11:19 AM, Eric Botcazou wrote: >> Did you check that this doesn't cause traps on SPEC CPU 2000 / 2006 >> when compiled with -ffast-math (something we generally want to support, >> even if it is on the border of validity)? > > Do you mean SPECfp because some benchmarks might

Re: [IA-64] Improve FP comparisons with -fno-trapping-math

2013-05-29 Thread Eric Botcazou
> Did you check that this doesn't cause traps on SPEC CPU 2000 / 2006 > when compiled with -ffast-math (something we generally want to support, > even if it is on the border of validity)? Do you mean SPECfp because some benchmarks might enable trap-on-FP-exceptions and you nevertheless compile th

Re: [IA-64] Improve FP comparisons with -fno-trapping-math

2013-05-29 Thread Richard Biener
On Wed, May 29, 2013 at 10:33 AM, Eric Botcazou wrote: > Hi, > > on most platforms the Ada compiler doesn't enable trap-on-FP-exceptions, so > it's appropriate to set -fno-trapping-math there, which has been done in > http://gcc.gnu.org/ml/gcc-patches/2013-05/msg01461.html > > However doing so c

[IA-64] Improve FP comparisons with -fno-trapping-math

2013-05-29 Thread Eric Botcazou
Hi, on most platforms the Ada compiler doesn't enable trap-on-FP-exceptions, so it's appropriate to set -fno-trapping-math there, which has been done in http://gcc.gnu.org/ml/gcc-patches/2013-05/msg01461.html However doing so can have an adverse effect if the architecture doesn't have a suffi