re PR middle-end/39500 (autopar fails to parallel)

2009-03-19  Li Feng  <nemokingdom@gmail.com>

	PR middle-end/39500
	* tree-data-ref.c (analyze_subscript_affine_affine): There is no
	dependence if the first conflict is after niter iterations.

testsuite/
	* gcc.dg/autopar/pr39500-1.c: New.
	* gcc.dg/autopar/pr39500-2.c: New.

From-SVN: r144952

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9892f8f6316908ea989d5c905490a5994b2be001..0f3037d7209ad84bfb6adb86ea47fd832f2b4ca1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-03-19  Li Feng  <nemokingdom@gmail.com>
+
+       PR middle-end/39500
+       * tree-data-ref.c (analyze_subscript_affine_affine): There is no
+       dependence if the first conflict is after niter iterations.
+
 2009-03-19  Hans-Peter Nilsson  <hp@axis.com>
 
        PR middle-end/38609

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9d2d056ee422d6fee462bfb04660ea896599e1f3..4065c86403f32bea1d6403bf7384f2dfced216b9 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2009-03-19  Li Feng  <nemokingdom@gmail.com>
+
+       PR middle-end/39500
+       * gcc.dg/autopar/pr39500-1.c: New.
+       * gcc.dg/autopar/pr39500-2.c: New.
+
 2009-03-18  H.J. Lu  <hongjiu.lu@intel.com>
 
        * g++.dg/dg.exp: Prune graphite.

diff --git a/gcc/testsuite/gcc.dg/autopar/pr39500-1.c b/gcc/testsuite/gcc.dg/autopar/pr39500-1.c
new file mode 100644 (file)
index 0000000..161f31d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/autopar/pr39500-1.c
@@ -0,0 +1,28 @@
+/* pr39500: autopar fails to parallel */
+/* origin: nemokingdom@gmail.com(LiFeng) */
+/* { dg-do compile } */
+/* { dg-options "-O2 -ftree-parallelize-loops=4 -fdump-tree-parloops-details" } */
+
+void abort (void);
+
+int main (void)
+{
+  int i;
+  int x[1000];
+
+  for (i = 0; i < 100; i++)
+    x[i] = x[i+100];
+
+  for (i = 0; i < 100; i++)
+    {
+      if (x[i] != x[i+100])
+       abort ();
+    }
+
+  return 0;
+}
+
+/* Check that the first loop in parloop got parallelized.  */
+
+/* { dg-final { scan-tree-dump-times "SUCCESS: may be parallelized" 1 "parloops" } } */
+/* { dg-final { cleanup-tree-dump "parloops" } } */

diff --git a/gcc/testsuite/gcc.dg/autopar/pr39500-2.c b/gcc/testsuite/gcc.dg/autopar/pr39500-2.c
new file mode 100644 (file)
index 0000000..eabac3f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/autopar/pr39500-2.c
@@ -0,0 +1,20 @@
+/* pr39500: autopar fails to parallel */
+/* origin: nemokingdom@gmail.com(LiFeng) */
+/* { dg-do compile } */
+/* { dg-options "-O2 -ftree-parallelize-loops=4 -fdump-tree-parloops-details" } */
+
+int main (void)
+{
+  int i;
+  int x[1000];
+
+  for (i = 0; i < 101; i++)
+    x[i] = x[i+100];
+
+  return x[12];
+}
+
+/* This loop cannot be parallelized due to a dependence.  */
+
+/* { dg-final { scan-tree-dump-times "SUCCESS: may be parallelized" 0 "parloops" } } */
+/* { dg-final { cleanup-tree-dump "parloops" } } */

diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c
index 7c062602a1a55ad0816d8fcdf29adeb59b65a792..ea67f1d00b4b640415cb81e78e986e45b5c89eb6 100644 (file)
--- a/gcc/tree-data-ref.c
+++ b/gcc/tree-data-ref.c
@@ -2302,7 +2302,7 @@ analyze_subscript_affine_affine (tree chrec_a,
 
                  /* If the overlap occurs outside of the bounds of the
                     loop, there is no dependence.  */
-                 if (x1 > niter || y1 > niter)
+                 if (x1 >= niter || y1 >= niter)
                    {
                      *overlaps_a = conflict_fn_no_dependence ();
                      *overlaps_b = conflict_fn_no_dependence ();