re PR tree-optimization/85478 (ICE with single element vector)

Fix PR85478

gcc/ChangeLog:

2018-04-24  Andreas Krebbel  <krebbel@linux.ibm.com>

	PR tree-optimization/85478
	* tree-vect-loop.c (vect_analyze_loop_2): Do not call
	vect_grouped_store_supported for single element vectors.

gcc/testsuite/ChangeLog:

2018-04-24  Andreas Krebbel  <krebbel@linux.ibm.com>

	PR tree-optimization/85478
	* g++.dg/pr85478.C: New test.

From-SVN: r259593

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 933cc29201567631a4f693bf39c61030716ae766..dcf0d0b9a4352eb18cbb4f208dac15399a301f72 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-04-24  Andreas Krebbel  <krebbel@linux.ibm.com>
+
+       PR tree-optimization/85478
+       * tree-vect-loop.c (vect_analyze_loop_2): Do not call
+       vect_grouped_store_supported for single element vectors.
+
 2018-04-24  Richard Biener  <rguenther@suse.de>
 
        PR target/85491

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b1dfe4bdb38b97d58291792ee88338b0a390eebe..8c92593cac91e5fb57fa7229f290ae82b8dcd099 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-04-24  Andreas Krebbel  <krebbel@linux.ibm.com>
+
+       PR tree-optimization/85478
+       * g++.dg/pr85478.C: New test.
+
 2018-04-23  Eric Botcazou  <ebotcazou@adacore.com>
 
        * g++.dg/torture/pr85496.C: New test.

diff --git a/gcc/testsuite/g++.dg/pr85478.C b/gcc/testsuite/g++.dg/pr85478.C
new file mode 100644 (file)
index 0000000..4eb4f24
--- /dev/null
+++ b/gcc/testsuite/g++.dg/pr85478.C
@@ -0,0 +1,46 @@
+/* { dg-do compile { target { s390*-*-* } } } */
+/* { dg-options "-O3 -march=arch12 -std=c++11 -Wno-return-type" } */
+
+struct a {
+  enum { b };
+};
+struct c {
+  template <typename d, typename e> static void f(d g, e h) {
+    d i;
+    for (; i != g; ++h, ++i)
+      *h = *i;
+  }
+};
+template <int, typename d, typename e> void j(d g, e h) { c::f(g, h); }
+template <int k, typename d, typename e> void l(d g, e h) { j<k>(g, h); }
+template <typename d, typename e> void aa(d g, e h) { l<a::b>(g, h); }
+template <typename> class ab;
+template <> struct ab<float> {
+  _Complex m() { return n; }
+  _Complex n;
+};
+template <> struct ab<long double> {
+  ab(ab<float> g) : n(g.m()) {}
+  _Complex long double n;
+};
+template <int ac, typename o> class p {
+public:
+  template <typename q> p &operator=(const p<ac, q> &);
+  o *ad;
+};
+template <typename o> class r : public p<2, o> {};
+template <int ac, typename o>
+template <typename q>
+p<ac, o> &p<ac, o>::operator=(const p<ac, q> &g) {
+  aa(&g.ad[0], &ad[0]);
+}
+template <typename ae> class s : public r<ae> {
+  template <typename t> s &operator=(const s<t> &);
+};
+template <typename ae>
+template <typename t>
+s<ae> &s<ae>::operator=(const s<t> &g) {
+  p<2, ae>::operator=(g);
+}
+template s<ab<long double>> &s<ab<long double>>::
+operator=(const s<ab<float>> &);

diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index 7b3009aed2dcddcfd9153d06f1bf31fc2e08f131..4ce721ed4786e61fd9d3239707e285a72aecc0c6 100644 (file)
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -2492,8 +2492,9 @@ again:
       unsigned int size = STMT_VINFO_GROUP_SIZE (vinfo);
       tree vectype = STMT_VINFO_VECTYPE (vinfo);
       if (! vect_store_lanes_supported (vectype, size, false)
-         && ! vect_grouped_store_supported (vectype, size))
-       return false;
+        && ! known_eq (TYPE_VECTOR_SUBPARTS (vectype), 1U)
+        && ! vect_grouped_store_supported (vectype, size))
+       return false;
       FOR_EACH_VEC_ELT (SLP_INSTANCE_LOADS (instance), j, node)
        {
          vinfo = vinfo_for_stmt (SLP_TREE_SCALAR_STMTS (node)[0]);