diff options
| author | Richard Biener <rguenther@suse.de> | 2022-07-20 11:02:03 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-07-20 14:05:07 +0200 |
| commit | 5f59d0f2d9fa921c04d75c39592e603cfa2b1324 (patch) | |
| tree | ff129880a34d21d81c8763b47ea994dff4a577a9 | |
| parent | 78d5e125c008d87cb2e1c08a9ff2a02d4214ffcf (diff) | |
| download | gcc-5f59d0f2d9fa921c04d75c39592e603cfa2b1324.zip gcc-5f59d0f2d9fa921c04d75c39592e603cfa2b1324.tar.gz gcc-5f59d0f2d9fa921c04d75c39592e603cfa2b1324.tar.bz2 | |
Improve SLP codegen, avoiding unnecessary TREE_ADDRESSABLE
The following adjusts vectorizer code generation to avoid splitting
out address increments for invariant addresses which causes objects
to get TREE_ADDRESSABLE when not necessary.
* tree-vect-data-refs.cc (bump_vector_ptr): Return an
invariant updated address when the input was invariant.
| -rw-r--r-- | gcc/tree-vect-data-refs.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-vect-data-refs.cc b/gcc/tree-vect-data-refs.cc index 609cacc..b279a82 100644 --- a/gcc/tree-vect-data-refs.cc +++ b/gcc/tree-vect-data-refs.cc @@ -5195,6 +5195,14 @@ bump_vector_ptr (vec_info *vinfo, if (TREE_CODE (dataref_ptr) == SSA_NAME) new_dataref_ptr = copy_ssa_name (dataref_ptr); + else if (is_gimple_min_invariant (dataref_ptr)) + /* When possible avoid emitting a separate increment stmt that will + force the addressed object addressable. */ + return build1 (ADDR_EXPR, TREE_TYPE (dataref_ptr), + fold_build2 (MEM_REF, + TREE_TYPE (TREE_TYPE (dataref_ptr)), + dataref_ptr, + fold_convert (ptr_type_node, update))); else new_dataref_ptr = make_ssa_name (TREE_TYPE (dataref_ptr)); incr_stmt = gimple_build_assign (new_dataref_ptr, POINTER_PLUS_EXPR, |