flow.c (mark_set_1): Handle CLOBBERs like SETs if the register is live afterwards.

2005-11-09  Andreas Krebbel  <krebbel1@de.ibm.com>

	* flow.c (mark_set_1): Handle CLOBBERs like SETs if the register
	is live afterwards.

From-SVN: r106686

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1b5992b419ebafd2742d011a01e6b4687cec5838..eddcaa9ab377540d1b50f69976bce282d62e7ac9 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-11-09  Andreas Krebbel  <krebbel1@de.ibm.com>
+
+       * flow.c (mark_set_1): Handle CLOBBERs like SETs if the register
+       is live afterwards.
+
 2005-11-08  Bernd Schmidt  <bernd.schmidt@analog.com>
 
        * config/bfin/t-bfin-elf (MULTILIB_OPTIONS, MULTILIB_DEFAULTS,

diff --git a/gcc/flow.c b/gcc/flow.c
index 1fc88b64f1f483a5e44e31d9e962460d458db47e..bdb40323b02a546e465fd5c8951d8a3ebe21fc79 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -2816,7 +2816,7 @@ mark_set_1 (struct propagate_block_info *pbi, enum rtx_code code, rtx reg, rtx c
              else
                SET_REGNO_REG_SET (pbi->local_set, i);
            }
-         if (code != CLOBBER)
+         if (code != CLOBBER || needed_regno)
            SET_REGNO_REG_SET (pbi->new_set, i);
 
          some_was_live |= needed_regno;