*** empty log message ***

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@571 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/loop.c b/gcc/loop.c
index 60425cb..5165851 100644 (file)
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -1458,6 +1458,34 @@ rtx_equal_for_loop_p (x, y, movables)
   return 1;
 }
 \f
+/* If X contains any LABEL_REF's, add REG_LABEL notes for them to all
+  insns in INSNS which use thet reference.  */
+
+static void
+add_label_notes (x, insns)
+     rtx x;
+     rtx insns;
+{
+  enum rtx_code code = GET_CODE (x);
+  int i;
+  char *fmt;
+  rtx insn;
+
+  if (code == LABEL_REF)
+    {
+      for (insn = insns; insn; insn = NEXT_INSN (insn))
+       if (reg_mentioned_p (XEXP (x, 0), insn))
+         REG_NOTES (insn) = gen_rtx (EXPR_LIST, REG_LABEL, XEXP (x, 0),
+                                     REG_NOTES (insn));
+      return;
+    }
+
+  fmt = GET_RTX_FORMAT (code);
+  for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
+    if (fmt[i] == 'e')
+      add_label_notes (XEXP (x, i), insns);
+}
+\f
 /* Scan MOVABLES, and move the insns that deserve to be moved.
    If two matching movables are combined, replace one reg with the
    other throughout.  */
@@ -1635,10 +1663,12 @@ move_movables (movables, threshold, insn_count, loop_start, end, nregs)
 
                  start_sequence ();
                  emit_move_insn (m->set_dest, m->set_src);
-                 temp = gen_sequence ();
+                 temp = get_insns ();
                  end_sequence ();
 
-                 i1 = emit_insn_before (temp, loop_start);
+                 add_label_notes (m->set_src, temp);
+
+                 i1 = emit_insns_before (temp, loop_start);
                  if (! find_reg_note (i1, REG_EQUAL, 0))
                    REG_NOTES (i1)
                      = gen_rtx (EXPR_LIST,
@@ -4504,11 +4534,19 @@ update_giv_derive (p)
                 be able to compute a compensation.  */
              else if (biv->insn == p)
                {
-                 if (biv->mult_val == const1_rtx
-                     && (tem = simplify_giv_expr (gen_rtx (MULT, giv->mode,
-                                                           biv->add_val,
-                                                           giv->mult_val),
-                                                  &dummy)))
+                 tem = 0;
+
+                 if (biv->mult_val == const1_rtx)
+                   tem = simplify_giv_expr (gen_rtx (MULT, giv->mode,
+                                                     biv->add_val,
+                                                     giv->mult_val),
+                                            &dummy);
+
+                 if (tem && giv->derive_adjustment)
+                   tem = simplify_giv_expr (gen_rtx (PLUS, giv->mode, tem,
+                                                     giv->derive_adjustment),
+                                            &dummy);
+                 if (tem)
                    giv->derive_adjustment = tem;
                  else
                    giv->cant_derive = 1;