diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7bc78d51375d3b5c9a760ec984bfe9c3f8a93c26..300dfac82a04cd8cb4d0d357148e1dec85e81a58 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2004-02-19  Kazu Hirata  <kazu@cs.umass.edu>
+
+	* loop.c (all_sets_invariant_p): Remove.
+
 2004-02-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
 
 	PR target/12916
diff --git a/gcc/loop.c b/gcc/loop.c
index b09708d19610ad7e78880bfa67d7ee629d75d571..a51a34cb6047f66906711213f26ba14cc38e0525 100644
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -3499,37 +3499,6 @@ consec_sets_invariant_p (const struct loop *loop, rtx reg, int n_sets,
   /* If loop_invariant_p ever returned 2, we return 2.  */
   return 1 + (value & 2);
 }
-
-#if 0
-/* I don't think this condition is sufficient to allow INSN
-   to be moved, so we no longer test it.  */
-
-/* Return 1 if all insns in the basic block of INSN and following INSN
-   that set REG are invariant according to TABLE.  */
-
-static int
-all_sets_invariant_p (rtx reg, rtx insn, short *table)
-{
-  rtx p = insn;
-  int regno = REGNO (reg);
-
-  while (1)
-    {
-      enum rtx_code code;
-      p = NEXT_INSN (p);
-      code = GET_CODE (p);
-      if (code == CODE_LABEL || code == JUMP_INSN)
-	return 1;
-      if (code == INSN && GET_CODE (PATTERN (p)) == SET
-	  && GET_CODE (SET_DEST (PATTERN (p))) == REG
-	  && REGNO (SET_DEST (PATTERN (p))) == regno)
-	{
-	  if (! loop_invariant_p (loop, SET_SRC (PATTERN (p)), table))
-	    return 0;
-	}
-    }
-}
-#endif /* 0 */
 
 /* Look at all uses (not sets) of registers in X.  For each, if it is
    the single use, set USAGE[REGNO] to INSN; if there was a previous use in