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 083FF3858D37; Mon, 15 Apr 2024 14:09:47 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 083FF3858D37
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1713190188;
	bh=1grES4C6rHo04MeGB7dZ6uJgqVX+Q4RripTM1P7ngEM=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=LQ07MMEWpwGlpyY1j+85nRCa/GUF4JQENWt0K17QeR+tKK+infnKNDfCfvQPEpReW
	 58a4c8usbTw5cE3OY/1KKgQP7zymNaZ56UJZZt+pizbJJ8+VeQRg4mehwZMsm1yRYV
	 WLmC2tLRPHseipu41X1S5XtwAmzsuBo3XwoHKtI0=
From: "pan2.li at intel dot com" <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 14:09:47 +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: pan2.li at intel dot com
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: 
Message-ID: <bug-114714-4-kSasS6Xmld@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

--- Comment #4 from Li Pan <pan2.li at intel dot com> ---
(In reply to Kito Cheng from comment #3)
> 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()); }
>=20
> ```

Thanks Kito, really save my day!=