From: Richard Biener <rguenther@suse.de>
Date: Tue, 7 Jul 2015 07:46:57 +0000 (+0000)
Subject: re PR tree-optimization/66739 (FAIL: gcc.target/aarch64/subs.c scan-assembler subs... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9ba196197966cb053dc13f973000c2ba8ace692;p=gcc.git

re PR tree-optimization/66739 (FAIL: gcc.target/aarch64/subs.c scan-assembler subs\tw[0-9])

2015-07-07  Richard Biener  <rguenther@suse.de>

	PR middle-end/66739
	* match.pd: Condition A - B ==/!= 0 -> A ==/!= B on single-use
	A - B.

From-SVN: r225502
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f7562a04cc1..c0500c25b82 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-07-07  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/66739
+	* match.pd: Condition A - B ==/!= 0 -> A ==/!= B on single-use
+	A - B.
+
 2015-07-06  Uros Bizjak  <ubizjak@gmail.com>
 
 	* config/i386/i386.md (insv<mode>): Rename from insv.  Use SWI48
diff --git a/gcc/match.pd b/gcc/match.pd
index 53e911a20aa..641148652b2 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1334,8 +1334,9 @@ along with GCC; see the file COPYING3.  If not see
    attempts to synthetize ABS_EXPR.  */
 (for cmp (eq ne)
  (simplify
-  (cmp (minus @0 @1) integer_zerop)
-  (cmp @0 @1)))
+  (cmp (minus@2 @0 @1) integer_zerop)
+  (if (single_use (@2))
+   (cmp @0 @1))))
 
 /* Transform comparisons of the form X * C1 CMP 0 to X CMP 0 in the
    signed arithmetic case.  That form is created by the compiler