re PR middle-end/53411 (ICE in move_unallocated_pseudos)

	PR middle-end/53411
	PR rtl-optimization/53495
	* ira.c (ira): Move delete_trivially_dead_insns call before
	find_moveable_pseudos call.

	* gcc.c-torture/compile/pr53411.c: New test.
	* gcc.c-torture/compile/pr53495.c: New test.

From-SVN: r190376

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dde7c78fd36fdcc94105603063d811f71274dd86..f24b84ae4072bec9a40d79c081ba1dc401ddc5e7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2012-08-14  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/53411
+       PR rtl-optimization/53495
+       * ira.c (ira): Move delete_trivially_dead_insns call before
+       find_moveable_pseudos call.
+
 2012-08-13  Steven Bosscher  <steven@gcc.gnu.org>
 
        * tree-ssa-pre.c (do_regular_insertion): Add FIXME markers at points

diff --git a/gcc/ira.c b/gcc/ira.c
index a209894efbe6e06bce4727e72843dd7b9e95f31d..5000d433bec23e003c56e0bab3d11b8d232e90d0 100644 (file)
--- a/gcc/ira.c
+++ b/gcc/ira.c
@@ -4206,6 +4206,9 @@ ira (FILE *f)
 
   allocated_reg_info_size = max_reg_num ();
 
+  if (delete_trivially_dead_insns (get_insns (), max_reg_num ()))
+    df_analyze ();
+
   /* It is not worth to do such improvement when we use a simple
      allocation because of -O0 usage or because the function is too
      big.  */
@@ -4288,9 +4291,6 @@ ira (FILE *f)
     check_allocation ();
 #endif
 
-  if (delete_trivially_dead_insns (get_insns (), max_reg_num ()))
-    df_analyze ();
-
   if (max_regno != max_regno_before_ira)
     {
       regstat_free_n_sets_and_refs ();

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1117d9a6f2454e853ff8412e2db835feb050ad93..e1e12837124bc3bd13cf38e5095c7a825d9c23f9 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2012-08-14  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/53411
+       PR rtl-optimization/53495
+       * gcc.c-torture/compile/pr53411.c: New test.
+       * gcc.c-torture/compile/pr53495.c: New test.
+
 2012-08-13  Richard Guenther  <rguenther@suse.de>
 
        * gcc.dg/tree-prof/update-loopch.c: Adjust.

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr53411.c b/gcc/testsuite/gcc.c-torture/compile/pr53411.c
new file mode 100644 (file)
index 0000000..e88ecbc
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr53411.c
@@ -0,0 +1,33 @@
+/* PR middle-end/53411 */
+
+int a, b, c, d, e, f, g, h;
+void fn1 (void);
+int fn2 (void);
+
+int
+fn3 (x)
+     int x;
+{
+  return a ? 0 : x;
+}
+
+void
+fn4 (char x)
+{
+  int i, j, k;
+  for (; e; e++)
+    if (fn2 ())
+      {
+       f = 1;
+       k = 0;
+       for (; k <= 1; k++)
+         {
+           j = ~x;
+           i = f * j;
+           h = (fn3 (i | 0 <= c ^ 9L) != b | d) & 8;
+           g = x | 1;
+           fn1 ();
+         }
+      }
+  c = x;
+}

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr53495.c b/gcc/testsuite/gcc.c-torture/compile/pr53495.c
new file mode 100644 (file)
index 0000000..9570131
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr53495.c
@@ -0,0 +1,41 @@
+/* PR rtl-optimization/53495 */
+
+int a, b, c, d, e, g;
+static char
+fn1 (char p1, int p2)
+{
+  return p1 || p2 < 0 || p2 >= 1 || 1 >> p2 ? p1 : 0;
+}
+
+static long long fn2 (int *, int);
+static int fn3 ();
+void
+fn4 ()
+{
+  fn3 ();
+  fn2 (&a, d);
+}
+
+long long
+fn2 (int *p1, int p2)
+{
+  int f = -1L;
+  for (; c <= 1; c++)
+    {
+      *p1 = 0;
+      *p1 = fn1 (c, p2 ^ f);
+    }
+  a = 0;
+  e = p2;
+  return 0;
+}
+
+int
+fn3 ()
+{
+  b = 3;
+  for (; b; b--)
+    c++;
+  g = 0 >= c;
+  return 0;
+}