From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 81D6A3857C5A; Fri, 4 Mar 2022 13:29:27 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 81D6A3857C5A From: "acoplan at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: =?UTF-8?B?W0J1ZyB0cmVlLW9wdGltaXphdGlvbi8xMDQ3ODJdIE5ldzogWzEy?= =?UTF-8?B?IHJlZ3Jlc3Npb25dIElDRTogdmVyaWZ5X2dpbXBsZSBmYWlsZWQgaW4gc2xw?= =?UTF-8?B?IChub24tdHJpdmlhbCBjb252ZXJzaW9uIGluIOKAmHNzYV9uYW1l4oCZKSB3?= =?UTF-8?B?aXRoIC1tc3ZlLXZlY3Rvci1iaXRzPTEyOA==?= Date: Fri, 04 Mar 2022 13:29:27 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 12.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: acoplan at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED 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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: 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 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 04 Mar 2022 13:29:27 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D104782 Bug ID: 104782 Summary: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in =E2=80=98ssa_name=E2=80=99) = with -msve-vector-bits=3D128 Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: acoplan at gcc dot gnu.org Target Milestone: --- The following fails: $ cat t.c int a, b, c; static int d; short *q; void f() { int *p =3D &d; b =3D 9; for (b =3D 9; b; b--) { a =3D 2; for (c =3D 2; c <=3D 9; c++) { for (int i =3D 0; i < 3; i++) *p |=3D (*q)++; } } } $ aarch64-linux-gnu-gcc -c t.c -O3 -march=3Darmv8.2-a+sve -msve-vector-bits= =3D128 t.c: In function =E2=80=98f=E2=80=99: t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 4 | void f() { | ^ vector(8) unsigned short vector(8) unsigned short _115 =3D vect__3.32_61; t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 vector(8) unsigned short vector(8) unsigned short _154 =3D vect__138.33_4; t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 vector(8) unsigned short vector(8) unsigned short _193 =3D vect__177.34_118; t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 vector(8) unsigned short vector(8) unsigned short _232 =3D vect__216.35_139; t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 vector(8) unsigned short vector(8) unsigned short _271 =3D vect__255.36_157; t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 vector(8) unsigned short vector(8) unsigned short _310 =3D vect__294.37_178; t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 vector(8) unsigned short vector(8) unsigned short _349 =3D vect__333.38_196; t.c:4:6: error: non-trivial conversion in =E2=80=98ssa_name=E2=80=99 vector(8) unsigned short vector(8) unsigned short _90 =3D vect__372.39_217; during GIMPLE pass: slp t.c:4:6: internal compiler error: verify_gimple failed 0xedc87e verify_gimple_in_cfg(function*, bool) /home/alecop01/toolchain/src/gcc/gcc/tree-cfg.cc:5561 0xd66918 execute_function_todo /home/alecop01/toolchain/src/gcc/gcc/passes.cc:2084 0xd66a80 do_per_function /home/alecop01/toolchain/src/gcc/gcc/passes.cc:1687 0xd66c1b execute_todo /home/alecop01/toolchain/src/gcc/gcc/passes.cc:2138 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See for instructions. A bisection suggests it started with r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f : commit 6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f Author: Richard Biener Date: Wed Feb 23 10:15:38 2022 tree-optimization/101636 - CTOR vectorization ICE=