diff options
| author | Richard Biener <rguenther@suse.de> | 2021-10-18 09:10:43 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-10-18 10:26:16 +0200 |
| commit | a5b1b2a186d94b31a522395e9d02c9cec1b928cb (patch) | |
| tree | 0d4f8d1f9b5befdb7f5a438b2ce80d03a7780678 /gcc/tree-vect-data-refs.c | |
| parent | 724e27046bc3f1b24eb4e153f71da0ac1049127d (diff) | |
| download | gcc-a5b1b2a186d94b31a522395e9d02c9cec1b928cb.zip gcc-a5b1b2a186d94b31a522395e9d02c9cec1b928cb.tar.gz gcc-a5b1b2a186d94b31a522395e9d02c9cec1b928cb.tar.bz2 | |
tree-optimization/102798 - avoid copying PTA info to old SSA names
The vectorizer duplicates pointer-info to created pointer bases
but it has to avoid changing points-to info on existing SSA names
because there's now flow-sensitive info in there (pt->pt_null as
set from VRP).
2021-10-18 Richard Biener <rguenther@suse.de>
PR tree-optimization/102798
* tree-vect-data-refs.c (vect_create_addr_base_for_vector_ref):
Only copy points-to info to newly generated SSA names.
* gcc.dg/pr102798.c: New testcase.
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 1e13148..a19045f 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -4785,8 +4785,12 @@ vect_create_addr_base_for_vector_ref (vec_info *vinfo, stmt_vec_info stmt_info, if (DR_PTR_INFO (dr) && TREE_CODE (addr_base) == SSA_NAME - && !SSA_NAME_PTR_INFO (addr_base)) - vect_duplicate_ssa_name_ptr_info (addr_base, dr_info); + /* We should only duplicate pointer info to newly created SSA names. */ + && SSA_NAME_VAR (addr_base) == dest) + { + gcc_assert (!SSA_NAME_PTR_INFO (addr_base)); + vect_duplicate_ssa_name_ptr_info (addr_base, dr_info); + } if (dump_enabled_p ()) dump_printf_loc (MSG_NOTE, vect_location, "created %T\n", addr_base); |