Re: Problem regarding canonicalization

2006-04-04 Thread Andrew Haley
Ashwin writes: > I have a combiner pattern that converts a sub-cmp pattern to a cmp insn, > something like this - > "if (a-1 < 0)" > is converted to > "if (a<1)" > > Now consider the following test case - > > > f(long a){return (--a > 0);} > main(){if(f(0x8000L)==0)abort();exit(0

RE: Problem regarding canonicalization

2006-04-04 Thread Dave Korn
On 04 April 2006 10:39, Ashwin wrote: > I have a combiner pattern that converts a sub-cmp pattern to a cmp insn, > something like this - > "if (a-1 < 0)" > is converted to > "if (a<1)" > > When 1 is subtracted from MIN, > Similar problem seems to arise when MAX is passed to a function that > do