tree-optimization/110221 - SLP and loop mask/len
commite5f1956498251a4973d52c8aad3faf34d0443169
authorRichard Biener <rguenther@suse.de>
Fri, 10 Nov 2023 11:39:11 +0000 (10 12:39 +0100)
committerRichard Biener <rguenther@suse.de>
Fri, 10 Nov 2023 13:17:12 +0000 (10 14:17 +0100)
treed0b490c010b5e888c3682eb884122e54f2ab60a2
parenta5922427c29fad177251d89cc946d1c5bfc135eb
tree-optimization/110221 - SLP and loop mask/len

The following fixes the issue that when SLP stmts are internal defs
but appear invariant because they end up only using invariant defs
then they get scheduled outside of the loop.  This nice optimization
breaks down when loop masks or lens are applied since those are not
explicitly tracked as dependences.  The following makes sure to never
schedule internal defs outside of the vectorized loop when the
loop uses masks/lens.

PR tree-optimization/110221
* tree-vect-slp.cc (vect_schedule_slp_node): When loop
masking / len is applied make sure to not schedule
intenal defs outside of the loop.

* gfortran.dg/pr110221.f: New testcase.
gcc/testsuite/gfortran.dg/pr110221.f [new file with mode: 0644]
gcc/tree-vect-slp.cc