diff options
| author | Li Feng <nemokingdom@gmail.com> | 2009-03-19 06:49:14 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2009-03-19 06:49:14 +0000 |
| commit | 9e517d61f7635494e97f23970570de7c78a824ef (patch) | |
| tree | 7910083b090bdde0f5998511e1a650e8c41540d4 /gcc | |
| parent | 8ef20026dc352e6a1fccae8052bf7bdc009742bc (diff) | |
| download | gcc-9e517d61f7635494e97f23970570de7c78a824ef.zip gcc-9e517d61f7635494e97f23970570de7c78a824ef.tar.gz gcc-9e517d61f7635494e97f23970570de7c78a824ef.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/autopar/pr39500-1.c | 28 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/autopar/pr39500-2.c | 20 | ||||
| -rw-r--r-- | gcc/tree-data-ref.c | 2 |
5 files changed, 61 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9892f8f..0f3037d 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 9d2d056..4065c86 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 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 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 7c06260..ea67f1d 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 (); |