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 409913858417; Fri, 12 Jan 2024 10:21:29 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 409913858417
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1705054889;
	bh=Kx19lG4Tu1sJi2JodYoUwtERFDk0nOMyiv1hPprGtu8=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=jkfWLHVpdany506XGE0QMLE3skbH3jCF78LGDohElfSvJDHXkqbhazPGadWB70Bwr
	 FmoyNAo2zViaexw12PluebAWX0Nxffo9eYy4TOVZP36szYiIs3yty2pBV4mG+oOcFm
	 gFZnpIwQcRmwWHQSzi2VzCqEB637Pc6Ais2a9KKg=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/113323] ICE: tree check: expected none of
 vector_type, have vector_type in bitint_precision_kind, at
 gimple-lower-bitint.cc:131 with _BitInt()
Date: Fri, 12 Jan 2024 10:21:28 +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: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113323-4-AsVjq2qmny@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113323-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113323-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=3D113323

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:a2d66158541c0923620b044098bf66a73b51c463

commit r14-7180-ga2d66158541c0923620b044098bf66a73b51c463
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Fri Jan 12 11:20:40 2024 +0100

    lower-bitint: Fix a typo in a condition [PR113323]

    The following testcase revealed a typo in condition, as the comment
    says the intent is
           /*  If lhs of stmt is large/huge _BitInt SSA_NAME not in m_names
               it means it will be handled in a loop or straight line code
               at the location of its (ultimate) immediate use, so for
               vop checking purposes check these only at the ultimate
               immediate use.  */
    but the condition was using !=3D BITINT_TYPE rather than =3D=3D BITINT_=
TYPE,
    so e.g. it used bitint_precision_kind on non-BITINT_TYPEs (e.g. on vect=
or
    types it will crash because TYPE_PRECISION means something different th=
ere,
    or on say INTEGER_TYPEs the precision will never be large enough to be =
>=3D
    bitint_prec_large).

    The following patch fixes that.

    2024-01-12  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/113323
            * gimple-lower-bitint.cc (bitint_dom_walker::before_dom_childre=
n):
Fix
            check for lhs being large/huge _BitInt not in m_names.

            * gcc.dg/bitint-68.c: New test.=