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 C32F53861012; Mon, 19 Jul 2021 11:26:31 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C32F53861012
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/101505] [10/11/12 Regression] ICE: verify_gimple failed
 (error: incompatible types in 'PHI' argument 0)
Date: Mon, 19 Jul 2021 11:26:31 +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: 12.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-101505-4-kXI5r8LKEB@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-101505-4@http.gcc.gnu.org/bugzilla/>
References: <bug-101505-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: Mon, 19 Jul 2021 11:26:31 -0000

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
vectorizable_lc_phi get's the vectorized stmts of _4 =3D xb_17 <=3D 0; but =
sees
the mask rather than the pattern stmt used to produce the desired result.
The def_stmt is vect_used_in_outer, and otherwise the use stmt is "dead".
We also failed to mark the pattern.

That said, the failure looks like it is in bool pattern recog which fails
to see the use of _4 =3D xb_17 <=3D 0 in non-bool context here.

<bb 4> [local count: 715863673]:
# xb_17 =3D PHI <xb_5(8), xb_2(3)>
# qp_19 =3D PHI <qp_7(8), 0(3)>
# ivtmp_15 =3D PHI <ivtmp_6(8), 2(3)>
_4 =3D xb_17 <=3D 0;
xb_5 =3D (short int) _4;
qp_7 =3D qp_19 + 1;
ivtmp_6 =3D ivtmp_15 - 1;
if (ivtmp_6 !=3D 0)
  goto <bb 8>; [66.67%]
else
  goto <bb 5>; [33.33%]

<bb 5> [local count: 357878152]:
# _18 =3D PHI <_4(4)>
_8 =3D (char) _18;
retval.2[iter.3_10] =3D _8;
iter.3_11 =3D iter.3_10 + 1;
ivtmp_16 =3D ivtmp_3 - 1;
if (ivtmp_16 !=3D 0)
  goto <bb 7>; [100.00%]
else
  goto <bb 6>; [0.00%]

I've fixed this once for BB vect but not loop vect (I guess due to lack of a
testcase).=