tree-optimization/104010 - fix SLP scalar costing with patterns
authorRichard Biener <rguenther@suse.de>
Wed, 13 Apr 2022 11:49:45 +0000 (13:49 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 19 Apr 2022 14:42:04 +0000 (16:42 +0200)
commit353434b65ef7972172597d232ae17022d9a57244
tree49896352786db10b425a1fc134d52b776f9b1696
parentcd3964ebd3e94ed0df4ecaadb7fd34e991cec753
tree-optimization/104010 - fix SLP scalar costing with patterns

When doing BB vectorization the scalar cost compute is derailed
by patterns, causing lanes to be considered live and thus not
costed on the scalar side.  For the testcase in PR104010 this
prevents vectorization which was done by GCC 11.  PR103941
shows similar cases of missed optimizations that are fixed by
this patch.

2022-04-13  Richard Biener  <rguenther@suse.de>

PR tree-optimization/104010
PR tree-optimization/103941
* tree-vect-slp.cc (vect_bb_slp_scalar_cost): When
we run into stmts in patterns continue walking those
for uses outside of the vectorized region instead of
marking the lane live.

* gcc.target/i386/pr103941-1.c: New testcase.
* gcc.target/i386/pr103941-2.c: Likewise.
gcc/testsuite/gcc.target/i386/pr103941-1.c [new file with mode: 0644]
gcc/testsuite/gcc.target/i386/pr103941-2.c [new file with mode: 0644]
gcc/tree-vect-slp.cc