[Bug tree-optimization/98191] New: [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[Bug tree-optimization/98191] New: [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[marxin at gcc dot gnu.org]

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

            Bug ID: 98191
           Summary: [11 Regression] ICE tree check: expected ssa_name,
                    have vector_cst in has_single_use, at
                    ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa
           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: ---

The following fails:

$ gcc /home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/pr78526.c -Os
-ftree-slp-vectorize -mavx512bitalg -c
during GIMPLE pass: slp
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/pr78526.c: In function ‘foo’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/pr78526.c:18:1: internal
compiler error: tree check: expected ssa_name, have vector_cst in
has_single_use, at ssa-iterators.h:400
   18 | foo (U u)
      | ^~~
0x747ed3 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        /home/marxin/Programming/gcc/gcc/tree.c:9810
0x744b7b tree_check(tree_node const*, char const*, int, char const*, tree_code)
        /home/marxin/Programming/gcc/gcc/tree.h:3591
0x744b7b has_single_use
        /home/marxin/Programming/gcc/gcc/ssa-iterators.h:400
0x744b7b vect_slp_check_for_constructors
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4244
0x744b7b vect_slp_analyze_bb_1
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4360
0x744b7b vect_slp_region
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4497
0x744b7b vect_slp_bbs
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4645
0x108c764 vect_slp_function(function*)
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4731
0x108e432 execute
        /home/marxin/Programming/gcc/gcc/tree-vectorizer.c:1436
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/98191] [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
      Known to fail|                            |11.0
     Ever confirmed|0                           |1
   Target Milestone|---                         |11.0
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |10.2.0
   Last reconfirmed|                            |2020-12-08

[Bug tree-optimization/98191] [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[marxin at gcc dot gnu.org]

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

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Or a non-avx512 option:

$ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.target/i386/pr90424-2.C
-ftree-slp-vectorize -O2 -c
during GIMPLE pass: slp
/home/marxin/Programming/gcc/gcc/testsuite/g++.target/i386/pr90424-2.C: In
function ‘V<T> load(const void*) [with T = long int; unsigned int M = 8]’:
/home/marxin/Programming/gcc/gcc/testsuite/g++.target/i386/pr90424-2.C:8:6:
internal compiler error: tree check: expected ssa_name, have vector_cst in
has_single_use, at ssa-iterators.h:400
    8 | V<T> load(const void *p) {
      |      ^~~~
0x8119ff tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        /home/marxin/Programming/gcc/gcc/tree.c:9810
0x80e6a7 tree_check(tree_node const*, char const*, int, char const*, tree_code)
        /home/marxin/Programming/gcc/gcc/tree.h:3591
0x80e6a7 has_single_use
        /home/marxin/Programming/gcc/gcc/ssa-iterators.h:400
0x80e6a7 vect_slp_check_for_constructors
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4244
0x80e6a7 vect_slp_analyze_bb_1
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4360
0x80e6a7 vect_slp_region
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4497
0x80e6a7 vect_slp_bbs
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4645
0x12f3a64 vect_slp_function(function*)
        /home/marxin/Programming/gcc/gcc/tree-vect-slp.c:4731
0x12f5732 execute
        /home/marxin/Programming/gcc/gcc/tree-vectorizer.c:1436
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/98191] [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[rguenth at gcc dot gnu.org]

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

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

[Bug tree-optimization/98191] [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[cvs-commit at gcc dot gnu.org]

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

--- 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:c2c198bfd1e747b761c6b9b13417685bd4378d57

commit r11-5841-gc2c198bfd1e747b761c6b9b13417685bd4378d57
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Dec 8 09:56:53 2020 +0100

    tree-optimization/98191 - fix BIT_INSERT_EXPR sequence vectorization

    This adds a missing check.

    2020-12-08  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/98191
            * tree-vect-slp.c (vect_slp_check_for_constructors): Do not
            follow a non-SSA def chain.

            * gcc.dg/torture/pr98191.c: New testcase.

[Bug tree-optimization/98191] [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[rguenth at gcc dot gnu.org]

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

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.

[Bug tree-optimization/98191] [11 Regression] ICE tree check: expected ssa_name, have vector_cst in has_single_use, at ssa-iterators.h:400 since r11-5821-gebdfd1606da6b5aa

[cvs-commit at gcc dot gnu.org]

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

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

commit r11-5870-gab3a5ff07cd7f7101ac6f7f0635c485aad73f47e
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Wed Dec 9 00:35:04 2020 +0100

    testsuite: Fix up testcase for ia32 [PR98191]

    2020-12-09  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/98191
            * gcc.dg/torture/pr98191.c: Add dg-additional-options with
            -w -Wno-psabi.