From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 35621385840B; Tue, 17 Oct 2023 12:44:14 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 35621385840B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1697546654; bh=QPLnU4UXPnBKWVgoK35dLMkKoRBhFWiE8o/+rc1Ttkg=; h=From:To:Subject:Date:In-Reply-To:References:From; b=Z7oyOT2ETfuZ0YRMFw+MO4m46vrVL1Oxn4PqbhMHgQZYrFPcvRn32+wqALG7Z4gJG pmpzeh9mcn1PReH91TCT4AIghR9G1m7cL5LISbRm7BTuzgOTm6Z3GhwZVVHboIR14x iwniHuK/ptKavh+Y9q/S+VLFnCOZWTh8RoVdmRQY= From: "rguenth at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/111268] [14 Regression] internal compiler error: in to_constant, at poly-int.h:504 Date: Tue, 17 Oct 2023 12:44:13 +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, needs-bisection X-Bugzilla-Severity: normal X-Bugzilla-Who: rguenth at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 14.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: priority cf_reconfirmed_on 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=3D111268 Richard Biener changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P3 |P1 Last reconfirmed|2023-09-07 00:00:00 |2023-10-17 --- Comment #9 from Richard Biener --- Re-confirmed. during GIMPLE pass: slp t.c: In function 'f': t.c:3:6: internal compiler error: in to_constant, at poly-int.h:588 3 | void f(unsigned long *expected, svuint64_t values) { | ^ 0xe915f8 poly_int<2u, unsigned long>::to_constant() const /space/rguenther/src/gcc/gcc/poly-int.h:588 0x1aedf84 vectorizable_slp_permutation_1 /space/rguenther/src/gcc/gcc/tree-vect-slp.cc:8766 0x1aeee54 vectorizable_slp_permutation /space/rguenther/src/gcc/gcc/tree-vect-slp.cc:8931 0x1ae4321 vect_slp_analyze_node_operations_1 /space/rguenther/src/gcc/gcc/tree-vect-slp.cc:6049 the comment is outdated, we check unsigned olanes =3D ncopies * SLP_TREE_LANES (node); gcc_assert (repeating_p || multiple_p (olanes, nunits)); but then we have to adjust the following to poly arith somehow: if (repeating_p) vperm.quick_push ({{p.first, 0}, p.second + active_lane[p.first= ]}); else { /* We checked above that the vectors are constant-length. */ unsigned vnunits =3D TYPE_VECTOR_SUBPARTS (vtype).to_constant= (); unsigned vi =3D (active_lane[p.first] + p.second) / vnunits; unsigned vl =3D (active_lane[p.first] + p.second) % vnunits; vperm.quick_push ({{p.first, vi}, vl});=