flow.c (flow_delete_insn_chain): Rename from delete_insn_chain.

        * flow.c (flow_delete_insn_chain): Rename from delete_insn_chain.
        (update_life_info) [REG_WAS_0]: Search the original insns rather
        than the new insns for the note.  Fix typos finding note_dest.
        If no dest found, discard the note rather than abort.
        [REG_NOALIAS]: Handle as REG_NO_CONFLICT.
        (replace_insns): Remove the old insn list after update_life_info
        not before.

From-SVN: r28946

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 89de67f4df867b86dc5eaa4c1cf7c3457b34fc7f..47c76add5f6e78bf5fdd3b6f3dbf3f3ffb0901fb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,13 @@
+Sat Aug 28 16:24:31 1999  Richard Henderson  <rth@cygnus.com>
+
+       * flow.c (flow_delete_insn_chain): Rename from delete_insn_chain.
+       (update_life_info) [REG_WAS_0]: Search the original insns rather
+       than the new insns for the note.  Fix typos finding note_dest.
+       If no dest found, discard the note rather than abort.
+       [REG_NOALIAS]: Handle as REG_NO_CONFLICT.
+       (replace_insns): Remove the old insn list after update_life_info
+       not before.
+
 Sat Aug 28 16:20:12 1999  Richard Henderson  <rth@cygnus.com>
 
         * haifa-sched.c (sched_analyze): Clear LOG_LINKS before calling

diff --git a/gcc/flow.c b/gcc/flow.c
index 0f151e7c2621cefce02e97e97fdb2a767b829b85..d39c17aa7f953b4176f3d929c78dde789e05fcb4 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -287,7 +287,7 @@ static void commit_one_edge_insertion       PROTO((edge));
 static void delete_unreachable_blocks  PROTO((void));
 static void delete_eh_regions          PROTO((void));
 static int can_delete_note_p           PROTO((rtx));
-static void delete_insn_chain          PROTO((rtx, rtx));
+static void flow_delete_insn_chain     PROTO((rtx, rtx));
 static int delete_block                        PROTO((basic_block));
 static void expunge_block              PROTO((basic_block));
 static rtx flow_delete_insn            PROTO((rtx));
@@ -1641,7 +1641,7 @@ can_delete_note_p (note)
    that must be paired.  */
 
 static void
-delete_insn_chain (start, finish)
+flow_delete_insn_chain (start, finish)
      rtx start, finish;
 {
   /* Unchain the insns one by one.  It would be quicker to delete all
@@ -1733,7 +1733,7 @@ delete_block (b)
   end = next_nonnote_insn (b->end);
   if (!end || GET_CODE (end) != BARRIER)
     end = b->end;
-  delete_insn_chain (insn, end);
+  flow_delete_insn_chain (insn, end);
 
 no_delete_insns:
 
@@ -2022,7 +2022,7 @@ tidy_fallthru_edge (e, b, c)
 
   /* Selectively unlink the sequence.  */
   if (q != PREV_INSN (c->head))
-    delete_insn_chain (NEXT_INSN (q), PREV_INSN (c->head));
+    flow_delete_insn_chain (NEXT_INSN (q), PREV_INSN (c->head));
 
   e->flags |= EDGE_FALLTHRU;
 }
@@ -5774,14 +5774,13 @@ update_life_info (notes, first, last, orig_first_insn, orig_last_insn)
              }
            else
              {
-               note_dest = find_insn_with_note (note, first, last);
+               note_dest = find_insn_with_note (note, orig_first_insn,
+                                                orig_last_insn);
                if (note_dest != NULL_RTX)
                  {
-                   note_dest = single_set (orig_dest);
+                   note_dest = single_set (note_dest);
                    if (note_dest != NULL_RTX)
-                     {
-                       note_dest = SET_DEST (orig_dest);
-                     }
+                     note_dest = SET_DEST (note_dest);
                  }
              }
              /* This note applies to the dest of the original insn.  Find the
@@ -5789,7 +5788,7 @@ update_life_info (notes, first, last, orig_first_insn, orig_last_insn)
                 there.  */
 
            if (! note_dest)
-             abort ();
+             break;
 
            for (insn = first; ; insn = NEXT_INSN (insn))
              {
@@ -5812,10 +5811,9 @@ update_life_info (notes, first, last, orig_first_insn, orig_last_insn)
                    && HARD_REGNO_NREGS (REGNO (note_dest),
                                         GET_MODE (note_dest)) > 1)
                  break;
-               /* It must be set somewhere; fail if we couldn't find
+
+               /* It must be set somewhere; bail if we couldn't find
                   where it was set.  */
-               if (insn == last)
-                 abort ();
              }
          }
          break;
@@ -5828,6 +5826,7 @@ update_life_info (notes, first, last, orig_first_insn, orig_last_insn)
            break;
 
        case REG_NO_CONFLICT:
+       case REG_NOALIAS:
          /* These notes apply to the dest of the original insn.  Find the last
             new insn that now has the same dest, and move the note there.  
 
@@ -6091,29 +6090,19 @@ replace_insns (first, last, first_new, notes)
   if (notes == NULL_RTX)
     {
       for (curr = first; curr != stop; curr = NEXT_INSN (curr))
-       {
+       if (GET_RTX_CLASS (GET_CODE (curr)) == 'i')
          notes = prepend_reg_notes (notes, REG_NOTES (curr));
-       }
-    }
-  for (curr = first; curr; curr = next)
-    {
-      next = NEXT_INSN (curr);
-      delete_insn (curr);
-      if (curr == last)
-       break;
     }
+
   last_new = emit_insn_after (first_new, prev);
   first_new = NEXT_INSN (prev);
+
   for (i = 0; i < n_basic_blocks; i++)
     {
       if (BLOCK_HEAD (i) == first)
-       {
-         BLOCK_HEAD (i) = first_new;
-       }
+       BLOCK_HEAD (i) = first_new;
       if (BLOCK_END (i) == last)
-       {
-         BLOCK_END (i) = last_new;
-       }
+       BLOCK_END (i) = last_new;
     }
   /* This is probably bogus. */
   if (first_new == last_new)
@@ -6125,6 +6114,7 @@ replace_insns (first, last, first_new, notes)
        }
     }
   update_life_info (notes, first_new, last_new, first, last);
+  flow_delete_insn_chain (first, last);
 }
 \f
 /* Verify the CFG consistency.  This function check some CFG invariants and