diff options
| author | Alan Hayward <alan.hayward@arm.com> | 2016-06-03 13:00:06 +0000 |
|---|---|---|
| committer | Alan Hayward <alahay01@gcc.gnu.org> | 2016-06-03 13:00:06 +0000 |
| commit | b28ead45fe630b9e018a81cb46b7e1f971e4dc17 (patch) | |
| tree | 8158807035672c6080932262ccede47287be36b7 /gcc/tree-vectorizer.h | |
| parent | c83a894c1e437a1653fc38b537d3bb98a91e5631 (diff) | |
| download | gcc-b28ead45fe630b9e018a81cb46b7e1f971e4dc17.zip gcc-b28ead45fe630b9e018a81cb46b7e1f971e4dc17.tar.gz gcc-b28ead45fe630b9e018a81cb46b7e1f971e4dc17.tar.bz2 | |
[2/3] Vectorize inductions that are live after the loop
2016-06-03 Alan Hayward <alan.hayward@arm.com>
[2/3] Vectorize inductions that are live after the loop
gcc/
* tree-vect-loop.c (vect_analyze_loop_operations): Allow live stmts.
(vectorizable_reduction): Check for new relevant state.
(vectorizable_live_operation): vectorize live stmts using
BIT_FIELD_REF. Remove special case for gimple assigns stmts.
* tree-vect-stmts.c (is_simple_and_all_uses_invariant): New function.
(vect_stmt_relevant_p): Check for stmts which are only used live.
(process_use): Use of a stmt does not inherit it's live value.
(vect_mark_stmts_to_be_vectorized): Simplify relevance inheritance.
(vect_analyze_stmt): Check for new relevant state.
* tree-vectorizer.h (vect_relevant): New entry for a stmt which is used
outside the loop, but not inside it.
testsuite/
* gcc.dg/tree-ssa/pr64183.c: Ensure test does not vectorize.
* testsuite/gcc.dg/vect/no-scevccp-vect-iv-2.c: Remove xfail.
* gcc.dg/vect/vect-live-1.c: New test.
* gcc.dg/vect/vect-live-2.c: New test.
* gcc.dg/vect/vect-live-3.c: New test.
* gcc.dg/vect/vect-live-4.c: New test.
* gcc.dg/vect/vect-live-5.c: New test.
* gcc.dg/vect/vect-live-slp-1.c: New test.
* gcc.dg/vect/vect-live-slp-2.c: New test.
* gcc.dg/vect/vect-live-slp-3.c: New test.
From-SVN: r237064
Diffstat (limited to 'gcc/tree-vectorizer.h')
| -rw-r--r-- | gcc/tree-vectorizer.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/tree-vectorizer.h b/gcc/tree-vectorizer.h index 18f9f7a..6d52b55 100644 --- a/gcc/tree-vectorizer.h +++ b/gcc/tree-vectorizer.h @@ -442,6 +442,9 @@ enum stmt_vec_info_type { block. */ enum vect_relevant { vect_unused_in_scope = 0, + + /* The def is only used outside the loop. */ + vect_used_only_live, /* The def is in the inner loop, and the use is in the outer loop, and the use is a reduction stmt. */ vect_used_in_outer_by_reduction, @@ -1072,7 +1075,7 @@ extern loop_vec_info vect_analyze_loop (struct loop *); extern void vect_transform_loop (loop_vec_info); extern loop_vec_info vect_analyze_loop_form (struct loop *); extern bool vectorizable_live_operation (gimple *, gimple_stmt_iterator *, - gimple **); + slp_tree, int, gimple **); extern bool vectorizable_reduction (gimple *, gimple_stmt_iterator *, gimple **, slp_tree); extern bool vectorizable_induction (gimple *, gimple_stmt_iterator *, gimple **); @@ -1098,6 +1101,7 @@ extern void vect_get_slp_defs (vec<tree> , slp_tree, vec<vec<tree> > *, int); extern bool vect_slp_bb (basic_block); extern gimple *vect_find_last_scalar_stmt_in_slp (slp_tree); +extern bool is_simple_and_all_uses_invariant (gimple *, loop_vec_info); /* In tree-vect-patterns.c. */ /* Pattern recognition functions. |