backport: re PR middle-end/87887 (ICE in make_ssa_name_fn, at tree-ssanames.c:269)

	Backported from mainline
	2019-02-02  Jakub Jelinek  <jakub@redhat.com>

	PR middle-end/87887
	* config/i386/i386.c (ix86_simd_clone_compute_vecsize_and_simdlen):
	Punt with warning on aggregate return or argument types.  Ignore
	type/mode checking for uniform arguments.

	* gcc.dg/gomp/pr87887-1.c: New test.
	* gcc.dg/gomp/pr87887-2.c: New test.

From-SVN: r275097

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 135034119acf1980805d19b6ca737e66d2ebd993..4363ddafcd30a6bf56fac61df6978888876141c7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,6 +1,13 @@
 2019-08-30  Jakub Jelinek  <jakub@redhat.com>
 
        Backported from mainline
+       2019-02-02  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/87887
+       * config/i386/i386.c (ix86_simd_clone_compute_vecsize_and_simdlen):
+       Punt with warning on aggregate return or argument types.  Ignore
+       type/mode checking for uniform arguments.
+
        2019-02-01  Jakub Jelinek  <jakub@redhat.com>
 
        PR tree-optimization/88107

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index b2db7339c23ac7755526609e5cdc385aa8c2bc70..a46c0e987ab11bf76065b320c12041d01e9e6ca2 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -51743,7 +51743,9 @@ ix86_simd_clone_compute_vecsize_and_simdlen (struct cgraph_node *node,
       case DFmode:
       /* case SCmode: */
       /* case DCmode: */
-       break;
+       if (!AGGREGATE_TYPE_P (ret_type))
+         break;
+       /* FALLTHRU */
       default:
        warning_at (DECL_SOURCE_LOCATION (node->decl), 0,
                    "unsupported return type %qT for simd\n", ret_type);
@@ -51754,7 +51756,6 @@ ix86_simd_clone_compute_vecsize_and_simdlen (struct cgraph_node *node,
   int i;
 
   for (t = DECL_ARGUMENTS (node->decl), i = 0; t; t = DECL_CHAIN (t), i++)
-    /* FIXME: Shouldn't we allow such arguments if they are uniform?  */
     switch (TYPE_MODE (TREE_TYPE (t)))
       {
       case QImode:
@@ -51765,8 +51766,12 @@ ix86_simd_clone_compute_vecsize_and_simdlen (struct cgraph_node *node,
       case DFmode:
       /* case SCmode: */
       /* case DCmode: */
-       break;
+       if (!AGGREGATE_TYPE_P (TREE_TYPE (t)))
+         break;
+       /* FALLTHRU */
       default:
+       if (clonei->args[i].arg_type == SIMD_CLONE_ARG_TYPE_UNIFORM)
+         break;
        warning_at (DECL_SOURCE_LOCATION (node->decl), 0,
                    "unsupported argument type %qT for simd\n", TREE_TYPE (t));
        return 0;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5683a3d5f485c2cb7d9d91a59961e9fadf068b4f..57fdb3f2ce4d6a2f30fce9a8eb9dd3653a9c33d2 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,6 +1,12 @@
 2019-08-30  Jakub Jelinek  <jakub@redhat.com>
 
        Backported from mainline
+       2019-02-02  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/87887
+       * gcc.dg/gomp/pr87887-1.c: New test.
+       * gcc.dg/gomp/pr87887-2.c: New test.
+
        2019-02-01  Jakub Jelinek  <jakub@redhat.com>
 
        PR fortran/83246

diff --git a/gcc/testsuite/gcc.dg/gomp/pr87887-1.c b/gcc/testsuite/gcc.dg/gomp/pr87887-1.c
new file mode 100644 (file)
index 0000000..8b04ffd
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/gomp/pr87887-1.c
@@ -0,0 +1,26 @@
+/* PR middle-end/87887 */
+/* { dg-do compile } */
+/* { dg-require-effective-target vect_simd_clones } */
+/* { dg-additional-options "-w" } */
+
+struct S { int n; };
+#pragma omp declare simd
+struct S
+foo (int x)
+{
+  return (struct S) { x };
+}
+
+#pragma omp declare simd
+int
+bar (struct S x)
+{
+  return x.n;
+}
+
+#pragma omp declare simd uniform (x)
+int
+baz (int w, struct S x, int y)
+{
+  return w + x.n + y;
+}

diff --git a/gcc/testsuite/gcc.dg/gomp/pr87887-2.c b/gcc/testsuite/gcc.dg/gomp/pr87887-2.c
new file mode 100644 (file)
index 0000000..51b6c2a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/gomp/pr87887-2.c
@@ -0,0 +1,25 @@
+/* PR middle-end/87887 */
+/* { dg-do compile { target i?86-*-* x86_64-*-* } } */
+/* { dg-require-effective-target vect_simd_clones } */
+
+struct S { int n; };
+#pragma omp declare simd
+struct S
+foo (int x)            /* { dg-warning "unsupported return type 'struct S' for simd" } */
+{
+  return (struct S) { x };
+}
+
+#pragma omp declare simd
+int
+bar (struct S x)       /* { dg-warning "unsupported argument type 'struct S' for simd" } */
+{
+  return x.n;
+}
+
+#pragma omp declare simd uniform (x)
+int
+baz (int w, struct S x, int y)
+{
+  return w + x.n + y;
+}