loop.c (load_mems): Examine all the instructions in the loop before concluding that...

	* loop.c (load_mems): Examine all the instructions in the loop
	before concluding that all jumps branch to the first instruction
	after the loop.

From-SVN: r41417

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 264bd82378680dd4c0f5d46e037367583e183317..002d639c4ae4f6dc8b018e3a18d286c5343c3a71 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2001-04-18  Mark Mitchell  <mark@codesourcery.com>
+
+       * loop.c (load_mems): Examine all the instructions in the loop
+       before concluding that all jumps branch to the first instruction
+       after the loop.
+
 Wed Apr 18 20:32:03 2001  Christopher Faylor <cgf@cygnus.com>
 
        * config/i386/xm-cygwin.h (CPP_SPEC): Fix typo.

diff --git a/gcc/loop.c b/gcc/loop.c
index 085b7c8b54a32633003ae10cf0da0bfeb411fb70..774801573e9c0de80dc1d0a92b1c210857b63f24 100644 (file)
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -8830,7 +8830,7 @@ load_mems (loop)
      never executed.  Also check if there is a goto out of the loop other
      than right after the end of the loop.  */
   for (p = next_insn_in_loop (loop, loop->scan_start);
-       p != NULL_RTX && ! maybe_never;
+       p != NULL_RTX;
        p = next_insn_in_loop (loop, p))
     {
       if (GET_CODE (p) == CODE_LABEL)

diff --git a/gcc/testsuite/g77.f-torture/execute/20010116.x b/gcc/testsuite/g77.f-torture/execute/20010116.x
deleted file mode 100644 (file)
index c61feeb..0000000
--- a/gcc/testsuite/g77.f-torture/execute/20010116.x
+++ /dev/null
@@ -1,6 +0,0 @@
-set torture_eval_before_execute {
-  set compiler_conditional_xfail_data {
-    "" "i?86-*-*" { "-O[23s]" } { "" }
-    }
-}
-return 0