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 47F3538582B7; Tue, 28 Feb 2023 14:30:27 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 47F3538582B7
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1677594627;
	bh=trXjDE994xHMNawoWFTwpy/2RIDux5oZqu7T3eDH9Y0=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=RFTnLMp5b4ETWIwOCON7SM+cXqZ7+1FsxleEdaR07btKj1p2a6bua3QKTsRZn0kP0
	 iNjP4kh04sLRMVM3I/boC/GQ6yxUsIQbWnd5RQ8ZsciDQRH/gW4GLVCw/NNRCLRzNX
	 /hz4nM+yzz5MmvOw+hLFrzOJ0cX4QVQVcKNxcSbI=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/108950] [11/12/13 Regression] ICE: verify_gimple failed
 (error: conversion of register to a different size in 'view_convert_expr';
 error: type mismatch in 'widen_sum_expr') since r11-418-g584a3c080bbd6e
Date: Tue, 28 Feb 2023 14:30:26 +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: 13.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: P2
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-108950-4-jk5p8PjdWZ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108950-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108950-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
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
It's because we do

  if (slp_node
      && !(!single_defuse_cycle
           && !lane_reduc_code_p
           && reduction_type !=3D FOLD_LEFT_REDUCTION))
    for (i =3D 0; i < (int) op.num_ops; i++)
      if (!vect_maybe_update_slp_op_vectype (slp_op[i], vectype_op[i]))
        {
          if (dump_enabled_p ())
            dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,
                             "incompatible vector types for invariants\n");
          return false;
        }

for the invariant lower precision op of the reduction.  Arguably that's
not efficient.  We're detecting a widen_sum from

  n.0_1 =3D n;
  _2 =3D (int) n.0_1;
  m_lsm.19_13 =3D m;

  <bb 3> [local count: 1073741824]:
  # iter.6_8 =3D PHI <0(2), iter.6_9(5)>
  # m_lsm.19_12 =3D PHI <m_lsm.19_13(2), _5(5)>
  # ivtmp_7 =3D PHI <2(2), ivtmp_18(5)>
  _4 =3D _2 + m_lsm.19_12;

which is where we could fix this.  I have a patch for the reduction code
for now.=