OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Improve SLP codegen, avoiding unnecessary TREE_ADDRESSABLE

Browse Source 
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.
This commit is contained in:
Richard Biener 2022-07-20 11:02:03 +02:00
parent 78d5e125c0
commit 5f59d0f2d9
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/tree-vect-data-refs.cc
View File

@ -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,