[Bug target/99924] New: ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040

[Bug target/99924] New: ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040

[asolokha at gmx dot com]

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

            Bug ID: 99924
           Summary: ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: aarch64-linux-gnu

gfortran-11.0.1-alpha20210404 snapshot
(g:c3d3bb0f03dbd02512ab46979088ee8e22520c24) ICEs when compiling the following
testcase w/ -march=armv8.3-a -O1 -ftree-slp-vectorize
-fvect-cost-model=unlimited:

subroutine cunhj (tfn, asum, bsum)
  implicit none
  complex :: up, tfn, asum, bsum
  real :: ar

  up = tfn * ar
  bsum = up + ar
  asum = up + asum
  return
end subroutine cunhj

% aarch64-linux-gnu-gfortran-11.0.1 -march=armv8.3-a -O1 -ftree-slp-vectorize
-fvect-cost-model=unlimited -c ufhzvqzb.f90
during GIMPLE pass: slp
ufhzvqzb.f90:1:16:

    1 | subroutine cunhj (tfn, asum, bsum)
      |                ^
internal compiler error: in vect_schedule_slp_node, at tree-vect-slp.c:6040
0x7c377c vect_schedule_slp_node
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:6040
0x123a4fc vect_schedule_scc
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:6355
0x123a26f vect_schedule_scc
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:6336
0x123a26f vect_schedule_scc
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:6336
0x123a26f vect_schedule_scc
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:6336
0x123a26f vect_schedule_scc
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:6336
0x123ab5f vect_schedule_slp(vec_info*, vec<_slp_instance*, va_heap, vl_ptr>)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:6471
0x123c4db vect_slp_region
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:4985
0x123c4db vect_slp_bbs
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:5095
0x123db1c vect_slp_function(function*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vect-slp.c:5181
0x12444fa execute
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210404/work/gcc-11-20210404/gcc/tree-vectorizer.c:1450

[Bug target/99924] [11 Regression] ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040 since r11-6734-gad2603433853129e847cade5e269c6a5f889a020

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-04-06
      Known to fail|                            |11.0
      Known to work|                            |10.2.0
             Status|UNCONFIRMED                 |NEW
            Summary|ICE in                      |[11 Regression] ICE in
                   |vect_schedule_slp_node, at  |vect_schedule_slp_node, at
                   |tree-vect-slp.c:6040        |tree-vect-slp.c:6040 since
                   |                            |r11-6734-gad2603433853129e8
                   |                            |47cade5e269c6a5f889a020
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |tnfchris at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r11-6734-gad2603433853129e847cade5e269c6a5f889a020.

[Bug target/99924] [11 Regression] ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040 since r11-6734-gad2603433853129e847cade5e269c6a5f889a020

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0

[Bug target/99924] [11 Regression] ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040 since r11-6734-gad2603433853129e847cade5e269c6a5f889a020

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
             Status|NEW                         |ASSIGNED
           Priority|P3                          |P1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  I will have a look.

[Bug target/99924] [11 Regression] ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040 since r11-6734-gad2603433853129e847cade5e269c6a5f889a020

[tnfchris at gcc dot gnu.org]

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

--- Comment #3 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #2)
> Confirmed.  I will have a look.

It's interesting since the cost model needs to be disabled to reproduce it.

It looks like when it is one of the load nodes already has a VEC_STMT so the
assert crashed in schedule_slp_node

  vec_stmts = {
    m_vec = 0x4e0e870
  },

>>> dbgrep (node)
# VUSE <.MEM_6(D)>
_14 = REALPART_EXPR <*tfn_7(D)>;

If that helps.

[Bug target/99924] [11 Regression] ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040 since r11-6734-gad2603433853129e847cade5e269c6a5f889a020

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 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:58cd9fc8a61de09ba181c5ed5ac7fb91ec506414

commit r11-8001-g58cd9fc8a61de09ba181c5ed5ac7fb91ec506414
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Apr 6 11:21:47 2021 +0200

    tree-optimization/99924 - visit permute nodes again when partitioning

    Since SLP graph partitioning works on scalar stmts (because it's done
    for costing) we have to make sure to visit permute nodes multiple
    times since they will not pull partitions together.

    2021-04-06  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/99924
            * tree-vect-slp.c (vect_bb_partition_graph_r): Do not mark
            nodes w/o scalar stmts as visited.

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

[Bug target/99924] [11 Regression] ICE in vect_schedule_slp_node, at tree-vect-slp.c:6040 since r11-6734-gad2603433853129e847cade5e269c6a5f889a020

[rguenth at gcc dot gnu.org]

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

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

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

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