diff options
| author | Richard Biener <rguenther@suse.de> | 2023-06-12 14:09:45 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-06-12 15:19:24 +0200 |
| commit | 8d3eb3ad5388d2f523e4a6f886c4b3364f77f51f (patch) | |
| tree | 4a79fbae04bb4bc71d829ee557e7f9ac5a2be4b9 /gcc/range-op-float.cc | |
| parent | bc45e18d433f879a02e369d027829f90f9e85724 (diff) | |
| download | gcc-8d3eb3ad5388d2f523e4a6f886c4b3364f77f51f.zip gcc-8d3eb3ad5388d2f523e4a6f886c4b3364f77f51f.tar.gz gcc-8d3eb3ad5388d2f523e4a6f886c4b3364f77f51f.tar.bz2 | |
Fix disambiguation against .MASK_STORE
Alias analysis was treating .MASK_STORE as storing a full vector
which means we disambiguate against decls of smaller than vector size.
That's of course wrong and a similar issue was fixed for DSE already.
The following makes sure we set the size of the access to unknown
and only constrain max_size.
This fixes runtime execution FAILs of gfortran.dg/matmul_2.f90,
gfortran.dg/matmul_6.f90 and gfortran.dg/pr91577.f90 when using
AVX512 with full masked loop vectorization on Zen4.
* tree-ssa-alias.cc (call_may_clobber_ref_p_1): For
.MASK_STORE and friend set the size of the access to
unknown.
Diffstat (limited to 'gcc/range-op-float.cc')
0 files changed, 0 insertions, 0 deletions