Use an UNSPEC instead of a USE to prevent prologue/epilogue insns from being

deleted.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f12b7ab..5c5da99 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,14 @@
+2002-01-23  Nick Clifton  <nickc@cambridge.redhat.com>
+
+       * config/arm/arm.md (UNSPEC_PROLOGUE_USE): New unspec constant.
+       (prologue_use): New pattern.
+       * config/arm/arm.c (expand_prologue): Use gen_prologue_use in
+       preference to gen_rtx_USE.
+       (thumb_expand_prologue): Use gen_prologue_use in preference to
+       gen_rtx_USE.
+       (thumb_expand_epilogue): Use gen_prologue_use in preference to
+       gen_rtx_USE.
+
 2002-01-23  Hans-Peter Nilsson  <hp@bitrange.com>
 
        * loop.c [!HAVE_prefetch] (CODE_FOR_prefetch): Define to 0.

diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
index 04f06ae..567daa3 100644 (file)
--- a/gcc/config/arm/arm.c
+++ b/gcc/config/arm/arm.c
@@ -8331,7 +8331,7 @@ arm_expand_prologue ()
 
          emit_insn (gen_rtx_SET (SImode, ip_rtx, insn));
          /* Add a USE to stop propagate_one_insn() from barfing.  */
-         emit_insn (gen_rtx_USE (VOIDmode, ip_rtx));
+         emit_insn (gen_prologue_use (ip_rtx));
        }
     }
 
@@ -8377,7 +8377,7 @@ arm_expand_prologue ()
      then make sure that it does not get reused by the ce2 pass.  */
   if ((live_regs_mask & (1 << LR_REGNUM)) == 0)
     {
-      emit_insn (gen_rtx_USE (VOIDmode, gen_rtx_REG (SImode, LR_REGNUM)));
+      emit_insn (gen_prologue_use (gen_rtx_REG (SImode, LR_REGNUM)));
       cfun->machine->lr_save_eliminated = 1;
     }
 }
@@ -10186,7 +10186,7 @@ thumb_expand_prologue ()
              /* Save it by copying it into a high, scratch register.  */
              emit_insn (gen_movsi (spare, reg));
              /* Add a USE to stop propagate_one_insn() from barfing.  */
-             emit_insn (gen_rtx_USE (VOIDmode, spare));
+             emit_insn (gen_prologue_use (spare));
 
              /* Decrement the stack.  */
              emit_insn (gen_movsi (reg, GEN_INT (- amount)));
@@ -10200,7 +10200,7 @@ thumb_expand_prologue ()
                 analysis will not consider the restore redundant.  The
                 register won't be used again in this function and isn't
                 restored by the epilogue.  */
-             emit_insn (gen_rtx_USE (VOIDmode, reg));
+             emit_insn (gen_prologue_use (reg));
            }
          else
            {
@@ -10248,7 +10248,7 @@ thumb_expand_epilogue ()
       
   /* Emit a USE (stack_pointer_rtx), so that
      the stack adjustment will not be deleted.  */
-  emit_insn (gen_rtx_USE (VOIDmode, stack_pointer_rtx));
+  emit_insn (gen_prologue_use (stack_pointer_rtx));
 
   if (current_function_profile || TARGET_NO_SCHED_PRO)
     emit_insn (gen_blockage ());

diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md
index 5f508dd..3646fe5 100644 (file)
--- a/gcc/config/arm/arm.md
+++ b/gcc/config/arm/arm.md
@@ -1,6 +1,6 @@
 ;;- Machine description for ARM for GNU compiler
-;;  Copyright 1991, 1993, 1994, 1995, 1996, 1996, 1997, 1998, 1999, 2000, 2001
-;;  Free Software Foundation, Inc.
+;;  Copyright 1991, 1993, 1994, 1995, 1996, 1996, 1997, 1998, 1999, 2000,
+;;  2001, 2002  Free Software Foundation, Inc.
 ;;  Contributed by Pieter `Tiggr' Schoenmakers (rcpieter@win.tue.nl)
 ;;  and Martin Simmons (@harleqn.co.uk).
 ;;  More major hacks by Richard Earnshaw (rearnsha@arm.com).
@@ -64,6 +64,11 @@
    (UNSPEC_CLZ      5) ; `clz' instruction, count leading zeros (SImode):
                        ;   operand 0 is the result,
                        ;   operand 1 is the parameter.
+   (UNSPEC_PROLOGUE_USE 6) ; As USE insns are not meaningful after reload,
+                       ; this unspec is used to prevent the deletion of
+                       ; instructions setting registers for EH handling
+                       ; and stack frame generation.  Operand 0 is the
+                       ; register to "use".
   ]
 )
 
@@ -9187,3 +9192,8 @@
   ""
 )
 
+(define_insn "prologue_use"
+  [(unspec:SI [(match_operand:SI 0 "register_operand" "")] UNSPEC_PROLOGUE_USE)]
+  ""
+  "%@ %0 needed for prologue"
+)