diff options
| author | Richard Sandiford <richard.sandiford@linaro.org> | 2017-09-22 17:04:51 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2017-09-22 17:04:51 +0000 |
| commit | ea44495d106582b951de1e84d9d7849d3783a56d (patch) | |
| tree | b076f5f5fcdbd91d3cf64c00f6c18bb983605c16 /gcc | |
| parent | 597fdf45ede583ca1e88ce9f2923673b1238cdf8 (diff) | |
| download | gcc-ea44495d106582b951de1e84d9d7849d3783a56d.zip gcc-ea44495d106582b951de1e84d9d7849d3783a56d.tar.gz gcc-ea44495d106582b951de1e84d9d7849d3783a56d.tar.bz2 | |
PR82289: Computing peeling costs for irrelevant drs
This PR shows that we weren't filtering out irrelevant stmts in
vect_get_peeling_costs_all_drs (unlike related loops in which
we iterate over all datarefs).
2017-09-22 Richard Sandiford <richard.sandiford@linaro.org>
gcc/
PR tree-optimization/82289
* tree-vect-data-refs.c (vect_get_peeling_costs_all_drs): Check
STMT_VINFO_RELEVANT_P.
gcc/testsuite/
PR tree-optimization/82289
* gcc.dg/vect/pr82289.c: New test.
From-SVN: r253103
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr82289.c | 28 | ||||
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 3 |
4 files changed, 42 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fdb7221..02a5b7e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,4 +1,10 @@ 2017-09-22 Richard Sandiford <richard.sandiford@linaro.org> + + PR tree-optimization/82289 + * tree-vect-data-refs.c (vect_get_peeling_costs_all_drs): Check + STMT_VINFO_RELEVANT_P. + +2017-09-22 Richard Sandiford <richard.sandiford@linaro.org> Alan Hayward <alan.hayward@arm.com> David Sherwood <david.sherwood@arm.com> diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 39838f5..54723c2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,4 +1,9 @@ 2017-09-22 Richard Sandiford <richard.sandiford@linaro.org> + + PR tree-optimization/82289 + * gcc.dg/vect/pr82289.c: New test. + +2017-09-22 Richard Sandiford <richard.sandiford@linaro.org> Alan Hayward <alan.hayward@arm.com> David Sherwood <david.sherwood@arm.com> diff --git a/gcc/testsuite/gcc.dg/vect/pr82289.c b/gcc/testsuite/gcc.dg/vect/pr82289.c new file mode 100644 index 0000000..ae3001f --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr82289.c @@ -0,0 +1,28 @@ +/* { dg-do compile } */ + +int a, b, c, *d, *f[1]; + +void fn1 (int *j) +{ + int e, g, h = 1; + for (; e; e++) + { + if (g > 0) + { + d = j; + return; + } + if (!h) + while (g) + ; + while (h < 1) + if (a) + { + fn1 (&h); + h = 0; + } + f[e] = &c; + } + while (1) + ; +} diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 3c57e5c..c4314a0 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -1326,6 +1326,9 @@ vect_get_peeling_costs_all_drs (vec<data_reference_p> datarefs, { gimple *stmt = DR_STMT (dr); stmt_vec_info stmt_info = vinfo_for_stmt (stmt); + if (!STMT_VINFO_RELEVANT_P (stmt_info)) + continue; + /* For interleaving, only the alignment of the first access matters. */ if (STMT_VINFO_GROUPED_ACCESS (stmt_info) |