Re: [PATCH GCC][2/3]Simplify ((A +- CST1 CMP A +- CST2)) for undefined overflow type

2017-10-19 Thread Bin.Cheng 
On Thu, Oct 19, 2017 at 4:33 PM, Marc Glisse  wrote:
> On Thu, 19 Oct 2017, Bin Cheng wrote:
>
>> * match.pd (A +- CST1 CMP A +- CST2): New pattern.
>
>
> Similarly, this has a very large overlap with "X + Z < Y + Z" transforms
> already in match.pd. It may handle X - CST CMP X + CST that the other
> doesn't (?), but we tend to canonicalize X-5 to X+-5 anyway.
And drop this one.

Thanks,
bin
>
> --
> Marc Glisse

Re: [PATCH GCC][2/3]Simplify ((A +- CST1 CMP A +- CST2)) for undefined overflow type

2017-10-19 Thread Marc Glisse 

On Thu, 19 Oct 2017, Bin Cheng wrote:


* match.pd (A +- CST1 CMP A +- CST2): New pattern.


Similarly, this has a very large overlap with "X + Z < Y + Z" transforms 
already in match.pd. It may handle X - CST CMP X + CST that the other 
doesn't (?), but we tend to canonicalize X-5 to X+-5 anyway.


--
Marc Glisse