This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH GCC][1/3]Simplify (A + CST cmp A -> CST cmp zero) 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:22:51 +0200 (CEST)
- Subject: Re: [PATCH GCC][1/3]Simplify (A + CST cmp A -> CST cmp zero) for undefined overflow type
- Authentication-results: sourceware.org; auth=none
- References: <DB5PR0801MB2742FB8E536D63ACD8075576E7420@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 + CST cmp A -> CST cmp zero): New simplification
for undefined overflow types in (A + CST CMP A -> A CMP' CST').
Could you check if you still need that? I recently added something very
similar (search for "X + Y < Y" in match.pd).
--
Marc Glisse