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 521FB3858D38; Thu,  2 Nov 2023 09:51:35 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 521FB3858D38
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1698918695;
	bh=PcOJbMA2HBEmTXR2YmWM217sjzQiw0BnWZN1jXLP6VI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=d5f6XSmEyt4La2lwhPXERvzY0xE2HvpDidT6bovtgQvizA+Knd6d31WfsaM9et6fF
	 pZuQ13FTsfZP2t8LYv0lzzaVx9DmVZfZR3yJoxwKDCGYpi1+K3PJHkqE7gpcyBehm/
	 cw6S7HUW3Vhlsr+89Xa/jt9yr0wGDXc7ZA+E1IFI=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/112325] Missed vectorization of reduction
 after unrolling
Date: Thu, 02 Nov 2023 09:51:34 +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: 14.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
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: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc short_desc
Message-ID: <bug-112325-4-lYexhHI8wu@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-112325-4@http.gcc.gnu.org/bugzilla/>
References: <bug-112325-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=3D112325

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org
            Summary|Missed vectorization after  |Missed vectorization of
                   |cunrolli                    |reduction after unrolling

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
We're detecting the integer reduction:

t.c:21:18: note:   Starting SLP discovery for
t.c:21:18: note:     _236 =3D _230 * _235;
t.c:21:18: note:     _223 =3D _217 * _222;
t.c:21:18: note:     _210 =3D _204 * _209;
t.c:21:18: note:     _197 =3D _191 * _196;
t.c:21:18: note:     _184 =3D _178 * _183;
t.c:21:18: note:     _171 =3D _165 * _170;
t.c:21:18: note:     _158 =3D _152 * _157;
t.c:21:18: note:     _145 =3D _139 * _144;
t.c:21:18: note:     _132 =3D _126 * _131;
t.c:21:18: note:     _119 =3D _113 * _118;
t.c:21:18: note:     _106 =3D _100 * _105;
t.c:21:18: note:     _93 =3D _87 * _92;
t.c:21:18: note:     _80 =3D _74 * _79;
t.c:21:18: note:     _67 =3D _61 * _66;
t.c:21:18: note:     sumi.1_42 =3D (unsigned int) sumi_96;
t.c:21:18: note:     _41 =3D _27 * _40;
t.c:21:18: note:     _54 =3D _48 * _53;

but we're not clever enough to split out

t.c:21:18: note:     sumi.1_42 =3D (unsigned int) sumi_96;

it's possibly easy enough to do.=