aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJie Zhang <jie@codesourcery.com>2011-02-23 00:25:34 +0000
committerJie Zhang <jiez@gcc.gnu.org>2011-02-23 00:25:34 +0000
commitb152a6158e401ee9e3752b4403deadd91aec2418 (patch)
tree58283904211d9cd8de222354920fd228773d69d3
parent9f1a8175737ce26b3b52b54fa6831cfaae692eb5 (diff)
downloadgcc-b152a6158e401ee9e3752b4403deadd91aec2418.zip
gcc-b152a6158e401ee9e3752b4403deadd91aec2418.tar.gz
gcc-b152a6158e401ee9e3752b4403deadd91aec2418.tar.bz2
re PR rtl-optimization/47763 (Useless initialization of register)
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. From-SVN: r170422
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/pr47763.c9
-rw-r--r--gcc/web.c12
4 files changed, 30 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 62c848b..c003c6f 100644
--- 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
--- 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
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
--- 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;