loop-iv.c (implies_p): In the final case, test that operands 0 of the two comparisons...

	* loop-iv.c (implies_p): In the final case, test that operands 0
	of the two comparisons match.

From-SVN: r144152

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index baa3e673a3fb922e04ae213e5ec91fdc5d1de848..53bb0b0ed3b77809e0f5e81b6d1d85f0b5bc7b3f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2008-02-13  Bernd Schmidt  <bernd.schmidt@analog.com>
+
+       * loop-iv.c (implies_p): In the final case, test that operands 0
+       of the two comparisons match.
+
 2009-02-13  Richard Guenther  <rguenther@suse.de>
 
        * configure.ac: Enable LFS.

diff --git a/gcc/loop-iv.c b/gcc/loop-iv.c
index 3723dbd463aa29e4e0efc6d88c104a1bd960f035..e8e89bca1ebce2d54785e012eaabba4ee06afd36 100644 (file)
--- a/gcc/loop-iv.c
+++ b/gcc/loop-iv.c
@@ -1556,7 +1556,8 @@ implies_p (rtx a, rtx b)
       && ((GET_CODE (a) == GT && op1 == constm1_rtx)
          || INTVAL (op1) >= 0)
       && GET_CODE (b) == LTU
-      && GET_CODE (opb1) == CONST_INT)
+      && GET_CODE (opb1) == CONST_INT
+      && rtx_equal_p (op0, opb0))
     return INTVAL (opb1) < 0;
 
   return false;