From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 2561A3858D35; Mon, 15 Apr 2024 13:47:43 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2561A3858D35
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1713188863;
	bh=9jAmNwxQwo/93nIo65C9xlOyNTmCrnWw4kf/Yrt9/RE=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=tTfQoFj79YXw3B5PCHmRX67bvvVMezII34sJQBwyZ1flx2fvl3a+DHtoVr4yLPboQ
	 Dp4WN0wFKGo2bCX1QOOHBQN1zeQngYs0fq0afEo9l/6IeQDaRnN6IMzB9EdsdKQ/EN
	 bHeNEofBAce8ra9RK5+Q6v8/pGuBgRQ+RWjpK8vQ=
From: "kito at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/114714] [RISC-V][RVV] ICE: insn does not satisfy its
 constraints (postreload)
Date: Mon, 15 Apr 2024 13:47:42 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: kito at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc everconfirmed cf_reconfirmed_on bug_status
Message-ID: <bug-114714-4-D8aSWAPtId@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114714-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114714-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D114714

Kito Cheng <kito at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kito at gcc dot gnu.org
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-04-15
             Status|UNCONFIRMED                 |NEW

--- Comment #3 from Kito Cheng <kito at gcc dot gnu.org> ---
Reduced case, not the final result, but it already run 8+ hours...
```
typedef int a;
typedef short b;
typedef unsigned c;
template < typename > using e =3D unsigned;
template < typename > void ab();
#pragma riscv intrinsic "vector"
template < typename f, int, int ac > struct g {
  using i =3D f;
  template < typename m > using j =3D g< m, 0, ac >;
  using k =3D g< i, 1, ac - 1 >;
  using ad =3D g< i, 1, ac + 1 >;
};
namespace ae {
struct af {
  using h =3D g< short, 6, 0 < 3 >;
};
struct ag {
  using h =3D af::h;
};
} template < typename, int > using ah =3D ae::ag::h;
template < class ai > using aj =3D typename ai::i;
template < class i, class ai > using j =3D typename ai::j< i >;
template < class ai > using ak =3D j< e< ai >, ai >;
template < class ai > using k =3D typename ai::k;
template < class ai > using ad =3D typename ai::ad;
template < a ap > vuint16m1_t ar(g< b, ap, 0 >, b);
template < a ap > vuint16m2_t ar(g< b, ap, 1 >, b);
template < a ap > vuint32m2_t ar(g< c, ap, 1 >, c);
template < a ap > vuint32m4_t ar(g< c, ap, 2 >, c);
template < class ai > using as =3D decltype(ar(ai(), aj< ai >()));
template < class ai > as< ai > at(ai);
namespace ae {
template < int ap > vuint32m4_t au(g< c, ap, 1 + 1 >, vuint32m2_t l) {
  return __riscv_vlmul_ext_v_u32m2_u32m4(l);
}
} template < int ap > vuint32m2_t aw(g< c, ap, 1 >, vuint16m1_t l) {
  return __riscv_vzext_vf2_u32m2(l, 0);
}
namespace ae {
vuint32m4_t ax(vuint32m4_t, vuint32m4_t, a);
}
template < class ay, class an > as< ay > az(ay ba, an bc) {
  an bb;
  return ae::ax(ae::au(ba, bc), ae::au(ba, bb), 2);
}
template < class bd > as< bd > be(bd, as< ad< bd > >);
namespace ae {
template < class bh, class bi > void bj(bh bk, bi bl) {
  ad< decltype(bk) > bn;
  az(bn, bl);
}
} template < int ap, int ac, class bp, class bq >
void br(g< c, ap, ac > bk, bp, bq bl) {
  ae::bj(bk, bl);
}
template < class ai > using bs =3D decltype(at(ai()));
struct bt;
template < int ac =3D 1 > class bu {
public:
  template < typename i > void operator()(i) {
    ah< i, ac > d;
    bt()(i(), d);
  }
};
struct bt {
  template < typename bv, class bf > void operator()(bv, bf bw) {
    using bx =3D bv;
    ak< bf > by;
    k< bf > bz;
    using bq =3D bs< decltype(by) >;
    using bp =3D bs< decltype(bw) >;
    bp cb;
    ab< bx >();
    for (;;) {
      bp cc;
      bq bl =3D aw(by, be(bz, cc));
      br(by, cb, bl);
    }
  }
};
void d() { bu()(b()); }

```=