From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 7FB4D3857023; Fri, 13 May 2022 11:48:40 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7FB4D3857023
From: "zsojka at seznam dot cz" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/105591] [13 Regression] ICE: in
 tree_to_poly_uint64, at tree.cc:3250 with -O -mavx512f -mno-avx2 since
 r13-379
Date: Fri, 13 May 2022 11:48:40 +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: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: zsojka at seznam dot cz
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: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-105591-4-iOqBio0rRl@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-105591-4@http.gcc.gnu.org/bugzilla/>
References: <bug-105591-4@http.gcc.gnu.org/bugzilla/>
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 <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Fri, 13 May 2022 11:48:40 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D105591

--- Comment #4 from Zdenek Sojka <zsojka at seznam dot cz> ---
(In reply to Richard Biener from comment #1)
> Confirmed.  The offset is very large negative, built by simplify_bitfield=
_ref
> here:
>=20
> 2416      tem =3D build3 (BIT_FIELD_REF, TREE_TYPE (op),
> 2417                    p, op1, bitsize_int (idx * elem_size));
> (gdb) p idx
> $11 =3D 13704120150654661628
>=20
> because we have a non-sensical permute:
>=20
> x_4 =3D VEC_PERM_EXPR <u_3(D), u_3(D), { 13704120150654661630, 0 }>;
>=20
> some sanity checking in simplify_bitfield_ref might be in order.  Rejecti=
ng
> the __builtin_shuffle might be another option, it's surely going to cause
> issues elsewhere.

Indeed I am triggering probably related failures elsewhere:

testcase-min0.i:54:5: error: invalid position or size operand to
'bit_field_ref'
   54 | int main(void)
      |     ^~~~
_66 =3D BIT_FIELD_REF <{ 2305807824841605120, 18446462598732840960, 65535,
268431360, 65535, 68718428160, 18446181123756130304, 72056494526300160 }, 6=
4,
0xfffffffffffffffff0a1a0c0f3732940>;
testcase-min0.i:54:5: error: position plus size exceeds size of referenced
object in 'bit_field_ref'
_89 =3D BIT_FIELD_REF <{ 2305807824841605120, 18446462598732840960, 65535,
268431360, 65535, 68718428160, 18446181123756130304, 72056494526300160 }, 6=
4,
5392423424>;
...=