From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 009943858D33; Fri, 2 Apr 2021 14:55:46 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 009943858D33 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/99882] [11 Regression] ICE in bswap_view_convert, at gimple-ssa-store-merging.c:988 since r11-7946-g5b9a65ecbeb22ef6 Date: Fri, 02 Apr 2021 14:55:46 +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: 11.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: ASSIGNED X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org X-Bugzilla-Target-Milestone: 11.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_status assigned_to 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 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 02 Apr 2021 14:55:47 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D99882 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gn= u.org --- Comment #1 from Jakub Jelinek --- Untested fix: --- gcc/gimple-ssa-store-merging.c.jj 2021-04-01 10:50:56.238629197 +0200 +++ gcc/gimple-ssa-store-merging.c 2021-04-02 16:52:38.763803716 +0200 @@ -985,10 +985,19 @@ public: static tree bswap_view_convert (gimple_stmt_iterator *gsi, tree type, tree val) { - gcc_assert (INTEGRAL_TYPE_P (TREE_TYPE (val))); + gcc_assert (INTEGRAL_TYPE_P (TREE_TYPE (val)) + || POINTER_TYPE_P (TREE_TYPE (val))); if (TYPE_SIZE (type) !=3D TYPE_SIZE (TREE_TYPE (val))) { HOST_WIDE_INT prec =3D TREE_INT_CST_LOW (TYPE_SIZE (type)); + if (POINTER_TYPE_P (TREE_TYPE (val))) + { + gimple *g + =3D gimple_build_assign (make_ssa_name (pointer_sized_int_node), + NOP_EXPR, val); + gsi_insert_before (gsi, g, GSI_SAME_STMT); + val =3D gimple_assign_lhs (g); + } tree itype =3D build_nonstandard_integer_type (prec, 1); gimple *g =3D gimple_build_assign (make_ssa_name (itype), NOP_EXPR, = val); gsi_insert_before (gsi, g, GSI_SAME_STMT); Slightly cleaned up testcase: void foo (char *p, void *q) { __INTPTR_TYPE__ i =3D (__INTPTR_TYPE__) q; p[2] =3D i; i >>=3D 8; p[3] =3D i; i >>=3D 8; p[4] =3D i; i >>=3D 8; p[5] =3D i; i >>=3D 8; p[6] =3D i; i >>=3D 8; p[7] =3D i; i >>=3D 8; p[8] =3D i; i >>=3D 8; p[9] =3D i; } void bar (char *p, void *q) { __INTPTR_TYPE__ i =3D (__INTPTR_TYPE__) q; p[2] =3D i; i >>=3D 8; p[3] =3D i; i >>=3D 8; p[4] =3D i; i >>=3D 8; p[5] =3D i; }=