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