From: Li Feng <nemokingdom@gmail.com>
Date: Thu, 19 Mar 2009 06:49:14 +0000 (+0000)
Subject: re PR middle-end/39500 (autopar fails to parallel)
X-Git-Tag: releases/gcc-4.4.0~223
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=9e517d61f7635494e97f23970570de7c78a824ef;p=thirdparty%2Fgcc.git

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 9892f8f63169..0f3037d7209a 100644
--- 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 9d2d056ee422..4065c86403f3 100644
--- 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
index 000000000000..161f31da6a1d
--- /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
index 000000000000..eabac3f88c6a
--- /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 7c062602a1a5..ea67f1d00b4b 100644
--- 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 ();