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

	* 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

gcc/ChangeLog

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

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)

gcc/testsuite/g77.f-torture/execute/20010116.x

-set torture_eval_before_execute {
-  set compiler_conditional_xfail_data {
-    "" "i?86-*-*" { "-O[23s]" } { "" }
-    }
-}
-return 0