Re: A combiner type optimization is causing a failure

2007-02-22 Thread Pranav Bhandarkar
On 2/22/07, Paolo Bonzini <[EMAIL PROTECTED]> wrote: > My question is that, IMO the test is checking overflow behaviour. Is > it right to have such a test ? Would you care to prepare a patch that moved it under gcc.dg, adding a { dg-options "-O2 -fno-strict-overflow" } marker (or maybe "-O2 -fn

Re: A combiner type optimization is causing a failure

2007-02-22 Thread Paolo Bonzini
My question is that, IMO the test is checking overflow behaviour. Is it right to have such a test ? Would you care to prepare a patch that moved it under gcc.dg, adding a { dg-options "-O2 -fno-strict-overflow" } marker (or maybe "-O2 -fno-wrapv")? But your optimization should also be condi

A combiner type optimization is causing a failure

2007-02-22 Thread Pranav Bhandarkar
Hello all, I added a small optimization which does the following . It converts a = a + 1 if ( a > 0 ) to if ( a > -1) a is a signed int. However this is causing 920612-1.c to fail, which is reproduced below for convenience. f(j)int j;{return++j>0;} main(){ if(f((~0U)>>1)) abort(); exit(0); } T