From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 2D4343857C44; Sat, 10 Jun 2023 18:25:58 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2D4343857C44 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1686421558; bh=PbzFckUNHN6j3rhu4QUi8gY5h3x+K1XSaw1ot4t5adI=; h=From:To:Subject:Date:In-Reply-To:References:From; b=twNQYBLhD4ER6+m3H6WAQ8xrAmtJf0BDiLU+iLYegC/idYcO+80R2aw07EheTpAy9 H5mW1DarjroWuG93erau12V7yCaAHqz13xgVL/odsaPapr5dzQ5cVZ3f0vbR5rocVd cjfaht390YMx2RYkkLu2HClTCu+EID99wlIw+ovY= From: "ibuclaw at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug d/110193] d_signed_or_unsigned_type is invoked for vector types Date: Sat, 10 Jun 2023 18:25:57 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: d X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: wrong-code X-Bugzilla-Severity: normal X-Bugzilla-Who: ibuclaw at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: ibuclaw at gdcproject dot org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc 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=3D110193 ibuclaw at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ibuclaw at gcc dot gnu.org --- Comment #2 from ibuclaw at gcc dot gnu.org --- Just having a cursory look, the only references to d_signed_or_unsigned_typ= e is via d_unsigned_type and d_signed_type. The former is only called by d_gimplify_unsigned_rshift_expr. So I guess you must mean you've noticed this with something like. __vector(int[4]) unsigned_rshift(__vector(int[4]) v) { return v >>> 2; } It turns out that this accident doesn't affect the intent on x86. https://d.godbolt.org/z/99fK7fWaW Gimple dump: --- __vector(int[4]) rshift (__vector(int[4]) v) { __vector(int[4]) D.1795; _1 =3D VIEW_CONVERT_EXPR(v); _2 =3D _1 >> 2; D.1795 =3D VIEW_CONVERT_EXPR<__vector(int[4])>(_2); return D.1795; }=