[gcc r11-4718] tree-optimization/97709 - set abnormal flag when vectorizing live lanes

[Richard Biener <rguenth@gcc.gnu.org>]

https://gcc.gnu.org/g:1e9f339d946b8296e3785bec77e03d71b487d689

commit r11-4718-g1e9f339d946b8296e3785bec77e03d71b487d689
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Nov 4 11:20:17 2020 +0100

    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  <rguenther@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.

Diff:
---
 gcc/testsuite/gcc.dg/vect/bb-slp-pr97709.c | 26 ++++++++++++++++++++++++++
 gcc/tree-vect-loop.c                       |  3 +++
 2 files changed, 29 insertions(+)

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));