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 958563858D33; Tue,  7 Feb 2023 11:45:59 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 958563858D33
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1675770359;
	bh=WeY4AxK3905OBfjCwHbSGfCbDbqwbZNTJXKeQyliQG8=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=jkwDPxtg3jqWEt35ekIp+csuCSiD4c4zy0Ll8oikC9/OKy0SDAeid3kLceNqpxrGk
	 uBwHlB7ZUNTsIfbkMjRvZVv4s3aqMuJEexb6bmutCjLwr0VygpNObr0Hf8PLQY9NuK
	 xzK1ak8dsC1gjHdQu3BsKlUe61G2UF9bItdR0kmk=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/108692] [11/12/13 Regression] Miscompilation
 of orc_test.c since r11-5160
Date: Tue, 07 Feb 2023 11:45:59 +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: 13.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-108692-4-Rhbnr8rWmc@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108692-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108692-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=3D108692

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Before the r11-5160 change, the innermost loop was an unsigned char x 16 ->=
 int
x 4
SAD_EXPR:
  <bb 7> [local count: 567644343]:
  # vect_var12_i_49.13_90 =3D PHI <vect_patt_46.22_103(7), { 0, 0, 0, 0 }(6=
)>
  # ivtmp.57_149 =3D PHI <ivtmp.57_150(7), 0(6)>
  vect_var32_32.16_95 =3D MEM <const vector(16) signed char> [(const signed=
 char
*)vectp.15_91 + ivtmp.57_149 * 1];
  vect_var33_33.19_100 =3D MEM <const vector(16) signed char> [(const signe=
d char
*)vectp.18_96 + ivtmp.57_149 * 1];
  vect_var32.20_101 =3D VIEW_CONVERT_EXPR<vector(16) unsigned
char>(vect_var32_32.16_95);
  vect_var33.21_102 =3D VIEW_CONVERT_EXPR<vector(16) unsigned
char>(vect_var33_33.19_100);
  vect_patt_46.22_103 =3D SAD_EXPR <vect_var32.20_101, vect_var33.21_102,
vect_var12_i_49.13_90>;
  ivtmp.57_150 =3D ivtmp.57_149 + 16;
  if (ivtmp.57_150 !=3D _166)
    goto <bb 7>; [83.33%]
  else
    goto <bb 10>; [16.67%]
with vect_patt_46.22_103/vect_var12_i_49.13_90 type being vector(4) int.
After the change it is signed char x 16 -> int x 4 SAD_EXPR instead:
  <bb 7> [local count: 567644343]:
  # vect_var12_i_49.13_99 =3D PHI <vect_patt_39.20_110(7), { 0, 0, 0, 0 }(6=
)>
  # ivtmp.55_156 =3D PHI <ivtmp.55_157(7), 0(6)>
  vect_var32_32.16_104 =3D MEM <const vector(16) signed char> [(const signe=
d char
*)vectp.15_100 + ivtmp.55_156 * 1];
  vect_var33_33.19_109 =3D MEM <const vector(16) signed char> [(const signe=
d char
*)vectp.18_105 + ivtmp.55_156 * 1];
  vect_patt_39.20_110 =3D SAD_EXPR <vect_var32_32.16_104, vect_var33_33.19_=
109,
vect_var12_i_49.13_99>;
  ivtmp.55_157 =3D ivtmp.55_156 + 16;
  if (ivtmp.55_157 !=3D _173)
    goto <bb 7>; [83.33%]
  else
    goto <bb 10>; [16.67%]=