tree-optimization/102139 - fix SLP DR base alignment
authorRichard Biener <rguenther@suse.de>
Tue, 31 Aug 2021 08:28:40 +0000 (10:28 +0200)
committerRichard Biener <rguenther@suse.de>
Wed, 1 Sep 2021 10:54:14 +0000 (12:54 +0200)
commit153766ec8351d55cfe8bd6d69bdfc0c2cef71e56
treeebb2c8b87ddc274e6732f491c48f03658a4c3780
parentea1a16420cd2cd23917a1fd8be08ea929e55a55b
tree-optimization/102139 - fix SLP DR base alignment

When doing whole-function SLP we have to make sure the recorded
base alignments we compute as the maximum alignment seen for a
base anywhere in the function is actually valid at the point
we want to make use of it.

To make this work we now record the stmt the alignment was derived
from in addition to the DRs innermost behavior and we use a
dominance check to verify the recorded info is valid when doing
BB vectorization.  For this to work for groups inside a BB that are
separate by a call that might not return we now store the DR
analysis group-id permanently and use that for an additional check
when the DRs are in the same BB.

2021-08-31  Richard Biener  <rguenther@suse.de>

PR tree-optimization/102139
* tree-vectorizer.h (vec_base_alignments): Adjust hash-map
type to record a std::pair of the stmt-info and the innermost
loop behavior.
(dr_vec_info::group): New member.
* tree-vect-data-refs.c (vect_record_base_alignment): Adjust.
(vect_compute_data_ref_alignment): Verify the recorded
base alignment can be used.
(data_ref_pair): Remove.
(dr_group_sort_cmp): Adjust.
(vect_analyze_data_ref_accesses): Store the group-ID in the
dr_vec_info and operate on a vector of dr_vec_infos.

* gcc.dg/torture/pr102139.c: New testcase.
gcc/testsuite/gcc.dg/torture/pr102139.c [new file with mode: 0644]
gcc/tree-vect-data-refs.c
gcc/tree-vectorizer.h