unroll.c (loop_find_equiv_value): If ret is modified between insn and…

unroll.c (loop_find_equiv_value): If ret is modified between insn and loop_start, ret might not be equivalent to reg.

	* unroll.c (loop_find_equiv_value): If ret is modified between
	insn and loop_start, ret might not be equivalent to reg.

	* gcc.c-torture/execute/20000819-1.x: Remove.

From-SVN: r35857

gcc/ChangeLog

+2000-08-21  Jakub Jelinek  <jakub@redhat.com>
+
+	* unroll.c (loop_find_equiv_value): If ret is modified between
+	insn and loop_start, ret might not be equivalent to reg.
+
 2000-08-21  Joseph S. Myers  <jsm28@cam.ac.uk>
 
 	* c-common.c (init_dollar_format_checking,

gcc/testsuite/ChangeLog

+2000-08-21  Jakub Jelinek  <jakub@redhat.com>
+
+	* gcc.c-torture/execute/20000819-1.x: Remove.
+
 2000-08-21  Joseph S. Myers  <jsm28@cam.ac.uk>
 
 	* gcc.dg/c90-printf-3.c, gcc.dg/c90-scanf-2.c,

gcc/testsuite/gcc.c-torture/execute/20000819-1.x

-set torture_execute_xfail "*-*-*"
-return 0

gcc/unroll.c

@@ -3540,6 +3540,11 @@ loop_find_equiv_value (loop, reg)
 		ret = XEXP (note, 0);
 	      else
 		ret = SET_SRC (set);
+
+	      /* We cannot do this if it changes between the
+		 assignment and loop start though.  */
+	      if (modified_between_p (ret, insn, loop_start))
+		ret = reg;
 	    }
 	  break;
 	}