diff options
| author | Richard Biener <rguenther@suse.de> | 2023-07-04 09:51:05 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-07-04 10:37:03 +0200 |
| commit | 729aa4fa48d627c4344764676edad3b65d40a003 (patch) | |
| tree | 459d2ad6d78db7ff6ba26b551afe8d22e1465b9e | |
| parent | 503643e808a20d19d1c7c6b264bca7d8f1959b97 (diff) | |
| download | gcc-729aa4fa48d627c4344764676edad3b65d40a003.zip gcc-729aa4fa48d627c4344764676edad3b65d40a003.tar.gz gcc-729aa4fa48d627c4344764676edad3b65d40a003.tar.bz2 | |
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.
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr110436.c | 4 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.cc | 15 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr110436.c b/gcc/testsuite/gcc.dg/pr110436.c new file mode 100644 index 0000000..8e63ca0 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr110436.c @@ -0,0 +1,4 @@ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +#include "pr83089.c" diff --git a/gcc/tree-vect-stmts.cc b/gcc/tree-vect-stmts.cc index a0c3926..c3e6f2d 100644 --- a/gcc/tree-vect-stmts.cc +++ b/gcc/tree-vect-stmts.cc @@ -261,11 +261,26 @@ vect_mark_relevant (vec<stmt_vec_info> *worklist, stmt_vec_info stmt_info, dump_printf_loc (MSG_NOTE, vect_location, "last stmt in pattern. don't mark" " relevant/live.\n"); + stmt_vec_info old_stmt_info = stmt_info; stmt_info = STMT_VINFO_RELATED_STMT (stmt_info); gcc_assert (STMT_VINFO_RELATED_STMT (stmt_info) == old_stmt_info); save_relevant = STMT_VINFO_RELEVANT (stmt_info); save_live_p = STMT_VINFO_LIVE_P (stmt_info); + + if (live_p && relevant == vect_unused_in_scope) + { + if (dump_enabled_p ()) + dump_printf_loc (MSG_NOTE, vect_location, + "vec_stmt_relevant_p: forcing live patern stmt " + "relevant.\n"); + relevant = vect_used_only_live; + } + + if (dump_enabled_p ()) + dump_printf_loc (MSG_NOTE, vect_location, + "mark relevant %d, live %d: %G", relevant, live_p, + stmt_info->stmt); } STMT_VINFO_LIVE_P (stmt_info) |= live_p; |