From: Steven Bosscher <stevenb.gcc@gmail.com>
Date: Sun, 25 May 2008 11:58:18 +0000 (+0000)
Subject: gcse.c (hash_scan_set): Do not pick up a REG_EQUAL value if SRC is a REG.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=294707717f6b7f293601c3dda20cb6405c6a3a6f;p=gcc.git

gcse.c (hash_scan_set): Do not pick up a REG_EQUAL value if SRC is a REG.

2008-05-25  Steven Bosscher  <stevenb.gcc@gmail.com>

	* gcse.c (hash_scan_set): Do not pick up a REG_EQUAL value if
	SRC is a REG.

From-SVN: r135860
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5c4a0b3ebdb..0588af6fc5a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-25  Steven Bosscher  <stevenb.gcc@gmail.com>
+
+	* gcse.c (hash_scan_set): Do not pick up a REG_EQUAL value if
+	SRC is a REG.
+
 2008-05-25  Alan Modra  <amodra@bigpond.net.au>
 
 	* c-common.c (strip_array_types): Move function to..
diff --git a/gcc/gcse.c b/gcc/gcse.c
index 77efc44769b..f6837bf1f60 100644
--- a/gcc/gcse.c
+++ b/gcc/gcse.c
@@ -1692,12 +1692,25 @@ hash_scan_set (rtx pat, rtx insn, struct hash_table *table)
       unsigned int regno = REGNO (dest);
       rtx tmp;
 
-      /* See if a REG_NOTE shows this equivalent to a simpler expression.
+      /* See if a REG_EQUAL note shows this equivalent to a simpler expression.
+
 	 This allows us to do a single GCSE pass and still eliminate
 	 redundant constants, addresses or other expressions that are
-	 constructed with multiple instructions.  */
+	 constructed with multiple instructions.
+
+	 However, keep the original SRC if INSN is a simple reg-reg move.  In
+	 In this case, there will almost always be a REG_EQUAL note on the
+	 insn that sets SRC.  By recording the REG_EQUAL value here as SRC
+	 for INSN, we miss copy propagation opportunities and we perform the
+	 same PRE GCSE operation repeatedly on the same REG_EQUAL value if we
+	 do more than one PRE GCSE pass.
+
+	 Note that this does not impede profitale constant propagations.  We
+	 "look through" reg-reg sets in lookup_avail_set.  */
       note = find_reg_equal_equiv_note (insn);
       if (note != 0
+	  && REG_NOTE_KIND (note) == REG_EQUAL
+	  && !REG_P (src)
 	  && (table->set_p
 	      ? gcse_constant_p (XEXP (note, 0))
 	      : want_to_gcse_p (XEXP (note, 0))))