diff options
| author | Richard Biener <rguenther@suse.de> | 2024-01-30 09:42:08 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-01-30 11:53:37 +0100 |
| commit | 4c2169d2f4061e72e1e61e9a175d16f7ff50f5c0 (patch) | |
| tree | cf1913f65685580b09984ada5039821f0bc47c80 /gcc/tree-vect-loop-manip.cc | |
| parent | 87ed338808f8d56b1270724584218cf7d801fe5b (diff) | |
| download | gcc-4c2169d2f4061e72e1e61e9a175d16f7ff50f5c0.zip gcc-4c2169d2f4061e72e1e61e9a175d16f7ff50f5c0.tar.gz gcc-4c2169d2f4061e72e1e61e9a175d16f7ff50f5c0.tar.bz2 | |
tree-optimization/113659 - early exit vectorization and missing VUSE
The following handles the case of the main exit going to a path without
virtual use and handles it similar to the alternate exit handling.
PR tree-optimization/113659
* tree-vect-loop-manip.cc (slpeel_tree_duplicate_loop_to_edge_cfg):
Handle main exit without virtual use.
* gcc.dg/pr113659.c: New testcase.
Diffstat (limited to 'gcc/tree-vect-loop-manip.cc')
| -rw-r--r-- | gcc/tree-vect-loop-manip.cc | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/gcc/tree-vect-loop-manip.cc b/gcc/tree-vect-loop-manip.cc index 873a28d..3f974d6 100644 --- a/gcc/tree-vect-loop-manip.cc +++ b/gcc/tree-vect-loop-manip.cc @@ -1708,9 +1708,23 @@ slpeel_tree_duplicate_loop_to_edge_cfg (class loop *loop, edge loop_exit, LC PHI node to feed the merge PHI. */ tree *res; if (virtual_operand_p (new_arg)) - /* Use the existing virtual LC SSA from exit block. */ - new_arg = gimple_phi_result - (get_virtual_phi (main_loop_exit_block)); + { + /* Use the existing virtual LC SSA from exit block. */ + gphi *vphi = get_virtual_phi (main_loop_exit_block); + /* ??? When the exit yields to a path without + any virtual use we can miss a LC PHI for the + live virtual operand. Simply choosing the + one live at the start of the loop header isn't + correct, but we should get here only with + early-exit vectorization which will move all + defs after the main exit, so leave a temporarily + wrong virtual operand in place. This happens + for gcc.dg/pr113659.c. */ + if (vphi) + new_arg = gimple_phi_result (vphi); + else + new_arg = gimple_phi_result (from_phi); + } else if ((res = new_phi_args.get (new_arg))) new_arg = *res; else |