diff options
| author | Richard Biener <rguenther@suse.de> | 2021-04-09 09:35:51 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-04-23 08:46:06 +0200 |
| commit | 700e542971251b11623cce877075567815f72965 (patch) | |
| tree | 7a7da8c380e72602b855075b61bb8f604e84ed24 /gcc/tree-vect-data-refs.c | |
| parent | 342de04d993beaa644d0b0087c20bef5dad5bf5f (diff) | |
| download | gcc-700e542971251b11623cce877075567815f72965.zip gcc-700e542971251b11623cce877075567815f72965.tar.gz gcc-700e542971251b11623cce877075567815f72965.tar.bz2 | |
tree-optimization/99971 - improve BB vect dependence analysis
We can use TBAA even when we have a DR, do so. For the testcase
that means fully vectorizing it instead of only vectorizing
the first store group resulting in suboptimal code.
2021-04-09 Richard Biener <rguenther@suse.de>
PR tree-optimization/99971
* tree-vect-data-refs.c (vect_slp_analyze_node_dependences):
Always use TBAA for loads.
* g++.dg/vect/slp-pr99971.cc: New testcase.
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 97c8577..b317df5 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -780,16 +780,20 @@ vect_slp_analyze_node_dependences (vec_info *vinfo, slp_tree node, stmt we have to resort to the alias oracle. */ stmt_vec_info stmt_info = vinfo->lookup_stmt (stmt); data_reference *dr_b = STMT_VINFO_DATA_REF (stmt_info); - if (!dr_b) + + /* We are hoisting a load - this means we can use + TBAA for disambiguation. */ + if (!ref_initialized_p) + ao_ref_init (&ref, DR_REF (dr_a)); + if (stmt_may_clobber_ref_p_1 (stmt, &ref, true)) { - /* We are hoisting a load - this means we can use - TBAA for disambiguation. */ - if (!ref_initialized_p) - ao_ref_init (&ref, DR_REF (dr_a)); - if (stmt_may_clobber_ref_p_1 (stmt, &ref, true)) + if (!dr_b) return false; - continue; + /* Resort to dependence checking below. */ } + else + /* No dependence. */ + continue; bool dependent = false; /* If we run into a store of this same instance (we've just |