merge of '1fabadea24c36f83b75bb8e13e7fe5bd38d9a6ce'

     and '56f4d34b013075bf28441d0800516ac2d470fc8b'

1 files changed, 75 insertions, 0 deletions

diff --git a/packages/gcc/gcc-4.1.1/cse.patch b/packages/gcc/gcc-4.1.1/cse.patch
new file mode 100644
index 0000000000..88b22c714f
--- /dev/null
+++ b/packages/gcc/gcc-4.1.1/cse.patch
@@ -0,0 +1,75 @@
+-- gcc-4_1-branch/gcc/cse.c	2006/07/20 14:20:26	115619
++++ gcc-4_1-branch/gcc/cse.c	2006/07/20 15:07:25	115620
+@@ -4697,6 +4697,8 @@
+   unsigned src_const_hash;
+   /* Table entry for constant equivalent for SET_SRC, if any.  */
+   struct table_elt *src_const_elt;
++  /* Table entry for the destination address.  */
++  struct table_elt *dest_addr_elt;
+ };
+ 
+ static void
+@@ -5936,6 +5938,40 @@
+ 	 so that the destination goes into that class.  */
+       sets[i].src_elt = src_eqv_elt;
+ 
++  /* Record destination addresses in the hash table.  This allows us to
++     check if they are invalidated by other sets.  */
++  for (i = 0; i < n_sets; i++)
++    {
++      if (sets[i].rtl)
++	{
++	  rtx x = sets[i].inner_dest;
++	  struct table_elt *elt;
++	  enum machine_mode mode;
++	  unsigned hash;
++
++	  if (MEM_P (x))
++	    {
++	      x = XEXP (x, 0);
++	      mode = GET_MODE (x);
++	      hash = HASH (x, mode);
++	      elt = lookup (x, hash, mode);
++	      if (!elt)
++		{
++		  if (insert_regs (x, NULL, 0))
++		    {
++		      rehash_using_reg (x);
++		      hash = HASH (x, mode);
++		    }
++		  elt = insert (x, NULL, hash, mode);
++		}
++
++	      sets[i].dest_addr_elt = elt;
++	    }
++	  else
++	    sets[i].dest_addr_elt = NULL;
++	}
++    }
++
+   invalidate_from_clobbers (x);
+ 
+   /* Some registers are invalidated by subroutine calls.  Memory is
+@@ -6028,12 +6064,20 @@
+     }
+ 
+   /* We may have just removed some of the src_elt's from the hash table.
+-     So replace each one with the current head of the same class.  */
++     So replace each one with the current head of the same class.
++     Also check if destination addresses have been removed.  */
+ 
+   for (i = 0; i < n_sets; i++)
+     if (sets[i].rtl)
+       {
+-	if (sets[i].src_elt && sets[i].src_elt->first_same_value == 0)
++	if (sets[i].dest_addr_elt
++	    && sets[i].dest_addr_elt->first_same_value == 0)
++	  {
++	    /* The elt was removed, which means this destination s not
++	       valid after this instruction.  */
++	    sets[i].rtl = NULL_RTX;
++	  }
++	else if (sets[i].src_elt && sets[i].src_elt->first_same_value == 0)
+ 	  /* If elt was removed, find current head of same class,
+ 	     or 0 if nothing remains of that class.  */
+ 	  {