diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr87917.c | 14 | ||||
| -rw-r--r-- | gcc/tree-data-ref.c | 4 |
4 files changed, 27 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6b1fd33..174ee43 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-11-15 Richard Biener <rguenther@suse.de> + + PR middle-end/87917 + * tree-data-ref.c (analyze_miv_subscript): Guard calls to + analyze_subscript_affine_affine properly. + 2018-11-15 Xianmiao Qu <xianmiao_qu@c-sky.com> * config/csky/csky-linux-elf.h (LINUX_DYNAMIC_LINKER): Remove. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a5dfd90..0bcd8e0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-11-15 Richard Biener <rguenther@suse.de> + + PR middle-end/87917 + * gcc.dg/tree-ssa/pr87917.c: New testcase. + 2018-11-15 Bin Cheng <bin.cheng@linux.alibaba.com> PR tree-optimization/84648 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr87917.c b/gcc/testsuite/gcc.dg/tree-ssa/pr87917.c new file mode 100644 index 0000000..2f3862a --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr87917.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -ftree-loop-distribute-patterns -ftrapv -fno-tree-fre" } */ + +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 1fe3236..ca07bdf 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -4038,9 +4038,9 @@ analyze_miv_subscript (tree chrec_a, dependence_stats.num_miv_independent++; } - else if (evolution_function_is_affine_multivariate_p (chrec_a, loop_nest->num) + else if (evolution_function_is_affine_in_loop (chrec_a, loop_nest->num) && !chrec_contains_symbols (chrec_a) - && evolution_function_is_affine_multivariate_p (chrec_b, loop_nest->num) + && evolution_function_is_affine_in_loop (chrec_b, loop_nest->num) && !chrec_contains_symbols (chrec_b)) { /* testsuite/.../ssa-chrec-35.c |