diff mbox

[PING] fix PR target/44606, reload bug on SPE

Message ID 20101230154716.GP6247@codesourcery.com
State New
Headers show

Commit Message

Nathan Froyd Dec. 30, 2010, 3:47 p.m. UTC 
On Thu, Nov 25, 2010 at 01:09:59PM +0100, Bernd Schmidt wrote:
> On 11/25/2010 12:49 AM, Nathan Froyd wrote:
> > This patch is pending review:
> > 
> > http://gcc.gnu.org/ml/gcc-patches/2010-10/msg01954.html
> 
> Ok.

I've committed this patch (finally!) with a minor modification to the
testcase to avoid problems on systems where stderr is a macro and
therefore not available at link time.  I confirmed that the test still
fails in the expected way with the unpatched compiler.

Since Eric indicated that he would be OK with a solution that didn't
involve deleting instructions for branches, I plan to commit this patch
to the affected branches after a week or so of soak time on mainline.

-Nathan

gcc/
        PR target/44606
        * reload1.c (choose_reload_regs): Don't look for equivalences for
        output reloads of constant loads.

gcc/testsuite/
        PR target/44606
        * gcc.dg/pr44606.c: New test.
diff mbox

Patch

Index: gcc/ChangeLog
===================================================================
Index: gcc/testsuite/gcc.dg/pr44606.c
===================================================================
--- gcc/testsuite/gcc.dg/pr44606.c	(revision 0)
+++ gcc/testsuite/gcc.dg/pr44606.c	(revision 0)
@@ -0,0 +1,52 @@ 
+/* PR target/44606 */
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+
+#include <stdio.h>
+
+extern void abort (void);
+
+ typedef struct _PixelPacket { 	unsigned char r, g, b; }
+ PixelPacket;
+#define ARRAYLEN(X) (sizeof(X)/sizeof(X[0]))
+PixelPacket q[6];
+#define COLS (ARRAYLEN(q) - 1)
+PixelPacket p[2*COLS + 22];
+#define Minify(POS, WEIGHT) do {	\
+	total_r += (WEIGHT)*(p[POS].r);	\
+	total_g += (WEIGHT)*(p[POS].g);	\
+	total_b += (WEIGHT)*(p[POS].b);	\
+} while (0)
+unsigned long columns = COLS;
+int main(void)
+{
+	static const unsigned char answers[COLS] = { 31, 32, 34, 35, 36 };
+	unsigned long x;
+	for (x = 0; x < sizeof(p)/sizeof(p[0]); x++) {
+		p[x].b = (x + 34) | 1;
+	}
+	for (x = 0; x < columns; x++) {
+		double total_r = 0, total_g = 0, total_b = 0;
+		double saved_r = 0, saved_g = 0, saved_b = 0;
+		Minify(2*x +  0,  3.0);
+		Minify(2*x +  1,  7.0);
+		Minify(2*x +  2,  7.0);
+		saved_r = total_r;
+		saved_g = total_g;
+		Minify(2*x + 11, 15.0);
+		Minify(2*x + 12,  7.0);
+		Minify(2*x + 18,  7.0);
+		Minify(2*x + 19, 15.0);
+		Minify(2*x + 20, 15.0);
+		Minify(2*x + 21,  7.0);
+		q[x].r = (unsigned char)(total_r/128.0 + 0.5);
+		q[x].g = (unsigned char)(total_g/128.0 + 0.5);
+		q[x].b = (unsigned char)(total_b/128.0 + 0.5);
+		fprintf(stderr, "r:%f g:%f b:%f\n", saved_r, saved_g, saved_b);
+	}
+	for (x = 0; x < COLS; x++) {
+		if (answers[x] != q[x].b)
+			abort();
+	}
+	return 0;
+}
Index: gcc/testsuite/ChangeLog
===================================================================
Index: gcc/reload1.c
===================================================================
--- gcc/reload1.c	(revision 168346)
+++ gcc/reload1.c	(working copy)
@@ -6600,17 +6600,6 @@  choose_reload_regs (struct insn_chain *c
 	      && (rld[r].nregs == max_group_size
 		  || ! reg_classes_intersect_p (rld[r].rclass, group_class)))
 	    search_equiv = rld[r].in;
-	  /* If this is an output reload from a simple move insn, look
-	     if an equivalence for the input is available.  */
-	  else if (inheritance && rld[r].in == 0 && rld[r].out != 0)
-	    {
-	      rtx set = single_set (insn);
-
-	      if (set
-		  && rtx_equal_p (rld[r].out, SET_DEST (set))
-		  && CONSTANT_P (SET_SRC (set)))
-		search_equiv = SET_SRC (set);
-	    }
 
 	  if (search_equiv)
 	    {