* simplify-rtx.c (simplify_relational_operation_1): For recent

	canonicalization, don't recurse if op1 equals both PLUS arguments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128323 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0a493c1..a16c414 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2007-09-10  Hans-Peter Nilsson  <hp@axis.com>
+
+       * simplify-rtx.c (simplify_relational_operation_1): For recent
+       canonicalization, don't recurse if op1 equals both PLUS arguments.
+
 2007-09-09  David Daney  <ddaney@avtrex.com>
 
        * optabs.c (expand_sync_operation):  Use plus insn if minus

diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index 02f9e2b..329a0ff 100644 (file)
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -3816,7 +3816,9 @@ simplify_relational_operation_1 (enum rtx_code code, enum machine_mode mode,
   /* Canonicalize (LTU/GEU (PLUS a b) b) as (LTU/GEU (PLUS a b) a).  */
   if ((code == LTU || code == GEU)
       && GET_CODE (op0) == PLUS
-      && rtx_equal_p (op1, XEXP (op0, 1)))
+      && rtx_equal_p (op1, XEXP (op0, 1))
+      /* Don't recurse "infinitely" for (LTU/GEU (PLUS b b) b).  */
+      && !rtx_equal_p (op1, XEXP (op0, 0)))
     return simplify_gen_relational (code, mode, cmp_mode, op0, XEXP (op0, 0));
 
   if (op1 == const0_rtx)