[Bug tree-optimization/97761] New: [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689

[Bug tree-optimization/97761] New: [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

            Bug ID: 97761
           Summary: [11 Regression] ICE in vectorizable_live_operation, at
                    tree-vect-loop.c:8689
           Product: gcc
           Version: 11.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: ---
            Target: powerpc-*-linux-gnu

Created attachment 49522
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49522&action=edit
Testcase

gfortran-11.0.0-alpha20201108 snapshot
(g:b642fca1c31b2e2175e0860daf32b4ee0d918085) ICEs when compiling the attached
testcase w/ -mvsx -O1 -ftree-slp-vectorize -fvect-cost-model=unlimited:

% powerpc-e300c3-linux-gnu-gfortran-11.0.0 -mvsx -O1 -ftree-slp-vectorize
-fvect-cost-model=unlimited -c ar6dubil.f90
during GIMPLE pass: slp
ar6dubil.f90:11:15:

   11 |   subroutine ni (ps, bf)
      |               ^
internal compiler error: in vectorizable_live_operation, at
tree-vect-loop.c:8689
0x6f1f2c vectorizable_live_operation(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*, int, bool,
vec<stmt_info_for_cost, va_heap, vl_ptr>*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-loop.c:8689
0x10b8087 can_vectorize_live_stmts
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-stmts.c:10510
0x10df928 vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-stmts.c:10894
0x1111726 vect_schedule_slp_node
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:5437
0x111d0bc vect_schedule_scc
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:5599
0x111ce2f vect_schedule_scc
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:5580
0x111ce2f vect_schedule_scc
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:5580
0x111ce2f vect_schedule_scc
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:5580
0x111d40c vect_schedule_slp(vec_info*, vec<_slp_instance*, va_heap, vl_ptr>)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:5715
0x111ebba vect_slp_region
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:4264
0x111ebba vect_slp_bbs
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:4374
0x111fa9c vect_slp_function(function*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vect-slp.c:4460
0x112208b execute
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-vectorizer.c:1437

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2020-11-09
                 CC|                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |WAITING
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
I miss the following:

pr97761.f90:3:7:

    3 |   use define_type
      |       1
Fatal Error: Cannot open module file ‘define_type.mod’ for reading at (1): No
such file or directory

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org
   Target Milestone|---                         |11.0

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

Arseny Solokha <asolokha at gmx dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #49522|0                           |1
        is obsolete|                            |

--- Comment #2 from Arseny Solokha <asolokha at gmx dot com> ---
Created attachment 49523
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49523&action=edit
Fixed testcase

Oh…

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
             Target|powerpc-*-linux-gnu         |powerpc-*-linux-gnu,
                   |                            |x86_64-linux-gnu

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Reduced single file test-case:

$ cat define_type.f90
subroutine ni (ps)
    type vector
       real  x, y
    end type 
    type quad_inductor
       type (vector) v1, v2
    end type 
    type (quad_inductor), dimension(inout) :: ps
    integer :: dl, nk = 1.0
    fo = 1.0
    if (f == 1) then
       nk = 0.0
       fo = 0.0
    end if
    ot = nk * 0.5
    gb = -fo * 0.5
    wu = fo * 0.5
    up = nk * 0.1
    xe = up * 0.1
    do lx = 0, 7
       ps%v2%y = -wu
       ps(dl)%v1%x = xe + 1.0
       ps(dl)%v1%y = wu - tn
    end do
    do lx = 0, 7
       ps(dl)%v1%x = 0.1 - ot
       ps(dl)%v1%y = 0.1 - wu
    end do
  end

Can be reproduced on x86_64-linux-gnu.

$ gcc define_type.f90 -c  -O1 -ftree-slp-vectorize -fvect-cost-model=unlimited
-c -Werror -fmax-errors=1
during GIMPLE pass: slp
define_type.f90:1:13:

    1 | subroutine ni (ps)
      |             ^
internal compiler error: in vectorizable_live_operation, at
tree-vect-loop.c:8689
0x73b2dc vectorizable_live_operation(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*, int, bool,
vec<stmt_info_for_cost, va_heap, vl_ptr>*)
        /home/marxin/Programming/gcc/gcc/tree-vect-loop.c:8689
0x10810a7 can_vectorize_live_stmts
        /home/marxin/Programming/gcc/gcc/tree-vect-stmts.c:10510
0x10a65c8 vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
        /home/marxin/Programming/gcc/gcc/tree-vect-stmts.c:10894
0x10d547c vect_schedule_slp_node
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:5437
0x10e084c vect_schedule_scc
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:5599
0x10e05bf vect_schedule_scc
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:5580
0x10e05bf vect_schedule_scc
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:5580
0x10e05bf vect_schedule_scc
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:5580
0x10e0e37 vect_schedule_slp(vec_info*, vec<_slp_instance*, va_heap, vl_ptr>)
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:5715
0x10e21bc vect_slp_region
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4264
0x10e21bc vect_slp_bbs
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4374
0x10e2f84 vect_slp_function(function*)
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4460
0x10e4df6 execute
        /home/marxin/Programming/gcc/gcc/tree-vectorizer.c:1437
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689 started with r11-4428-g4a369d199bf2f34e

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |11.0
           Priority|P3                          |P1
      Known to work|                            |10.2.0

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689 started with r11-4428-g4a369d199bf2f34e

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689 started with r11-4428-g4a369d199bf2f34e

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

--- 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:96f315213f337c2d5a9268f2d3e8337bbdb71bfc

commit r11-4842-g96f315213f337c2d5a9268f2d3e8337bbdb71bfc
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Nov 9 14:32:41 2020 +0100

    tree-optimization/97761 - fix SLP live calculation

    This removes a premature end of the DFS walk.

    2020-11-09  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/97761
            * tree-vect-slp.c (vect_bb_slp_mark_live_stmts): Remove
            premature end of DFS walk.

            * gfortran.dg/vect/pr97761.f90: New testcase.

[Bug tree-optimization/97761] [11 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.c:8689 started with r11-4428-g4a369d199bf2f34e

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97761

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.