From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 9CC683858C3A; Sat, 24 Jun 2023 00:55:37 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9CC683858C3A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1687568137; bh=pn6j/6UXNSdPuR9UFK7ezvd0fSnr5qQNPeQwpQ/1z6Q=; h=From:To:Subject:Date:From; b=YCmqlyqHzfVghpNPf/wyZpJ71gtM3in6pzJDMpIDFFsmMKeJiOKrhOMifWas2ikDJ TPABGxibq3rifwnlOoNO7pBkZn0N36OT5Kk+sFedm/HBCX7TLnhV/Q7E671m4e1RAq 8wtvg5X9BO/ZRxB+KJRClyqBNfy6QwADIZrl2nNU= From: "benjsith at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/110386] New: [14 Regression] ICE when optimizing VPABSD/VPMULLD since 07b86ab138bf8be8cb331015cd2b9775c6856ac6 Date: Sat, 24 Jun 2023 00:55:37 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new 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: benjsith at gmail dot com 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: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone attachments.created Message-ID: 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=3D110386 Bug ID: 110386 Summary: [14 Regression] ICE when optimizing VPABSD/VPMULLD since 07b86ab138bf8be8cb331015cd2b9775c6856ac6 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: benjsith at gmail dot com Target Milestone: --- Created attachment 55394 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D55394&action=3Dedit A preprocessed minimal repro of the VPABSD/VPMULLD issue The following code is a minimal repro of the issue when compiled using `gcc -mavx -O1`: #include __m128i do_stuff(__m128i XMM0) { __m128i ABS0 =3D _mm_abs_epi32(XMM0); __m128i MUL0 =3D _mm_mullo_epi32(ABS0, XMM0); __m128i MUL1 =3D _mm_mullo_epi32(MUL0, MUL0); return MUL1; } Godbolt link: https://godbolt.org/z/c6dK5jzco The ICE/crash prints: min_repro.c: In function =E2=80=98do_stuff=E2=80=99: min_repro.c:3:9: error: type mismatch in binary expression 3 | __m128i do_stuff(__m128i XMM0) { | ^~~~~~~~ vector(4) unsigned int vector(4) unsigned int vector(4) int _6 =3D _5 * _7; during GIMPLE pass: backprop min_repro.c:3:9: internal compiler error: verify_gimple failed 0x102003d verify_gimple_in_cfg(function*, bool, bool) .././../gcc/gcc/tree-cfg.cc:5646 0xebf8d0 execute_function_todo .././../gcc/gcc/passes.cc:2098 0xebfe3e execute_todo .././../gcc/gcc/passes.cc:2152 A bisect shows it started in 07b86ab138bf8be8cb331015cd2b9775c6856ac6, whic= h is related to a previous bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D11= 0108 I have confirmed that this still repros in the latest trunk, 6b724427aa1ec9b690e40f5206572f57e1adeda8 For triage/priority purposes: this issue was not from code I manually wrote, but was found by a fuzzer meant to test SIMD codegen=