re PR target/85503 (ICE in replace_swapped_load_constant, at config/rs6000/rs6000...
authorJakub Jelinek <jakub@redhat.com>
Tue, 24 Apr 2018 16:05:19 +0000 (18:05 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Tue, 24 Apr 2018 16:05:19 +0000 (18:05 +0200)
PR target/85503
* config/rs6000/rs6000-p8swap.c (const_load_sequence_p): Punt if
const_vector is not CONST_VECTOR or SYMBOL_REF for a constant pool
containing a CONST_VECTOR.

* g++.dg/ext/pr85503.C: New test.

From-SVN: r259607

gcc/ChangeLog
gcc/config/rs6000/rs6000-p8swap.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/ext/pr85503.C [new file with mode: 0644]

index 0ed8d634ec1aa440c791f7a1b33e74859c6df768..e43a931c1922132340faea26c2cc5a66fbc77a50 100644 (file)
@@ -1,3 +1,10 @@
+2018-04-24  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/85503
+       * config/rs6000/rs6000-p8swap.c (const_load_sequence_p): Punt if
+       const_vector is not CONST_VECTOR or SYMBOL_REF for a constant pool
+       containing a CONST_VECTOR.
+
 2018-04-24  Cesar Philippidis  <cesar@codesourcery.com>
 
        * doc/install.texi: Update newlib dependency for nvptx.
index 6ef2eed322d253118a9d5d689119a8238ae34cab..071bc0c187dbcbe5826a3dd2d14c5979f694dda6 100644 (file)
@@ -593,8 +593,10 @@ const_load_sequence_p (swap_web_entry *insn_entry, rtx insn)
                 remove this special test.  */
              rtx const_vector = get_pool_constant (base);
              if (GET_CODE (const_vector) == SYMBOL_REF
-                 && !CONSTANT_POOL_ADDRESS_P (const_vector))
-                   return false;
+                 && CONSTANT_POOL_ADDRESS_P (const_vector))
+               const_vector = get_pool_constant (const_vector);
+             if (GET_CODE (const_vector) != CONST_VECTOR)
+               return false;
            }
        }
     }
index 65c4d6144bc7dac74659e528f43fc1d1df9f7a2b..0c1c0be9e91175e051ddb3bd2b48225fa5e37f74 100644 (file)
@@ -1,5 +1,8 @@
 2018-04-24  Jakub Jelinek  <jakub@redhat.com>
 
+       PR target/85503
+       * g++.dg/ext/pr85503.C: New test.
+
        PR target/85508
        * gcc.target/i386/pr85508.c: New test.
 
diff --git a/gcc/testsuite/g++.dg/ext/pr85503.C b/gcc/testsuite/g++.dg/ext/pr85503.C
new file mode 100644 (file)
index 0000000..7e17943
--- /dev/null
@@ -0,0 +1,218 @@
+// PR target/85503
+// { dg-do compile { target { { powerpc64le-*-* } && c++11 } } }
+// { dg-require-effective-target powerpc_vsx_ok }
+// { dg-options "-O2 -mvsx" }
+
+namespace b {
+template < int c > struct d { static constexpr int e = c; };
+typedef d< false > f;
+template < typename g > struct h { typedef g i; };
+template < typename > class j;
+template < bool, bool, typename... > struct aa;
+struct k {
+  template < typename n, typename... q >
+  static h< decltype(n()(q()...)) > o(int);
+};
+template < typename p, typename... t > struct aa< false, false, p, t... > : k {
+  typedef decltype(o< p, t... >(0)) i;
+};
+template < typename p, typename... t >
+struct ab : aa< f::e, f::e, p, t... >::i {};
+template < typename p, typename... t > struct j< p(t...) > : ab< p, t... > {};
+} enum { r, s };
+typedef long x;
+template < typename > struct ac;
+template < typename y > struct ac< y & > { typedef y i; };
+template < typename y > struct j { typedef typename b::j< y >::i i; };
+template < typename > struct ad;
+template < typename > struct ae;
+template < typename > class af;
+template < typename, int ag, int ah, int = 0, int = ag, int = ah > class ai;
+template < typename > class aj;
+template < typename, typename, typename > class ak;
+template < typename > class al;
+template < typename > struct am;
+template < typename > struct an;
+template < typename y > struct ao { typedef typename am< y >::i i; };
+struct aq {
+  typedef const ai< double, 2, 1 > &ar;
+};
+template < typename as > struct at { typedef aj< as > i; };
+template < typename as > struct au { typedef typename at< as >::i i; };
+template < typename av > av aw(const typename an< av >::i *);
+template < typename av, int > av az(const typename an< av >::i *ba) {
+  return aw< av >(ba);
+}
+typedef __attribute__((altivec(vector__))) double bb;
+template <> struct am< double > { typedef bb i; };
+template <> struct an< bb > { typedef double i; };
+template <> bb aw(const double *ba) { return __builtin_vec_vsx_ld(0, ba); }
+struct bc {
+  template < typename av > int bd(av a) { bd(a); __builtin_unreachable (); }
+};
+struct be {
+  double operator()(const int, const int);
+};
+template < typename as > class bf : public ae< as > {
+public:
+  typedef typename ad< as >::bg bg;
+  using ae< as >::bh;
+  enum { bi };
+  bg bj() const;
+  template < typename bk > bg bl(const bk &) const;
+};
+template < typename as > class aj : public bf< as > {
+public:
+  using bf< as >::bh;
+  template < typename bm > ak< be, const as, const bm > operator-(bm bn) {
+    return ak< be, const as, const bm >(bh(), bn);
+  }
+  int bo() const;
+  al< as > array() { return bh(); }
+};
+template < typename as > struct ae {
+  const as &bh() const { return *static_cast< const as * >(this); }
+};
+template < typename > struct bp;
+template < typename > struct bq;
+template < typename y > struct br : bq< y > {
+  br(y bs) : bq< y >(bs) {}
+};
+template < typename y > struct br< const y > : br< y > {
+  br(const y &bs) : br< y >(bs) {}
+};
+template < typename as > struct br< af< as > > {
+  typedef as bt;
+  br(const bt &m) : bu(m.bv()) {}
+  template < int bw, typename ay > ay bx(x, x by) {
+    return az< ay, bw >(bu + by);
+  }
+  const typename bt::bg *bu;
+};
+template < typename bg, int u, int bz, int ca, int cb, int cc >
+struct br< ai< bg, u, bz, ca, cb, cc > > : br< af< ai< bg, u, bz > > > {
+  typedef ai< bg, u, bz > cd;
+  br(const cd &m) : br< af< cd > >(m) {}
+};
+template < typename bk, typename ce, typename cf >
+struct br< ak< bk, ce, cf > > : bp< ak< bk, ce, cf > > {
+  br(ak< bk, ce, cf > bs) : bp< ak< bk, ce, cf > >(bs) {}
+};
+template < typename bk, typename ce, typename cf >
+struct bp< ak< bk, ce, cf > > {
+  bp(ak< bk, ce, cf > bs) : cg(), ch(bs.ci()) {}
+  template < int bw, typename ay > ay bx(x cj, x by) {
+    return ch.template bx< bw, ay >(cj, by);
+  }
+  ce cg;
+  br< cf > ch;
+};
+template < typename cd > struct v {
+  typedef typename ac< typename cd::ck >::i cl;
+  v(cl &arg) : cn(arg) {}
+  template < int bw, typename ay > ay bx(x cj, x by) {
+    return cn.template bx< bw, ay >(cj, by);
+  }
+  br< cl > cn;
+};
+template < typename cm > struct bq< al< cm > > : v< al< cm > > {
+  bq(al< cm > w) : v< al< cm > >(w.dd()) {}
+};
+template < typename as > class ap : public bf< as > {};
+template < int ax > struct co { double array[ax]; };
+template < int ax > class cq {
+  co< ax > bu;
+
+public:
+  const double *bv() const { return bu.array; }
+};
+template < typename as > class af : public at< as >::i {
+public:
+  typedef typename at< as >::i cp;
+  cq< cp::bi > cs;
+  const typename ad< as >::bg *bv() const { return cs.bv(); }
+};
+template < typename cr, int ag, int ah, int cu, int ct, int cw >
+struct ad< ai< cr, ag, ah, cu, ct, cw > > {
+  typedef cr bg;
+};
+template < typename, int ag, int ah, int, int, int >
+class ai : public af< ai< double, ag, ah > > {
+  typedef ai cv;
+};
+template < typename bk, typename ce, typename cf >
+struct ad< ak< bk, ce, cf > > {
+  typedef typename j< bk(typename ce::bg, typename cf::bg) >::i bg;
+};
+template < typename, typename, typename > class z;
+template < typename bk, typename cy, typename cx >
+class ak : public z< bk, cy, cx > {
+public:
+  typedef cx RhsNested;
+  ak(cy, cx cz) : da(), db(cz) {}
+  RhsNested ci() { return db; }
+  cy da;
+  RhsNested db;
+};
+template < typename bk, typename ce, typename cf >
+class z : public au< ak< bk, ce, cf > >::i {};
+template < typename as > int aj< as >::bo() const { (*this).bj(); __builtin_unreachable (); }
+template < typename as > struct dc {
+  typedef typename ao< typename as::bg >::i ay;
+  enum { d, de };
+  enum { df = de };
+};
+template < typename as > struct dk {
+  enum { dh, di, dj, alignment };
+  typedef typename dc< as >::ay PacketScalar;
+  static PacketScalar dl(as dm, bc) {
+    return dm.template dn< alignment, PacketScalar >(di, dj);
+  }
+};
+template < typename, typename as, int = dc< as >::df > struct redux_impl;
+template < typename Func, typename as > struct redux_impl< Func, as, s > {
+  static int dl(as dm, Func func) { func.bd(dk< as >::dl(dm, func)); __builtin_unreachable (); }
+};
+template < typename _XprType > class redux_evaluator {
+public:
+  typedef _XprType cd;
+  redux_evaluator(cd bs) : m_evaluator(bs), m_xpr(bs) {}
+  typedef typename cd::bg bg;
+  template < int bw, typename ay > ay dn(x di, x dj) {
+    return m_evaluator.template bx< bw, ay >(dj, di);
+  }
+  br< cd > m_evaluator;
+  cd m_xpr;
+};
+template < typename as >
+template < typename Func >
+typename ad< as >::bg bf< as >::bl(const Func &func) const {
+  typedef redux_evaluator< as > ThisEvaluator;
+  ThisEvaluator thisEval(bh());
+  redux_impl< Func, ThisEvaluator >::dl(thisEval, func);
+  __builtin_unreachable ();
+}
+template < typename as > typename ad< as >::bg bf< as >::bj() const {
+  bl(bc());
+  __builtin_unreachable ();
+}
+template < typename ExpressionType >
+struct ad< al< ExpressionType > > : ad< typename ExpressionType::cv > {};
+template < typename > class al : public ap< al< ai< double, 2, 1 > > > {
+public:
+  typedef aq::ar ck;
+  al(const ai< double, 2, 1 > &dg) : m_expression(dg) {}
+  const ai< double, 2, 1 > &dd() { return m_expression; }
+  ck m_expression;
+};
+typedef ai< double, 2, 1 > Vector2d;
+class OnHoverHandlerGraphicsItem {
+public:
+  static Vector2d corners;
+};
+int
+GasGraphicsItemcreateOnHoverHandler() {
+  Vector2d l;
+  (l - OnHoverHandlerGraphicsItem::corners.array()).bo();
+  __builtin_unreachable ();
+}