| commit | 729aa4fa48d627c4344764676edad3b65d40a003 | |
| author | Richard Biener <rguenther@suse.de> | |
| Tue, 4 Jul 2023 07:51:05 +0000 (4 09:51 +0200) | ||
| committer | Richard Biener <rguenther@suse.de> | |
| Tue, 4 Jul 2023 08:37:03 +0000 (4 10:37 +0200) | ||
| tree | 459d2ad6d78db7ff6ba26b551afe8d22e1465b9e | treesnapshot (tar.gz zip) |
| parent | 503643e808a20d19d1c7c6b264bca7d8f1959b97 | commitdiff |
tree-optimization/110436 - bogus live/relevant for unused pattern
When we compute liveness and relevantness we have to make sure to
handle live but not relevant stmts in a way we can later vectorize
them. When the stmt uses only operands that do not need vectorization
we can just leave such stmts in place - but not in the case they
are recognized as patterns. Since we don't have a way to cancel
pattern recognition we have to force mark such stmts as relevant.
PR tree-optimization/110436
* tree-vect-stmts.cc (vect_mark_relevant): Expand dumping,
force live but not relevant pattern stmts relevant.
* gcc.dg/pr110436.c: New testcase.
When we compute liveness and relevantness we have to make sure to
handle live but not relevant stmts in a way we can later vectorize
them. When the stmt uses only operands that do not need vectorization
we can just leave such stmts in place - but not in the case they
are recognized as patterns. Since we don't have a way to cancel
pattern recognition we have to force mark such stmts as relevant.
PR tree-optimization/110436
* tree-vect-stmts.cc (vect_mark_relevant): Expand dumping,
force live but not relevant pattern stmts relevant.
* gcc.dg/pr110436.c: New testcase.
| gcc/testsuite/gcc.dg/pr110436.c | [new file with mode: 0644] | blob |
| gcc/tree-vect-stmts.cc | diffblobblamehistory |