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

[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