From 1e9f339d946b8296e3785bec77e03d71b487d689 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Wed, 4 Nov 2020 11:20:17 +0100 Subject: [PATCH] tree-optimization/97709 - set abnormal flag when vectorizing live lanes This properly sets the abnormal flag when vectorizing live lanes when the original scalar was live across an abnormal edge. 2020-11-04 Richard Biener PR tree-optimization/97709 * tree-vect-loop.c (vectorizable_live_operation): Set SSA_NAME_OCCURS_IN_ABNORMAL_PHI when necessary. * gcc.dg/vect/bb-slp-pr97709.c: New testcase. --- gcc/testsuite/gcc.dg/vect/bb-slp-pr97709.c | 26 ++++++++++++++++++++++++++ gcc/tree-vect-loop.c | 3 +++ 2 files changed, 29 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/vect/bb-slp-pr97709.c diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-pr97709.c b/gcc/testsuite/gcc.dg/vect/bb-slp-pr97709.c new file mode 100644 index 0000000..672807f --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/bb-slp-pr97709.c @@ -0,0 +1,26 @@ +/* { dg-do compile } */ + +int a; +struct b { + int c; + int d; +}; +void k (struct b); +struct b +e() +{ + void *f[] = {&&g, &&h, &&i, &&j}; + int d, c; +j: + goto *a; +g: + d = 0; +h: + c = 1; + goto *a; +i: + { + struct b b = {c, d}; + k(b); + } +} diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index c09aa39..6cb2286 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -8568,6 +8568,9 @@ vectorizable_live_operation (vec_info *vinfo, gimple_seq stmts = NULL; new_tree = force_gimple_operand (fold_convert (lhs_type, new_tree), &stmts, true, NULL_TREE); + if (TREE_CODE (new_tree) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (lhs)) + SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree) = 1; if (is_a (vec_stmt)) { gimple_stmt_iterator si = gsi_after_labels (gimple_bb (vec_stmt)); -- 2.7.4