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 96302385701B; Tue, 11 Oct 2022 08:32:10 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 96302385701B
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1665477130;
	bh=EYpU+Snlm2iHOIZKPGNC/eC1IVHUFJxHb2I4GiNJ4fA=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=t9mUsJ3SdNh5VxvT0cdjVhUIu6Hng5F5IQ9gBKXyHQRATbz/T3blFokmylALueVUe
	 PPlpMnCY7DMOW6UIZQ/B0mWME+5SQGbtSFJ+7ijzxvwm4ppPAY1Jv4G9Xfk9xl1pM0
	 iB7AtRW6aJ6u5PGy8ygrSLE/K1S5sslR2UanC/h0=
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/107212] [11/12/13 Regression] Wrong
 vectorizer code since r11-718-gc735929a2503a7d0
Date: Tue, 11 Oct 2022 08:32:08 +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: 12.2.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin 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: 11.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: everconfirmed short_desc cc bug_status component
 target_milestone keywords cf_reconfirmed_on
Message-ID: <bug-107212-4-GIAn3VnVm1@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107212-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107212-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=3D107212

Martin Li=C5=A1ka <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
            Summary|-O2 and -O3 optimizer bug   |[11/12/13 Regression] Wrong
                   |                            |vectorizer code since
                   |                            |r11-718-gc735929a2503a7d0
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |rguenth at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
          Component|c                           |tree-optimization
   Target Milestone|---                         |11.5
           Keywords|                            |wrong-code
   Last reconfirmed|                            |2022-10-11

--- Comment #1 from Martin Li=C5=A1ka <marxin at gcc dot gnu.org> ---
A bit reduced test-case:

$ cat pr107212.c
int main() {
    unsigned int tab[6][2] =3D { {69, 73}, {36, 40}, {24, 16}, {16, 11}, {4=
, 5},
{3, 1} };

    int flag =3D 1;
    int sum_0 =3D 0;
    int sum_1 =3D 0;

    for(int t=3D0; t<6; t++) {
        sum_0 +=3D tab[t][0];
        sum_1 +=3D tab[t][1];
    }

    int x1 =3D (sum_0 < 100);
    int x2 =3D (sum_0 > 200);
    int x3 =3D (x1 || x2);

    if(sum_1 > 200) {
        flag=3D0;
    }

    __builtin_printf("sum_1: %d\n", sum_1);
    if (x1 || x2)
      __builtin_abort ();

    return 0;
}

With -O3 it started with r11-718-gc735929a2503a7d0.=