diff options
| author | Sebastian Pop <sebastian.pop@amd.com> | 2008-01-03 02:38:24 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2008-01-03 02:38:24 +0000 |
| commit | 097392de6b7eb5cba34ed8f367ab79837d7cedd2 (patch) | |
| tree | 7b6ea1945bfbc46843c39712210b90e54ad59129 /gcc | |
| parent | 8c7cc333be628a708bac4b59d1745c2c91bdcdc3 (diff) | |
| download | gcc-097392de6b7eb5cba34ed8f367ab79837d7cedd2.zip gcc-097392de6b7eb5cba34ed8f367ab79837d7cedd2.tar.gz gcc-097392de6b7eb5cba34ed8f367ab79837d7cedd2.tar.bz2 | |
re PR tree-optimization/34635 (tree check: expected polynomial_chrec, have integer_cst in add_multivariate_self_dist, at tree-data-ref.c:2813)
2007-12-19 Sebastian Pop <sebastian.pop@amd.com>
PR tree-optimization/34635
* tree-data-ref.c (add_other_self_distances): Make sure that the
evolution step is constant.
* gcc.dg/tree-ssa/pr34635.c: New.
* gcc.dg/tree-ssa/pr34635-1.c: New.
From-SVN: r131275
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr34635-1.c | 14 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr34635.c | 14 | ||||
| -rw-r--r-- | gcc/tree-data-ref.c | 16 |
5 files changed, 53 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f08d3af..f5516e7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-12-19 Sebastian Pop <sebastian.pop@amd.com> + + PR tree-optimization/34635 + * tree-data-ref.c (add_other_self_distances): Make sure that the + evolution step is constant. + 2008-01-03 Jakub Jelinek <jakub@redhat.com> PR middle-end/34608 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0c00eb6..ff42813 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2007-12-19 Sebastian Pop <sebastian.pop@amd.com> + + PR tree-optimization/34635 + * gcc.dg/tree-ssa/pr34635.c: New. + * gcc.dg/tree-ssa/pr34635-1.c: New. + 2008-01-02 John David Anglin <dave.anglin@nrc-cnrc.gc.ca> PR middle-end/34562 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr34635-1.c b/gcc/testsuite/gcc.dg/tree-ssa/pr34635-1.c new file mode 100644 index 0000000..5afc6db --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr34635-1.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +void foo(int x[]) +{ + int i, j; + + for (i = 0; i < 2; i++) + for (j = 0; j < 2; j++) + { + x[i] = x[i+j]; + x[i] = x[i+j]; + } +} diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr34635.c b/gcc/testsuite/gcc.dg/tree-ssa/pr34635.c new file mode 100644 index 0000000..5b4253c --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr34635.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +void foo(int x[]) +{ + int i, j; + + for (i = 0; i < 2; i++) + for (j = 0; j < 2; j++) + { + x[i] = x[i*j]; + x[i] = x[i*j]; + } +} diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index 07b311a..88f6347 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -2818,9 +2818,9 @@ constant_access_functions (const struct data_dependence_relation *ddr) return true; } - /* Helper function for the case where DDR_A and DDR_B are the same - multivariate access function. */ + multivariate access function with a constant step. For an example + see pr34635-1.c. */ static void add_multivariate_self_dist (struct data_dependence_relation *ddr, tree c_2) @@ -2890,7 +2890,17 @@ add_other_self_distances (struct data_dependence_relation *ddr) return; } - add_multivariate_self_dist (ddr, DR_ACCESS_FN (DDR_A (ddr), 0)); + access_fun = DR_ACCESS_FN (DDR_A (ddr), 0); + + if (TREE_CODE (CHREC_LEFT (access_fun)) == POLYNOMIAL_CHREC) + add_multivariate_self_dist (ddr, access_fun); + else + /* The evolution step is not constant: it varies in + the outer loop, so this cannot be represented by a + distance vector. For example in pr34635.c the + evolution is {0, +, {0, +, 4}_1}_2. */ + DDR_AFFINE_P (ddr) = false; + return; } |