public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954
@ 2023-03-20 20:22 dcb314 at hotmail dot com
2023-03-20 20:28 ` [Bug tree-optimization/109219] [12/13 Regression] " pinskia at gcc dot gnu.org
` (7 more replies)
0 siblings, 8 replies; 9+ messages in thread
From: dcb314 at hotmail dot com @ 2023-03-20 20:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
Bug ID: 109219
Summary: csmith: ice in vect_slp_analyze_node_operations_1, at
tree-vect-slp.cc:5954
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
For this C code:
safe_lshift_func_int32_t_s_s_left, safe_lshift_func_int32_t_s_s_right,
safe_sub_func_uint64_t_u_u_ui2, safe_mul_func_uint64_t_u_u_ui2, g_79_2,
g_97_l_439;
g_97() {
unsigned short __trans_tmp_16;
long __trans_tmp_15;
int __trans_tmp_14, __trans_tmp_7;
int *l_437 = g_97;
for (; g_97_l_439; g_97_l_439 += 1) {
char l_502 = 0;
for (; l_502 < 4; l_502++) {
__trans_tmp_14 = safe_lshift_func_int32_t_s_s_right >= 2 ||
safe_lshift_func_int32_t_s_s_left
?: safe_lshift_func_int32_t_s_s_right;
__trans_tmp_15 = __trans_tmp_14 * safe_mul_func_uint64_t_u_u_ui2;
__trans_tmp_16 = -__trans_tmp_15;
__trans_tmp_7 =
(__trans_tmp_16 ^ 65535UL) - safe_sub_func_uint64_t_u_u_ui2;
*l_437 ^= (short)(__trans_tmp_7 ^ g_79_2);
}
}
}
main() {}
when compiled by recent gcc trunk and compiler flag -O3, does this:
$ ~/gcc/results/bin/gcc -c -w -O3 bug900.c
during GIMPLE pass: vect
bug900.c: In function ‘g_97’:
bug900.c:4:1: internal compiler error: in vect_slp_analyze_node_operations_1,
at tree-vect-slp.cc:5954
4 | g_97() {
| ^~~~
0x7d6a29 vect_slp_analyze_node_operations_1
../../trunk.year/gcc/tree-vect-slp.cc:5954
0x7d6a29 vect_slp_analyze_node_operations
../../trunk.year/gcc/tree-vect-slp.cc:6147
0x119b14f vect_slp_analyze_node_operations
../../trunk.year/gcc/tree-vect-slp.cc:6126
0x119b14f vect_slp_analyze_node_operations
../../trunk.year/gcc/tree-vect-slp.cc:6126
It is fine at -O2:
$ ~/gcc/results/bin/gcc -c -w -O2 bug900.c
$
The bug has existed since sometime before 20220403.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
@ 2023-03-20 20:28 ` pinskia at gcc dot gnu.org
2023-03-20 20:28 ` pinskia at gcc dot gnu.org
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-03-20 20:28 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |12.3
Known to fail| |12.2.0
Known to work| |11.3.0, 12.1.0
Summary|csmith: ice in |[12/13 Regression] csmith:
|vect_slp_analyze_node_opera |ice in
|tions_1, at |vect_slp_analyze_node_opera
|tree-vect-slp.cc:5954 |tions_1, at
| |tree-vect-slp.cc:5954
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
2023-03-20 20:28 ` [Bug tree-optimization/109219] [12/13 Regression] " pinskia at gcc dot gnu.org
@ 2023-03-20 20:28 ` pinskia at gcc dot gnu.org
2023-03-21 8:19 ` rguenth at gcc dot gnu.org
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-03-20 20:28 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2023-03-20
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
2023-03-20 20:28 ` [Bug tree-optimization/109219] [12/13 Regression] " pinskia at gcc dot gnu.org
2023-03-20 20:28 ` pinskia at gcc dot gnu.org
@ 2023-03-21 8:19 ` rguenth at gcc dot gnu.org
2023-03-21 10:55 ` [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd marxin at gcc dot gnu.org
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-03-21 8:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
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
Priority|P3 |P2
Status|NEW |ASSIGNED
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look - the representative looks out-of sync:
t.c:4:1: note: node 0x41d6f00 (max_nunits=8, refcnt=1) vector(8) unsigned short
t.c:4:1: note: op template: _68 = _70 + 65535;
t.c:4:1: note: stmt 0 patt_20 = _68 - patt_23;
t.c:4:1: note: stmt 1 patt_77 = _9 - patt_101;
t.c:4:1: note: children 0x41d7340 0x41d7098
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
` (2 preceding siblings ...)
2023-03-21 8:19 ` rguenth at gcc dot gnu.org
@ 2023-03-21 10:55 ` marxin at gcc dot gnu.org
2023-03-21 11:35 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2023-03-21 10:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[12/13 Regression] csmith: |[12/13 Regression] csmith:
|ice in |ice in
|vect_slp_analyze_node_opera |vect_slp_analyze_node_opera
|tions_1, at |tions_1, at
|tree-vect-slp.cc:5954 |tree-vect-slp.cc:5954 since
| |r13-1106-g8c2733e16ec1c0cd
Keywords|needs-bisection |
CC| |marxin at gcc dot gnu.org
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r13-1106-g8c2733e16ec1c0cd (and it's backported to gcc-12 branch).
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
` (3 preceding siblings ...)
2023-03-21 10:55 ` [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd marxin at gcc dot gnu.org
@ 2023-03-21 11:35 ` rguenth at gcc dot gnu.org
2023-03-21 13:04 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-03-21 11:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #2)
> I will have a look - the representative looks out-of sync:
>
> t.c:4:1: note: node 0x41d6f00 (max_nunits=8, refcnt=1) vector(8) unsigned
> short
> t.c:4:1: note: op template: _68 = _70 + 65535;
> t.c:4:1: note: stmt 0 patt_20 = _68 - patt_23;
> t.c:4:1: note: stmt 1 patt_77 = _9 - patt_101;
> t.c:4:1: note: children 0x41d7340 0x41d7098
Thinking about it, the representative STMT_SLP_TYPE isn't really relevant
for anything and we shouldn't check it from SLP code. The only valid case
is for loop vect to check whether a stmt is relevant for it.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
` (4 preceding siblings ...)
2023-03-21 11:35 ` rguenth at gcc dot gnu.org
@ 2023-03-21 13:04 ` cvs-commit at gcc dot gnu.org
2023-04-17 9:14 ` [Bug tree-optimization/109219] [12 " cvs-commit at gcc dot gnu.org
2023-04-17 9:15 ` rguenth at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-03-21 13:04 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
--- Comment #5 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:26adc870e3675591050f37edab46850b97a3c122
commit r13-6786-g26adc870e3675591050f37edab46850b97a3c122
Author: Richard Biener <rguenther@suse.de>
Date: Tue Mar 21 12:49:36 2023 +0100
tree-optimization/109219 - avoid looking at STMT_SLP_TYPE
The following avoids looking at STMT_SLP_TYPE apart from the only
place needing it - transform and analysis of non-SLP loop stmts.
In particular it doesn't have a reliable meaning on SLP representatives
which are also passed as stmt_vinfo to vectorizable_* routines. The
proper way to check in those is to look for the slp_node argument
instead.
PR tree-optimization/109219
* tree-vect-loop.cc (vectorizable_reduction): Check
slp_node, not STMT_SLP_TYPE.
* tree-vect-stmts.cc (vectorizable_condition): Likewise.
* tree-vect-slp.cc (vect_slp_analyze_node_operations_1):
Remove assertion on STMT_SLP_TYPE.
* gcc.dg/torture/pr109219.c: New testcase.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
` (5 preceding siblings ...)
2023-03-21 13:04 ` cvs-commit at gcc dot gnu.org
@ 2023-04-17 9:14 ` cvs-commit at gcc dot gnu.org
2023-04-17 9:15 ` rguenth at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-04-17 9:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:c2ab46f377313da5336748eb4fdc20020c047445
commit r12-9409-gc2ab46f377313da5336748eb4fdc20020c047445
Author: Richard Biener <rguenther@suse.de>
Date: Tue Mar 21 12:49:36 2023 +0100
tree-optimization/109219 - avoid looking at STMT_SLP_TYPE
The following avoids looking at STMT_SLP_TYPE apart from the only
place needing it - transform and analysis of non-SLP loop stmts.
In particular it doesn't have a reliable meaning on SLP representatives
which are also passed as stmt_vinfo to vectorizable_* routines. The
proper way to check in those is to look for the slp_node argument
instead.
PR tree-optimization/109219
* tree-vect-loop.cc (vectorizable_reduction): Check
slp_node, not STMT_SLP_TYPE.
* tree-vect-stmts.cc (vectorizable_condition): Likewise.
* tree-vect-slp.cc (vect_slp_analyze_node_operations_1):
Remove assertion on STMT_SLP_TYPE.
* gcc.dg/torture/pr109219.c: New testcase.
(cherry picked from commit 26adc870e3675591050f37edab46850b97a3c122)
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/109219] [12 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
` (6 preceding siblings ...)
2023-04-17 9:14 ` [Bug tree-optimization/109219] [12 " cvs-commit at gcc dot gnu.org
@ 2023-04-17 9:15 ` rguenth at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-04-17 9:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109219
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Known to work| |12.2.1
Status|ASSIGNED |RESOLVED
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2023-04-17 9:15 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-03-20 20:22 [Bug c/109219] New: csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 dcb314 at hotmail dot com
2023-03-20 20:28 ` [Bug tree-optimization/109219] [12/13 Regression] " pinskia at gcc dot gnu.org
2023-03-20 20:28 ` pinskia at gcc dot gnu.org
2023-03-21 8:19 ` rguenth at gcc dot gnu.org
2023-03-21 10:55 ` [Bug tree-optimization/109219] [12/13 Regression] csmith: ice in vect_slp_analyze_node_operations_1, at tree-vect-slp.cc:5954 since r13-1106-g8c2733e16ec1c0cd marxin at gcc dot gnu.org
2023-03-21 11:35 ` rguenth at gcc dot gnu.org
2023-03-21 13:04 ` cvs-commit at gcc dot gnu.org
2023-04-17 9:14 ` [Bug tree-optimization/109219] [12 " cvs-commit at gcc dot gnu.org
2023-04-17 9:15 ` rguenth 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).