From: Richard Sandiford <rsandifo@redhat.com>
Date: Thu, 4 Nov 2004 14:08:16 +0000 (+0000)
Subject: re PR rtl-optimization/15342 ([arm-linux] internal compiler error: in verify_local_li... 
X-Git-Tag: releases/gcc-4.0.0~3433
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4e5813dd13475bfe2e16b30707450ea51477a467;p=thirdparty%2Fgcc.git

re PR rtl-optimization/15342 ([arm-linux] internal compiler error: in verify_local_live_at_start)

	PR target/15342
	* regrename.c (scan_rtx): Treat the destinations of SETs and CLOBBERs
	as OP_INOUT if the instruction is predicated.

From-SVN: r90063
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 033e47b2f4b9..0320b0c87263 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-11-04  Richard Sandiford  <rsandifo@redhat.com>
+
+	PR target/15342
+	* regrename.c (scan_rtx): Treat the destinations of SETs and CLOBBERs
+	as OP_INOUT if the instruction is predicated.
+
 2004-11-04  Kazu Hirata  <kazu@cs.umass.edu>
 
 	* bitmap.h: Fix a comment typo.  Follow spelling conventions.
diff --git a/gcc/regrename.c b/gcc/regrename.c
index dc2bb01780ed..3856c2cf0208 100644
--- a/gcc/regrename.c
+++ b/gcc/regrename.c
@@ -667,7 +667,8 @@ scan_rtx (rtx insn, rtx *loc, enum reg_class cl,
 
     case SET:
       scan_rtx (insn, &SET_SRC (x), cl, action, OP_IN, 0);
-      scan_rtx (insn, &SET_DEST (x), cl, action, OP_OUT, 0);
+      scan_rtx (insn, &SET_DEST (x), cl, action,
+		GET_CODE (PATTERN (insn)) == COND_EXEC ? OP_INOUT : OP_OUT, 0);
       return;
 
     case STRICT_LOW_PART:
@@ -692,7 +693,8 @@ scan_rtx (rtx insn, rtx *loc, enum reg_class cl,
       gcc_unreachable ();
 
     case CLOBBER:
-      scan_rtx (insn, &SET_DEST (x), cl, action, OP_OUT, 1);
+      scan_rtx (insn, &SET_DEST (x), cl, action,
+		GET_CODE (PATTERN (insn)) == COND_EXEC ? OP_INOUT : OP_OUT, 0);
       return;
 
     case EXPR_LIST:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 770171aac035..2e1d71da6e56 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-04  Richard Sandiford  <rsandifo@redhat.com>
+
+	PR target/15342
+	* gcc.dg/20041104-1.c: New test.
+
 2004-11-04  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
 
 	* g++.dg/template/nontype7.C: New test.
diff --git a/gcc/testsuite/gcc.dg/20041104-1.c b/gcc/testsuite/gcc.dg/20041104-1.c
new file mode 100644
index 000000000000..b4d359d1e7bf
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20041104-1.c
@@ -0,0 +1,18 @@
+/* This testcase exposed the same bug as PR 15342.  */
+/* { dg-options "-O2 -frename-registers -fno-schedule-insns" } */
+
+void *memcpy (void *, const void *, __SIZE_TYPE__);
+
+void f (int n, int (*x)[4])
+{
+  while (n--)
+    {
+      int f = x[0][0];
+      if (f <= 0)
+	memcpy (&x[1], &x[0], sizeof (x[0]));
+      else
+	memcpy (&x[f], &x[0], sizeof (x[0]));
+      f = x[0][2];
+      x[0][1] = f;
+    }
+}