[PATCH] tree-optimization/97709 - set abnormal flag when vectorizing live lanes

[Richard Biener]

This properly sets the abnormal flag when vectorizing live lanes
when the original scalar was live across an abnormal edge.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

2020-11-04  Richard Biener  <rguent...@suse.de>

        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 00000000000..672807f167c
--- /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 c09aa392419..6cb2286d5c8 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 <gphi *> (vec_stmt))
        {
          gimple_stmt_iterator si = gsi_after_labels (gimple_bb (vec_stmt));
-- 
2.26.2