public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128
@ 2022-03-04 13:29 acoplan at gcc dot gnu.org
2022-03-04 13:34 ` [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f marxin at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: acoplan at gcc dot gnu.org @ 2022-03-04 13:29 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104782
Bug ID: 104782
Summary: [12 regression] ICE: verify_gimple failed in slp
(non-trivial conversion in ‘ssa_name’) with
-msve-vector-bits=128
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 = &d;
b = 9;
for (b = 9; b; b--) {
a = 2;
for (c = 2; c <= 9; c++) {
for (int i = 0; i < 3; i++)
*p |= (*q)++;
}
}
}
$ aarch64-linux-gnu-gcc -c t.c -O3 -march=armv8.2-a+sve -msve-vector-bits=128
t.c: In function ‘f’:
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
4 | void f() {
| ^
vector(8) unsigned short
vector(8) unsigned short
_115 = vect__3.32_61;
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
vector(8) unsigned short
vector(8) unsigned short
_154 = vect__138.33_4;
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
vector(8) unsigned short
vector(8) unsigned short
_193 = vect__177.34_118;
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
vector(8) unsigned short
vector(8) unsigned short
_232 = vect__216.35_139;
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
vector(8) unsigned short
vector(8) unsigned short
_271 = vect__255.36_157;
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
vector(8) unsigned short
vector(8) unsigned short
_310 = vect__294.37_178;
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
vector(8) unsigned short
vector(8) unsigned short
_349 = vect__333.38_196;
t.c:4:6: error: non-trivial conversion in ‘ssa_name’
vector(8) unsigned short
vector(8) unsigned short
_90 = 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 <https://gcc.gnu.org/bugs/> for instructions.
A bisection suggests it started with
r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f :
commit 6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f
Author: Richard Biener <rguenther@suse.de>
Date: Wed Feb 23 10:15:38 2022
tree-optimization/101636 - CTOR vectorization ICE
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f
2022-03-04 13:29 [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 acoplan at gcc dot gnu.org
@ 2022-03-04 13:34 ` marxin at gcc dot gnu.org
2022-03-05 5:38 ` pinskia at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-03-04 13:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104782
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2022-03-04
CC| |marxin at gcc dot gnu.org,
| |rguenth at gcc dot gnu.org
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
Summary|[12 regression] ICE: |[12 regression] ICE:
|verify_gimple failed in slp |verify_gimple failed in slp
|(non-trivial conversion in |(non-trivial conversion in
|‘ssa_name’) with |‘ssa_name’) with
|-msve-vector-bits=128 |-msve-vector-bits=128 since
| |r12-7359-g6e80c4f1ad9046b0a
| |7c105660cc7b3dcae0fdb8f
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f
2022-03-04 13:29 [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 acoplan at gcc dot gnu.org
2022-03-04 13:34 ` [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f marxin at gcc dot gnu.org
@ 2022-03-05 5:38 ` pinskia at gcc dot gnu.org
2022-03-07 8:22 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu.org @ 2022-03-05 5:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104782
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |12.0
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f
2022-03-04 13:29 [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 acoplan at gcc dot gnu.org
2022-03-04 13:34 ` [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f marxin at gcc dot gnu.org
2022-03-05 5:38 ` pinskia at gcc dot gnu.org
@ 2022-03-07 8:22 ` rguenth at gcc dot gnu.org
2022-03-07 11:33 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-03-07 8:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104782
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Status|NEW |ASSIGNED
Priority|P3 |P1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f
2022-03-04 13:29 [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 acoplan at gcc dot gnu.org
` (2 preceding siblings ...)
2022-03-07 8:22 ` rguenth at gcc dot gnu.org
@ 2022-03-07 11:33 ` cvs-commit at gcc dot gnu.org
2022-03-07 11:34 ` rguenth at gcc dot gnu.org
2022-03-23 14:08 ` cvs-commit at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-03-07 11:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104782
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:5db1d7f143c77543ae7a6c4649af3e611061e0d9
commit r12-7517-g5db1d7f143c77543ae7a6c4649af3e611061e0d9
Author: Richard Biener <rguenther@suse.de>
Date: Mon Mar 7 11:11:44 2022 +0100
tree-optimization/104782 - adjust PR101636 fix
This reverts the reversion of r10-5979 amending the CTOR case
with a comment as to why the conversion is not necessary there.
It also adds a testcase (but not for the CTOR case).
2022-03-07 Richard Biener <rguenther@suse.de>
PR tree-optimization/104782
* tree-vect-slp.cc (vectorize_slp_instance_root_stmt):
Re-instantiate r10-5979 fix, add comment.
* gcc.dg/vect/pr104782.c: New testcase.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f
2022-03-04 13:29 [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 acoplan at gcc dot gnu.org
` (3 preceding siblings ...)
2022-03-07 11:33 ` cvs-commit at gcc dot gnu.org
@ 2022-03-07 11:34 ` rguenth at gcc dot gnu.org
2022-03-23 14:08 ` cvs-commit at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-03-07 11:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104782
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Blocks| |101636
Status|ASSIGNED |RESOLVED
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101636
[Bug 101636] [11 Regression] ICE: verify_gimple failed (error: conversion of
register to a different size in 'view_convert_expr')
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f
2022-03-04 13:29 [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 acoplan at gcc dot gnu.org
` (4 preceding siblings ...)
2022-03-07 11:34 ` rguenth at gcc dot gnu.org
@ 2022-03-23 14:08 ` cvs-commit at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-03-23 14:08 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104782
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:893cb28a22f86281ca9ce1e045da7b8840ceb121
commit r11-9689-g893cb28a22f86281ca9ce1e045da7b8840ceb121
Author: Richard Biener <rguenther@suse.de>
Date: Wed Feb 23 11:15:38 2022 +0100
tree-optimization/101636 - CTOR vectorization ICE
The following fixes an ICE when vectorizing the defs of a CTOR
results in a different vector type than expected. That can happen
with AARCH64 SVE and a fixed vector length as noted in r10-5979
and on x86 with AVX512 mask CTORs and trying to re-vectorize
using SSE as shown in this bug.
The fix is simply to reject the vectorization when it didn't
produce the desired type.
2022-02-23 Richard Biener <rguenther@suse.de>
PR tree-optimization/101636
PR tree-optimization/104782
* tree-vect-slp.c (vect_slp_analyze_operations): Make sure
the CTOR is vectorized with an expected type.
* c-c++-common/torture/pr101636.c: Likewise.
* gcc.dg/vect/pr104782.c: New testcase.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2022-03-23 14:08 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-03-04 13:29 [Bug tree-optimization/104782] New: [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 acoplan at gcc dot gnu.org
2022-03-04 13:34 ` [Bug tree-optimization/104782] [12 regression] ICE: verify_gimple failed in slp (non-trivial conversion in ‘ssa_name’) with -msve-vector-bits=128 since r12-7359-g6e80c4f1ad9046b0a7c105660cc7b3dcae0fdb8f marxin at gcc dot gnu.org
2022-03-05 5:38 ` pinskia at gcc dot gnu.org
2022-03-07 8:22 ` rguenth at gcc dot gnu.org
2022-03-07 11:33 ` cvs-commit at gcc dot gnu.org
2022-03-07 11:34 ` rguenth at gcc dot gnu.org
2022-03-23 14:08 ` cvs-commit at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).