public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)
@ 2022-08-25 6:08 asolokha at gmx dot com
2022-08-25 8:31 ` [Bug tree-optimization/106737] " rguenth at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2022-08-25 6:08 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106737
Bug ID: 106737
Summary: [13 Regression] ICE: verify_ssa failed (error: stmt
with wrong VUSE)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20220821 snapshot (g:d6a39c25c05c6ed5df8ce49eda719d17e40e29bb) ICEs
when compiling gcc/testsuite/gcc.dg/graphite/pr84872.c w/ -O1
-floop-parallelize-all -ftree-parallelize-loops=2 -fno-tree-dce:
% gcc-13.0.0 -O1 -floop-parallelize-all -ftree-parallelize-loops=2
-fno-tree-dce -c gcc/testsuite/gcc.dg/graphite/pr84872.c
gcc/testsuite/gcc.dg/graphite/pr84872.c: In function 'foo':
gcc/testsuite/gcc.dg/graphite/pr84872.c:6:1: error: stmt with wrong VUSE
6 | foo (int x)
| ^~~
# .MEM_39 = VDEF <.MEM_30>
.paral_data_store.9.x = x_2;
expected .MEM_37
during GIMPLE pass: parloops
gcc/testsuite/gcc.dg/graphite/pr84872.c:6:1: internal compiler error:
verify_ssa failed
0x1148085 verify_ssa(bool, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-ssa.cc:1211
0xfb9a13 try_transform_to_exit_first_loop_alt
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:2607
0xfb9a13 gen_parallel_loop
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:3117
0xfbaba6 parallelize_loops
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:4129
0xfbc1c9 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:4214
0xfbc1c9 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:4193
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)
2022-08-25 6:08 [Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE) asolokha at gmx dot com
@ 2022-08-25 8:31 ` rguenth at gcc dot gnu.org
2022-08-25 8:42 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-08-25 8:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106737
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2022-08-25
Target Milestone|--- |13.0
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Status|UNCONFIRMED |ASSIGNED
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Likely caused by my TLC, thanks for the testcase - test coverage of
-floop-parallelize is weak.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)
2022-08-25 6:08 [Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE) asolokha at gmx dot com
2022-08-25 8:31 ` [Bug tree-optimization/106737] " rguenth at gcc dot gnu.org
@ 2022-08-25 8:42 ` rguenth at gcc dot gnu.org
2022-08-25 8:45 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-08-25 8:42 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106737
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
OK, easily fixed - transform_to_exit_first_loop_alt performs SSA verification
but a previous change delayed all SSA updates so the verification cannot
expected to succeed.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)
2022-08-25 6:08 [Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE) asolokha at gmx dot com
2022-08-25 8:31 ` [Bug tree-optimization/106737] " rguenth at gcc dot gnu.org
2022-08-25 8:42 ` rguenth at gcc dot gnu.org
@ 2022-08-25 8:45 ` cvs-commit at gcc dot gnu.org
2022-08-25 8:45 ` rguenth at gcc dot gnu.org
2022-08-27 7:28 ` cvs-commit at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-08-25 8:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106737
--- Comment #3 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:818073fe9ddc384f0cf702306c672b935fa42325
commit r13-2197-g818073fe9ddc384f0cf702306c672b935fa42325
Author: Richard Biener <rguenther@suse.de>
Date: Thu Aug 25 10:42:30 2022 +0200
tree-optimization/106737 - remove intermediate SSA verification in autopar
The following removes intermediate SSA verification in autopar which
isn't expected to succeed after previous changes delaying (virtual)
SSA update to the end of the pass.
PR tree-optimization/106737
* tree-parloops.cc (transform_to_exit_first_loop_alt): Do not
verify SSA form.
* gcc.dg/autopar/pr106737.c: New testcase.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)
2022-08-25 6:08 [Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE) asolokha at gmx dot com
` (2 preceding siblings ...)
2022-08-25 8:45 ` cvs-commit at gcc dot gnu.org
@ 2022-08-25 8:45 ` rguenth at gcc dot gnu.org
2022-08-27 7:28 ` cvs-commit at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-08-25 8:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106737
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)
2022-08-25 6:08 [Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE) asolokha at gmx dot com
` (3 preceding siblings ...)
2022-08-25 8:45 ` rguenth at gcc dot gnu.org
@ 2022-08-27 7:28 ` cvs-commit at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-08-27 7:28 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106737
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:
https://gcc.gnu.org/g:4d291ca6a48eeeef3f51b8ab8452fe2166f021ee
commit r13-2235-g4d291ca6a48eeeef3f51b8ab8452fe2166f021ee
Author: Jakub Jelinek <jakub@redhat.com>
Date: Sat Aug 27 09:28:02 2022 +0200
Require fgraphite effective target for pr106737.c test [PR106737]
The test uses -floop-parallelize-all which emits a sorry when graphite
isn't configured in.
2022-08-27 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/106737
* gcc.dg/autopar/pr106737.c: Require fgraphite effective target.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2022-08-27 7:28 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-08-25 6:08 [Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE) asolokha at gmx dot com
2022-08-25 8:31 ` [Bug tree-optimization/106737] " rguenth at gcc dot gnu.org
2022-08-25 8:42 ` rguenth at gcc dot gnu.org
2022-08-25 8:45 ` cvs-commit at gcc dot gnu.org
2022-08-25 8:45 ` rguenth at gcc dot gnu.org
2022-08-27 7:28 ` 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).