From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 61A3B3858404; Fri, 1 Dec 2023 11:54:22 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 61A3B3858404 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1701431662; bh=PJPNeUCEr5ZCnLKSu3NOt2Mo8U9HB096Wf93Z5loUBU=; h=From:To:Subject:Date:In-Reply-To:References:From; b=r2Q8QrbKpFQ2cZwMMDDQuBu7Jr6YdyJYGTr0FsJcMVY8V6OhmKP9pLiiwh0oMmOOh +ON3/rdFuVfMdLKb1zMbhYTfclu/x0vaTteDVQyir0rL5OeQgJSQVawuWs1FW6rfFA /mk6mfaqUnQ6hU5ZPuWs5111svMoP50bazaX5avY= From: "rdapp at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/112773] [14 Regression] RISC-V ICE: in force_align_down_and_div, at poly-int.h:1828 on rv32gcv_zvl256b Date: Fri, 01 Dec 2023 11:54:12 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: target X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: rdapp at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 14.0 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=3D112773 --- Comment #9 from Robin Dapp --- Ok, it's not the fold_extract_last expander. It just appeared that way here because I disabled some other things. What we want to do is extract the last element from a vector. This works as long as we have a loop length (or a loop mask) as we can defer that to vec_extract with element index len - 1. In the epilog here we don't have either so the only workaround I can quickly think of is allowing a poly_int constant as vec_extract index (where we know the vector length and can extract the proper thing with a bit of extra work= ). Richi, Richard: Is that somehow viable or am I on the wrong track?=