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 EBAC938515F4; Wed, 15 Mar 2023 09:48:24 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org EBAC938515F4
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1678873704;
	bh=WIvXi1FKmxf0nAkEQHYZT/wVedWm0g7OaZLmf25PPzk=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=FWNPoMz+zSdRsj+4kVg7nOHQ6yU41YIwPcNY+n+cltwi4e84gftchzOGdO68+f0MH
	 WUt1ddn9WUuCguX/eJmqAjkwpgjSUWPTF1ggKygIav1/g4aK9U43NTvaPi0EC6Nlzm
	 ElgAwW9FTzdvilyYP180NUHXlU0mGBI0hyFW8DgA=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/108950] [11/12 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: Wed, 15 Mar 2023 09:48:24 +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: cvs-commit 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-fDExWt6zZL@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 #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:f4e4108dd005084fc1c88bba14fda6b200e70daa

commit r12-9262-gf4e4108dd005084fc1c88bba14fda6b200e70daa
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Feb 28 15:34:27 2023 +0100

    tree-optimization/108950 - widen-sum reduction ICE

    When we end up with a widen-sum with an invariant smaller operand
    the reduction code uses a wrong vector type for it, causing
    IL checking ICEs.  The following fixes that and the inefficiency
    of using a widen-sum with a widenend invariant operand as well
    by actually performing the check the following comment wants.

            PR tree-optimization/108950
            * tree-vect-patterns.cc (vect_recog_widen_sum_pattern):
            Check oprnd0 is defined in the loop.
            * tree-vect-loop.cc (vectorizable_reduction): Record all
            operands vector types, compute that of invariants and
            properly update their SLP nodes.

            * gcc.dg/vect/pr108950.c: New testcase.

    (cherry picked from commit e3837b6f6c28a1d2cea3a69efbda795ea3fb8816)=