diff options
| author | Richard Biener <rguenther@suse.de> | 2020-09-16 11:24:23 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-09-16 12:28:10 +0200 |
| commit | f02b2077c093922faee3b33ad821b717bea80343 (patch) | |
| tree | 3f94d738749b696efe6d8bd836a9f3cc0bd8c1e6 /gcc/tree-vect-data-refs.c | |
| parent | 8a4f343aa3639f2358b44c24f0dc0f016c0b1451 (diff) | |
| download | gcc-f02b2077c093922faee3b33ad821b717bea80343.zip gcc-f02b2077c093922faee3b33ad821b717bea80343.tar.gz gcc-f02b2077c093922faee3b33ad821b717bea80343.tar.bz2 | |
remove STMT_VINFO_NUM_SLP_USES
This removes STMT_VINFO_NUM_SLP_USES by pushing the setting of
the shared stmt_vec_info vector type to where we actually need it
which is alignment analysis and vectorizable_* analysis (where
we could eventually elide it for non-load/store operations).
In particular "uses" in the cache and in disqualified SLP
subgraphs should no longer provide conflicting vector types
this way.
2020-09-16 Richard Biener <rguenther@suse.de>
* tree-vectorizer.h (_stmt_vec_info::num_slp_uses): Remove.
(STMT_VINFO_NUM_SLP_USES): Likewise.
(vect_free_slp_instance): Adjust.
(vect_update_shared_vectype): Declare.
* tree-vectorizer.c (vec_info::~vec_info): Adjust.
* tree-vect-loop.c (vect_analyze_loop_2): Likewise.
(vectorizable_live_operation): Use vector type from
SLP_TREE_REPRESENTATIVE.
(vect_transform_loop): Adjust.
* tree-vect-data-refs.c (vect_slp_analyze_node_alignment):
Set the shared vector type.
* tree-vect-slp.c (vect_free_slp_tree): Remove final_p
parameter, remove STMT_VINFO_NUM_SLP_USES updating.
(vect_free_slp_instance): Adjust.
(vect_create_new_slp_node): Remove STMT_VINFO_NUM_SLP_USES
updating.
(vect_update_shared_vectype): Always compare with the
present vector type, update if NULL.
(vect_build_slp_tree_1): Do not update the shared vector
type here.
(vect_build_slp_tree_2): Adjust.
(slp_copy_subtree): Likewise.
(vect_attempt_slp_rearrange_stmts): Likewise.
(vect_analyze_slp_instance): Likewise.
(vect_analyze_slp): Likewise.
(vect_slp_analyze_node_operations_1): Update the shared
vector type.
(vect_slp_analyze_operations): Adjust.
(vect_slp_analyze_bb_1): Likewise.
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 88c5fae..5bf93e2 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -2380,6 +2380,11 @@ vect_slp_analyze_node_alignment (vec_info *vinfo, slp_tree node) if (SLP_TREE_LOAD_PERMUTATION (node).exists ()) first_stmt_info = DR_GROUP_FIRST_ELEMENT (first_stmt_info); + /* We need to commit to a vector type for the group now. */ + if (is_a <bb_vec_info> (vinfo) + && !vect_update_shared_vectype (first_stmt_info, SLP_TREE_VECTYPE (node))) + return false; + dr_vec_info *dr_info = STMT_VINFO_DR_INFO (first_stmt_info); vect_compute_data_ref_alignment (vinfo, dr_info); /* In several places we need alignment of the first element anyway. */ |