PR rtl-optimization/47763

	* web.c (web_main): Ignore naked clobber when replacing register.

	testsuite/
	PR rtl-optimization/47763
	* gcc.dg/pr47763.c: New test.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 62c848b..c003c6f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-23  Jie Zhang  <jie@codesourcery.com>
+
+       PR rtl-optimization/47763
+       * web.c (web_main): Ignore naked clobber when replacing register.
+
 2011-02-22  Anatoly Sokolov  <aesok@post.ru>
 
        * config/stormy16/stormy16.h (REG_OK_FOR_BASE_P, REG_OK_FOR_INDEX_P):

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 14df266..aa53085 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-23  Jie Zhang  <jie@codesourcery.com>
+
+       PR rtl-optimization/47763
+       * gcc.dg/pr47763.c: New test.
+
 2011-02-22  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/45743

diff --git a/gcc/testsuite/gcc.dg/pr47763.c b/gcc/testsuite/gcc.dg/pr47763.c
new file mode 100644 (file)
index 0000000..a5da2de
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr47763.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -funroll-loops -fdump-rtl-web" } */
+
+foo()
+{
+}
+
+/* { dg-final { scan-rtl-dump-not "Web oldreg" "web" } } */
+/* { dg-final { cleanup-rtl-dump "web" } } */

diff --git a/gcc/web.c b/gcc/web.c
index 9b84924..e57bb37 100644 (file)
--- a/gcc/web.c
+++ b/gcc/web.c
@@ -377,7 +377,17 @@ web_main (void)
     FOR_BB_INSNS (bb, insn)
     {
       unsigned int uid = INSN_UID (insn);
-      if (NONDEBUG_INSN_P (insn))
+
+      if (NONDEBUG_INSN_P (insn)
+         /* Ignore naked clobber.  For example, reg 134 in the second insn
+            of the following sequence will not be replaced.
+
+              (insn (clobber (reg:SI 134)))
+
+              (insn (set (reg:SI 0 r0) (reg:SI 134)))
+
+            Thus the later passes can optimize them away.  */
+         && GET_CODE (PATTERN (insn)) != CLOBBER)
        {
          df_ref *use_rec;
          df_ref *def_rec;