[Bug tree-optimization/97886] New: [11 Regression] ICE in vect_slp_analyze_node_operations, at tree-vect-slp.c:3528 since r11-4428-g4a369d199bf2f34e037030b18d0da923e8a24997

[Bug tree-optimization/97886] New: [11 Regression] ICE in vect_slp_analyze_node_operations, at tree-vect-slp.c:3528 since r11-4428-g4a369d199bf2f34e037030b18d0da923e8a24997

[marxin at gcc dot gnu.org]

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

            Bug ID: 97886
           Summary: [11 Regression] ICE in
                    vect_slp_analyze_node_operations, at
                    tree-vect-slp.c:3528 since
                    r11-4428-g4a369d199bf2f34e037030b18d0da923e8a24997
           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: marxin at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

Since the revision, the following ICEs:

$ ./xgcc -B.
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/torture/pr95295-3.c
-fgraphite --param=unroll-jam-min-percent=0
--param=max-completely-peeled-insns=0 -Ofast -c
during GIMPLE pass: vect
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/torture/pr95295-3.c: In
function ‘test’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/torture/pr95295-3.c:7:6:
internal compiler error: in vect_slp_analyze_node_operations, at
tree-vect-slp.c:3528
    7 | void test()
      |      ^~~~
0x17e52fd vect_slp_analyze_node_operations
        /home/marxin/Programming/gcc2/gcc/tree-vect-slp.c:3528
0x17e51b1 vect_slp_analyze_node_operations
        /home/marxin/Programming/gcc2/gcc/tree-vect-slp.c:3490
0x17e59cf vect_slp_analyze_operations(vec_info*)
        /home/marxin/Programming/gcc2/gcc/tree-vect-slp.c:3682
0x17aaa6f vect_analyze_loop_2
        /home/marxin/Programming/gcc2/gcc/tree-vect-loop.c:2338
0x17ac378 vect_analyze_loop(loop*, vec_info_shared*)
        /home/marxin/Programming/gcc2/gcc/tree-vect-loop.c:2799
0x17fae5c try_vectorize_loop_1
        /home/marxin/Programming/gcc2/gcc/tree-vectorizer.c:995
0x17fb60e try_vectorize_loop
        /home/marxin/Programming/gcc2/gcc/tree-vectorizer.c:1146
0x17fb808 vectorize_loops()
        /home/marxin/Programming/gcc2/gcc/tree-vectorizer.c:1229
0x1622ef7 execute
        /home/marxin/Programming/gcc2/gcc/tree-ssa-loop.c:414
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/97886] [11 Regression] ICE in vect_slp_analyze_node_operations, at tree-vect-slp.c:3528 since r11-4428-g4a369d199bf2f34e037030b18d0da923e8a24997

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |11.0
     Ever confirmed|0                           |1
      Known to work|                            |10.2.0
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-11-18
   Target Milestone|---                         |11.0

[Bug tree-optimization/97886] [11 Regression] ICE in vect_slp_analyze_node_operations, at tree-vect-slp.c:3528 since r11-4428-g4a369d199bf2f34e037030b18d0da923e8a24997

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.  This is odd IL - we're having a PHI node copying an extern and we're
getting confused about it

pr95295-3.c:7:6: note: node 0x399c5a0 (max_nunits=16, refcnt=1)
pr95295-3.c:7:6: note:  stmt 0 arr_2_I_lsm.9_41 = PHI <_4(31)>
pr95295-3.c:7:6: note:  children 0x399c450
pr95295-3.c:7:6: note: node (external) 0x399c450 (max_nunits=1, refcnt=1)
pr95295-3.c:7:6: note:  { _4 }

of course I never thought we'll run into this ;)

[Bug tree-optimization/97886] [11 Regression] ICE in vect_slp_analyze_node_operations, at tree-vect-slp.c:3528 since r11-4428-g4a369d199bf2f34e037030b18d0da923e8a24997

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:30270bf042049bf6aee6184e0b7688d9ca7b479d

commit r11-5126-g30270bf042049bf6aee6184e0b7688d9ca7b479d
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Nov 18 10:32:29 2020 +0100

    tree-optimization/97886 - deal with strange LC PHI nodes

    This makes vectorization properly assign vector types to PHI
    nodes that copy from externals on loop exit edges.

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

            PR tree-optimization/97886
            * tree-vect-loop.c (vectorizable_lc_phi): Properly assign
            vector types to invariants for SLP.

[Bug tree-optimization/97886] [11 Regression] ICE in vect_slp_analyze_node_operations, at tree-vect-slp.c:3528 since r11-4428-g4a369d199bf2f34e037030b18d0da923e8a24997

[rguenth at gcc dot gnu.org]

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

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

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

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