diff options
| author | Alan Hayward <alan.hayward@arm.com> | 2016-06-15 10:53:01 +0000 |
|---|---|---|
| committer | Alan Hayward <alan.hayward@arm.com> | 2016-06-15 10:53:01 +0000 |
| commit | 2e537e576ed4fe065dfe766949790e845646ab50 (patch) | |
| tree | eba3649ce4a6b1b60e6d44d00572986dae6a68f2 | |
| parent | 5bb346332277c4a140d5486e12a4c66243334a02 (diff) | |
2016-06-15 Alan Hayward <alan.hayward@arm.com>
gcc/
PR tree-optimization/71439
* tree-vect-loop.c (vect_analyze_loop_operations): Additional check for
live PHIs.
testsuite/
PR tree-optimization/71439
* gcc.dg/vect/pr71439.c: New
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237476 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr71439.c | 17 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.c | 6 |
4 files changed, 33 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6eb52a93975..568d385a10f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-06-15 Alan Hayward <alan.hayward@arm.com> + + PR tree-optimization/71439 + * tree-vect-loop.c (vect_analyze_loop_operations): Additional check for + live PHIs. + 2016-06-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> * ifcvt.c (bb_ok_for_noce_multiple_sets): Allow simple lowpart diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e5100ab6892..9e332a264e4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-06-15 Alan Hayward <alan.hayward@arm.com> + + PR tree-optimization/71439 + * gcc.dg/vect/pr71439.c: New + 2016-06-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> * gcc.target/aarch64/ifcvt_multiple_sets_subreg_1.c: New test. diff --git a/gcc/testsuite/gcc.dg/vect/pr71439.c b/gcc/testsuite/gcc.dg/vect/pr71439.c new file mode 100644 index 00000000000..95e4763bad6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr71439.c @@ -0,0 +1,17 @@ +#include "tree-vect.h" + +int a, b, c; +short fn1(int p1, int p2) { return p1 + p2; } + +int main() { + a = 0; + for (; a < 30; a = fn1(a, 4)) { + c = b; + b = 6; + } + + if (c != 6) + abort (); + + return 0; +} diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 91d0608e59c..4c8678505df 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -1669,7 +1669,8 @@ vect_analyze_loop_operations (loop_vec_info loop_vinfo) gcc_assert (stmt_info); - if (STMT_VINFO_RELEVANT (stmt_info) == vect_used_in_scope + if ((STMT_VINFO_RELEVANT (stmt_info) == vect_used_in_scope + || STMT_VINFO_LIVE_P (stmt_info)) && STMT_VINFO_DEF_TYPE (stmt_info) != vect_induction_def) { /* A scalar-dependence cycle that we don't support. */ @@ -1686,6 +1687,9 @@ vect_analyze_loop_operations (loop_vec_info loop_vinfo) ok = vectorizable_induction (phi, NULL, NULL); } + if (ok && STMT_VINFO_LIVE_P (stmt_info)) + ok = vectorizable_live_operation (phi, NULL, NULL, -1, NULL); + if (!ok) { if (dump_enabled_p ()) |