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

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

From-SVN: r144152

gcc/ChangeLog

+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.

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;