From 90db8e345bd154a2ba62690b482f5a9a99a709f2 Mon Sep 17 00:00:00 2001 From: jiez Date: Wed, 23 Feb 2011 00:25:34 +0000 Subject: [PATCH] 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 --- gcc/ChangeLog | 5 +++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr47763.c | 9 +++++++++ gcc/web.c | 12 +++++++++++- 4 files changed, 30 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/pr47763.c 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 + + PR rtl-optimization/47763 + * web.c (web_main): Ignore naked clobber when replacing register. + 2011-02-22 Anatoly Sokolov * 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 + + PR rtl-optimization/47763 + * gcc.dg/pr47763.c: New test. + 2011-02-22 Paul Thomas 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; -- 2.7.4