re PR debug/63285 (-fcompare-debug scheduler related failure)

2014-09-18  Vladimir Makarov  <vmakarov@redhat.com>

	PR debug/63285
	* haifa-sched.c (schedule_block): Advance cycle at the end of BB
	if advance != 0.

2014-09-18  Vladimir Makarov  <vmakarov@redhat.com>

	PR debug/63285
	* gcc.target/i386/pr63285.c: New test.

From-SVN: r215364

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3c55ce466932a112fa77188e9b261aebee199b52..de52a05471bfc8cec92a43db80efe0850d762d65 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2014-09-18  Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR debug/63285
+       * haifa-sched.c (schedule_block): Advance cycle at the end of BB
+       if advance != 0.
+
 2014-09-18  Vladimir Makarov  <vmakarov@redhat.com>
 
        PR target/61360

diff --git a/gcc/haifa-sched.c b/gcc/haifa-sched.c
index fb92bb2173986a731d54bceb6e2c491ecc728f75..cb41cc2b0d207842b340765975b5445c0dc07857 100644 (file)
--- a/gcc/haifa-sched.c
+++ b/gcc/haifa-sched.c
@@ -6473,7 +6473,7 @@ schedule_block (basic_block *target_bb, state_t init_state)
   if (ls.modulo_epilogue)
     success = true;
  end_schedule:
-  if (!ls.first_cycle_insn_p)
+  if (!ls.first_cycle_insn_p || advance)
     advance_one_cycle ();
   perform_replacements_new_cycle ();
   if (modulo_ii > 0)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index de00b32c291bcecf67fd86a7fb9da1f81d483bcc..ba86e0ead7a7a0245aaae1d6621f5f2f1f3ea741 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2014-09-18  Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR debug/63285
+       * gcc.target/i386/pr63285.c: New test.
+
 2014-09-18  Vladimir Makarov  <vmakarov@redhat.com>
 
        PR target/61360

diff --git a/gcc/testsuite/gcc.target/i386/pr63285.c b/gcc/testsuite/gcc.target/i386/pr63285.c
new file mode 100644 (file)
index 0000000..e4df8fb
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr63285.c
@@ -0,0 +1,28 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fcompare-debug" } */
+
+struct S { int a; };
+struct T { int b, c; } a;
+long b;
+int c, d;
+void bar (int, int);
+void baz (void *, int);
+
+void
+foo (struct S *x, int y, int z, void *f, int *p, struct T *e)
+{
+  while (x)
+    {
+      baz (f, &d > p);
+      if (z & 1)
+        bar (f > (void *) &f, z);
+    }
+  if (c)
+    {
+      asm ("" : "+m" (a) : "i" (0));
+      y--;
+    }
+  if (e->b == e->c)
+    c = y;
+  y--;
+}