cse.c (cse_process_notes): Copy the propagated value.

	* cse.c (cse_process_notes): Copy the propagated value.
	* local-alloc.c (update_equiv_regs): Copy the memory RTX to be used
	in REG_EQUIV notes.
	* gcse.c (try_replace_reg): Copy the replacement.
	* i386.c (emit_i387_cw_initialization): Copy stored_mode
	(assign_386_stack_local): Always return copied memory expression
	* function.c (instantiate_virtual_regs_in_insn): Copy the operand
	duplicates.

From-SVN: r118665

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ce55f03b09a4c2db8454af1fbeab680e15d36fa6..da4b39e3659d9500bfebe2e1da437452ca071542 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,14 @@
+2006-11-10  Jan Hubicka  <jh@suse.cz>
+
+       * cse.c (cse_process_notes): Copy the propagated value.
+       * local-alloc.c (update_equiv_regs): Copy the memory RTX to be used
+       in REG_EQUIV notes.
+       * gcse.c (try_replace_reg): Copy the replacement.
+       * i386.c (emit_i387_cw_initialization): Copy stored_mode
+       (assign_386_stack_local): Always return copied memory expression
+       * function.c (instantiate_virtual_regs_in_insn): Copy the operand
+       duplicates.
+
 2006-11-10  Jan Hubicka  <jh@suse.cz>
 
        * final.c (final): Walk from first instruction.

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 89f88ed2e5b406c8b6fa22f0518462825513564f..c797ff76a3d86ad096c4f1f34af5829173bb2ff2 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -8589,7 +8589,7 @@ emit_i387_cw_initialization (int mode)
   rtx reg = gen_reg_rtx (HImode);
 
   emit_insn (gen_x86_fnstcw_1 (stored_mode));
-  emit_move_insn (reg, stored_mode);
+  emit_move_insn (reg, copy_rtx (stored_mode));
 
   if (TARGET_64BIT || TARGET_PARTIAL_REG_STALL || optimize_size)
     {
@@ -13520,7 +13520,7 @@ assign_386_stack_local (enum machine_mode mode, enum ix86_stack_slot n)
 
   for (s = ix86_stack_locals; s; s = s->next)
     if (s->mode == mode && s->n == n)
-      return s->rtl;
+      return copy_rtx (s->rtl);
 
   s = (struct stack_local_entry *)
     ggc_alloc (sizeof (struct stack_local_entry));

diff --git a/gcc/cse.c b/gcc/cse.c
index 198837774ffd6d495fb2367b9962fc10782fe472..8bd275859417727b4738e04e8cb98063f7e188c8 100644 (file)
--- a/gcc/cse.c
+++ b/gcc/cse.c
@@ -5817,7 +5817,7 @@ cse_process_notes (rtx x, rtx object)
            {
              rtx new = gen_lowpart (GET_MODE (x), ent->const_rtx);
              if (new)
-               return new;
+               return copy_rtx (new);
            }
        }
 

diff --git a/gcc/function.c b/gcc/function.c
index 12e391abf24b5a227acb2dcc2a31e1a7cc218dd2..cef7fe3f10cb979da1b6accfcf971f4f6142dcbb 100644 (file)
--- a/gcc/function.c
+++ b/gcc/function.c
@@ -1540,7 +1540,7 @@ instantiate_virtual_regs_in_insn (rtx insn)
       /* Propagate operand changes into the duplicates.  */
       for (i = 0; i < recog_data.n_dups; ++i)
        *recog_data.dup_loc[i]
-         = recog_data.operand[(unsigned)recog_data.dup_num[i]];
+         = copy_rtx (recog_data.operand[(unsigned)recog_data.dup_num[i]]);
 
       /* Force re-recognition of the instruction for validation.  */
       INSN_CODE (insn) = -1;

diff --git a/gcc/gcse.c b/gcc/gcse.c
index f1214952b24be09fdbba612a90b720bea3980949..0518e4c597ac438b00061c32a6b2965904e102ad 100644 (file)
--- a/gcc/gcse.c
+++ b/gcc/gcse.c
@@ -2647,6 +2647,11 @@ try_replace_reg (rtx from, rtx to, rtx insn)
   int success = 0;
   rtx set = single_set (insn);
 
+  /* Usually we substitute easy stuff, so we won't copy everything.
+     We however need to take care to not duplicate non-trivial CONST
+     expressions.  */
+  to = copy_rtx (to);
+
   validate_replace_src_group (from, to, insn);
   if (num_changes_pending () && apply_change_group ())
     success = 1;

diff --git a/gcc/local-alloc.c b/gcc/local-alloc.c
index c103400b8eaf9093b6aadf9d0ece4488edf2108f..e6ff69e48a547d2cbd84853f7c4f0c9f2b683552 100644 (file)
--- a/gcc/local-alloc.c
+++ b/gcc/local-alloc.c
@@ -907,7 +907,7 @@ update_equiv_regs (void)
             REG_EQUAL note on the insn.  Since this note would be redundant,
             there's no point creating it earlier than here.  */
          if (! note && ! rtx_varies_p (src, 0))
-           note = set_unique_reg_note (insn, REG_EQUAL, src);
+           note = set_unique_reg_note (insn, REG_EQUAL, copy_rtx (src));
 
          /* Don't bother considering a REG_EQUAL note containing an EXPR_LIST
             since it represents a function call */
@@ -953,7 +953,8 @@ update_equiv_regs (void)
          if (note == 0 && REG_BASIC_BLOCK (regno) >= 0
              && MEM_P (SET_SRC (set))
              && validate_equiv_mem (insn, dest, SET_SRC (set)))
-           REG_NOTES (insn) = note = gen_rtx_EXPR_LIST (REG_EQUIV, SET_SRC (set),
+           REG_NOTES (insn) = note = gen_rtx_EXPR_LIST (REG_EQUIV,
+                                                        copy_rtx (SET_SRC (set)),
                                                         REG_NOTES (insn));
 
          if (note)
@@ -1061,7 +1062,7 @@ update_equiv_regs (void)
              && ! memref_used_between_p (dest, init_insn, insn))
            {
              REG_NOTES (init_insn)
-               = gen_rtx_EXPR_LIST (REG_EQUIV, dest,
+               = gen_rtx_EXPR_LIST (REG_EQUIV, copy_rtx (dest),
                                     REG_NOTES (init_insn));
              /* This insn makes the equivalence, not the one initializing
                 the register.  */