This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH GCC][2/3]Simplify ((A +- CST1 CMP A +- CST2)) for undefined overflow type
- From: Marc Glisse <marc dot glisse at inria dot fr>
- To: Bin Cheng <Bin dot Cheng at arm dot com>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, nd <nd at arm dot com>
- Date: Thu, 19 Oct 2017 17:33:57 +0200 (CEST)
- Subject: Re: [PATCH GCC][2/3]Simplify ((A +- CST1 CMP A +- CST2)) for undefined overflow type
- Authentication-results: sourceware.org; auth=none
- References: <DB5PR0801MB2742708FDDCEA2716C4589E1E7420@DB5PR0801MB2742.eurprd08.prod.outlook.com>
- Reply-to: gcc-patches at gcc dot gnu dot org
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