On Thu, Oct 19, 2017 at 4:33 PM, Marc Glisse <marc.gli...@inria.fr> 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
