[Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)

[Bug tree-optimization/106737] New: [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)

[asolokha at gmx dot com]

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

[Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)

[rguenth at gcc dot gnu.org]

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.

[Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)

[rguenth at gcc dot gnu.org]

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.

[Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)

[cvs-commit at gcc dot gnu.org]

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.

[Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)

[rguenth at gcc dot gnu.org]

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.

[Bug tree-optimization/106737] [13 Regression] ICE: verify_ssa failed (error: stmt with wrong VUSE)

[cvs-commit at gcc dot gnu.org]

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.