From: Richard Biener <rguenther@suse.de>
Date: Fri, 9 Oct 2020 06:56:21 +0000 (+0200)
Subject: fix ICE with BB vectorization of PHIs
X-Git-Tag: upstream/12.2.0~13213
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=36500ed18aa89c31b56123aeae43f18fac950674;p=platform%2Fupstream%2Fgcc.git

fix ICE with BB vectorization of PHIs

This fixes a vector CTOR insertion issue when we try to insert after
a PHI node.

2020-10-09  Richard Biener  <rguenther@suse.de>

	* tree-vect-slp.c (vect_create_constant_vectors): Properly insert
	after PHIs.

	* gcc.dg/vect/bb-slp-phis-1.c: New testcase.
---

diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-phis-1.c b/gcc/testsuite/gcc.dg/vect/bb-slp-phis-1.c
new file mode 100644
index 0000000..014c13b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/bb-slp-phis-1.c
@@ -0,0 +1,20 @@
+/* From gcc.c-torture/execute/loop-13.c  */
+/* { dg-do compile } */
+/* { dg-additional-options "-march=cascadelake" { target x86_64-*-* i?86-*-* } } */
+#define TYPE long
+
+void
+scale (TYPE *alpha, TYPE *x, int n)
+{
+  int i, ix;
+
+  if (*alpha != 1)
+    for (i = 0, ix = 0; i < n; i++, ix += 2)
+      {
+	TYPE tmpr, tmpi;
+	tmpr = *alpha * x[ix];
+	tmpi = *alpha * x[ix + 1];
+	x[ix] = tmpr;
+	x[ix + 1] = tmpi;
+      }
+}
diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c
index 7e22506..dbe76ac 100644
--- a/gcc/tree-vect-slp.c
+++ b/gcc/tree-vect-slp.c
@@ -4144,7 +4144,9 @@ vect_create_constant_vectors (vec_info *vinfo, slp_tree op_node)
 		  if (insert_after)
 		    {
 		      gimple_stmt_iterator gsi;
-		      if (!stmt_ends_bb_p (insert_after->stmt))
+		      if (gimple_code (insert_after->stmt) == GIMPLE_PHI)
+			gsi = gsi_after_labels (gimple_bb (insert_after->stmt));
+		      else if (!stmt_ends_bb_p (insert_after->stmt))
 			gsi = gsi_for_stmt (insert_after->stmt);
 		      else
 			{