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 7BC083861875; Fri, 15 Dec 2023 11:07:05 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7BC083861875
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1702638425;
	bh=1PvkAULAeCIMWT1AQTFMyC0K9jz8rEtK+ffEOSv5Ksw=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=Ud1ABrZObmCkXY42WQ2HK/oHegOr2WrveJvMYUY6EOmlfDwZFIAhtBGyD0G/pYvio
	 7pCVItySu8HuVXnEfil7IUBCc4o13+JurHZgfH15A+8lbBBczX74WJTg4SN8q/CNSd
	 r6nIF3J0S2k42d8d4GkZVVCpdq9FZcgWehIj1jnw=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/112941] during GIMPLE pass: bitintlower ICE:
 in handle_operand_addr, at gimple-lower-bitint.cc:2126
 (gimple-lower-bitint.cc:2134) at -O with _BitInt()
Date: Fri, 15 Dec 2023 11:07:05 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub 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: 
Message-ID: <bug-112941-4-bD3b9jPdOq@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-112941-4@http.gcc.gnu.org/bugzilla/>
References: <bug-112941-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=3D112941

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Testcase covering various cases where 2 consecutive casts can't be optimized
away.
This ICEs in multiple ways as well:
void
f1 (_BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
  p[0] +=3D (unsigned _BitInt(2048)) r;
  p[1] +=3D (unsigned _BitInt(2048)) s;
  p[2] +=3D (unsigned _BitInt(2048)) t;
  p[3] +=3D (unsigned _BitInt(2048)) u;
}

void
f2 (_BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
  p[0] *=3D (unsigned _BitInt(2048)) r;
  p[1] *=3D (unsigned _BitInt(2048)) s;
  p[2] *=3D (unsigned _BitInt(2048)) t;
  p[3] *=3D (unsigned _BitInt(2048)) u;
}

void
f3 (_BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
  p[0] +=3D (unsigned _BitInt(2110)) r;
  p[1] +=3D (unsigned _BitInt(2110)) s;
  p[2] +=3D (unsigned _BitInt(2110)) t;
  p[3] +=3D (unsigned _BitInt(2110)) u;
}

void
f4 (_BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
  p[0] *=3D (unsigned _BitInt(2110)) r;
  p[1] *=3D (unsigned _BitInt(2110)) s;
  p[2] *=3D (unsigned _BitInt(2110)) t;
  p[3] *=3D (unsigned _BitInt(2110)) u;
}

void
f5 (unsigned _BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t,
_BitInt(231) u)
{
  p[0] +=3D (unsigned _BitInt(2048)) r;
  p[1] +=3D (unsigned _BitInt(2048)) s;
  p[2] +=3D (unsigned _BitInt(2048)) t;
  p[3] +=3D (unsigned _BitInt(2048)) u;
}

void
f6 (unsigned _BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t,
_BitInt(231) u)
{
  p[0] *=3D (unsigned _BitInt(2048)) r;
  p[1] *=3D (unsigned _BitInt(2048)) s;
  p[2] *=3D (unsigned _BitInt(2048)) t;
  p[3] *=3D (unsigned _BitInt(2048)) u;
}

void
f7 (unsigned _BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t,
_BitInt(231) u)
{
  p[0] +=3D (unsigned _BitInt(2110)) r;
  p[1] +=3D (unsigned _BitInt(2110)) s;
  p[2] +=3D (unsigned _BitInt(2110)) t;
  p[3] +=3D (unsigned _BitInt(2110)) u;
}

void
f8 (unsigned _BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t,
_BitInt(231) u)
{
  p[0] *=3D (unsigned _BitInt(2110)) r;
  p[1] *=3D (unsigned _BitInt(2110)) s;
  p[2] *=3D (unsigned _BitInt(2110)) t;
  p[3] *=3D (unsigned _BitInt(2110)) u;
}

#if __SIZEOF_INT128__
void
f9 (_BitInt(4096) *p, __int128 r)
{
  p[0] +=3D (unsigned _BitInt(2048)) r;
}

void
f10 (_BitInt(4096) *p, __int128 r)
{
  p[0] *=3D (unsigned _BitInt(2048)) r;
}

void
f11 (_BitInt(4096) *p, __int128 r)
{
  p[0] +=3D (unsigned _BitInt(2110)) r;
}

void
f12 (_BitInt(4096) *p, __int128 r)
{
  p[0] *=3D (unsigned _BitInt(2110)) r;
}

void
f13 (unsigned _BitInt(4096) *p, __int128 r)
{
  p[0] +=3D (unsigned _BitInt(2048)) r;
}

void
f14 (unsigned _BitInt(4096) *p, __int128 r)
{
  p[0] *=3D (unsigned _BitInt(2048)) r;
}

void
f15 (unsigned _BitInt(4096) *p, __int128 r)
{
  p[0] +=3D (unsigned _BitInt(2110)) r;
}

void
f16 (unsigned _BitInt(4096) *p, __int128 r)
{
  p[0] *=3D (unsigned _BitInt(2110)) r;
}
#endif=