From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id ED4053858D37; Thu, 22 Feb 2024 11:08:35 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ED4053858D37 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1708600115; bh=FlCCadSHNuamruUdyECOs77zh+c9VgZWuefHaGgAV8A=; h=From:To:Subject:Date:In-Reply-To:References:From; b=bRgKxL9/2MI6QNIb0ku2LLgKDLdHOZW1wjbgVX/WtfdalKvxG9SWnizZyCPDCH5OC 05zGVcePYVD1AhttLK1fpApelbBppBQX6giq5eNW1evKyFbJMTKtW4FTcFWGs6cinH 9wdioyH91lSEFGC/sc9+C4PFTeYlj7me2jWC0Kr0= From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/114041] wrong code with _BitInt() and -O -fgraphite-identity Date: Thu, 22 Feb 2024 11:08:35 +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: wrong-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: In-Reply-To: References: 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: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D114041 --- Comment #3 from Jakub Jelinek --- I thought graphite is done only after bitint lowering. At that point, there should be just <=3D MAX_FIXED_MODE_SIZE BITINT_TYPEs a= round in the IL, with the exception of loading SSA_NAMEs from memory in order to = pass them to function calls, or undefined SSA_NAMEs, or usually TREE_ADDRESSABLE PARM_DECLs being converted to something else. Would be probably wise to punt on graphite optimizations on loops which have those larger SSA_NAMEs anywhere in the loop bodies. That said, ub4_0_17(D) is unsigned _BitInt(4).=