[Bug middle-end/106196] New: [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[Bug middle-end/106196] New: [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[tnfchris at gcc dot gnu.org]

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

            Bug ID: 106196
           Summary: [13 Regression] vect_do_peeling ICE since
                    g:3769ad4ccea9589b3f7edaef901cb542aa10f49a
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tnfchris at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64*

The following testcase

char a;
char *b;
void e() {
  char *d;
  int c;
  d = &a;
  for (; c; c++) {
    d[2] = d[1] = d[0] = b[c];
    d += 3;
  }
}

ICEs with g++ -O3 -std=c++14

during GIMPLE pass: vect
jdcolor.ii: In function ‘void e()’:
jdcolor.ii:3:6: internal compiler error: in vect_do_peeling, at
tree-vect-loop-manip.cc:2689
    3 | void e() {
      |      ^
0x102183f vect_do_peeling(_loop_vec_info*, tree_node*, tree_node*, tree_node**,
tree_node**, tree_node**, int, bool, bool, tree_node**)
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop-manip.cc:2689
0x1016b1b vect_transform_loop(_loop_vec_info*, gimple*)
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop.cc:9747
0x1044363 vect_transform_loops
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1006
0x1044363 try_vectorize_loop_1
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1136
0x1044363 try_vectorize_loop
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1165
0x1044a9f execute
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1281

[Bug middle-end/106196] [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-07-05
   Target Milestone|---                         |13.0
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

[Bug middle-end/106196] [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[cvs-commit at gcc dot gnu.org]

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

--- 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:1a6e0d8252a71c61d4dc616044fb25b5ac2cfffb

commit r13-1502-g1a6e0d8252a71c61d4dc616044fb25b5ac2cfffb
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Jul 5 10:43:42 2022 +0200

    tree-optimization/106196 - properly update virtual SSA for vector stores

    The following properly handles aggregate returns of the const marked
    STORE_LANES internal function to update virtual SSA form on-the-fly
    rather than relying on a costly virtual SSA rewrite.

            PR tree-optimization/106196
            * tree-vect-stmts.cc (vect_finish_stmt_generation): Properly
            handle aggregate returns of calls for VDEF updates.

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

[Bug middle-end/106196] [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[rguenth at gcc dot gnu.org]

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

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 middle-end/106196] [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[tnfchris at gcc dot gnu.org]

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

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

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

--- Comment #4 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Some benchmarks are still failing with the same error, just different line
numbers

during GIMPLE pass: vect
include/dofs/dof_tools.h: In function 'make_sparsity_pattern':
include/dofs/dof_tools.h:1971: internal compiler error: in vect_do_peeling, at
tree-vect-loop-manip.cc:2702
 1971 | DoFTools::make_sparsity_pattern (
      | 
0xdc683f vect_do_peeling(_loop_vec_info*, tree_node*, tree_node*, tree_node**,
tree_node**, tree_node**, int, bool, bool, tree_node**)
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop-manip.cc:2702
0xdbbbdb vect_transform_loop(_loop_vec_info*, gimple*)
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop.cc:9877
0xde9483 vect_transform_loops
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1006
0xde9483 try_vectorize_loop_1
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1136
0xde9483 try_vectorize_loop
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1165
0xde9bbf execute
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1281

I am reducing a testcase now.

[Bug middle-end/106196] [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Tamar Christina from comment #4)
> Some benchmarks are still failing with the same error, just different line
> numbers
> 
> during GIMPLE pass: vect
> include/dofs/dof_tools.h: In function 'make_sparsity_pattern':
> include/dofs/dof_tools.h:1971: internal compiler error: in vect_do_peeling,
> at tree-vect-loop-manip.cc:2702
>  1971 | DoFTools::make_sparsity_pattern (
>       | 
> 0xdc683f vect_do_peeling(_loop_vec_info*, tree_node*, tree_node*,
> tree_node**, tree_node**, tree_node**, int, bool, bool, tree_node**)
> 	/opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop-manip.cc:2702
> 0xdbbbdb vect_transform_loop(_loop_vec_info*, gimple*)
> 	/opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop.cc:9877
> 0xde9483 vect_transform_loops
> 	/opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1006
> 0xde9483 try_vectorize_loop_1
> 	/opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1136
> 0xde9483 try_vectorize_loop
> 	/opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1165
> 0xde9bbf execute
> 	/opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1281
> 
> I am reducing a testcase now.

Also after r13-1575-gcf3a120084e946?

[Bug middle-end/106196] [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[tnfchris at gcc dot gnu.org]

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

--- Comment #6 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #5)
> (In reply to Tamar Christina from comment #4)
> > Some benchmarks are still failing with the same error, just different line
> > I am reducing a testcase now.
> 
> Also after r13-1575-gcf3a120084e946?

Ah no, that's not included yet. I've kicked off a build, should know soon.

[Bug middle-end/106196] [13 Regression] vect_do_peeling ICE since g:3769ad4ccea9589b3f7edaef901cb542aa10f49a

[tnfchris at gcc dot gnu.org]

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

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

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

--- Comment #7 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
(In reply to Tamar Christina from comment #6)
> (In reply to Richard Biener from comment #5)
> > (In reply to Tamar Christina from comment #4)
> > > Some benchmarks are still failing with the same error, just different line
> > > I am reducing a testcase now.
> > 
> > Also after r13-1575-gcf3a120084e946?
> 
> Ah no, that's not included yet. I've kicked off a build, should know soon.

Looks like some of the benchmarks are fixed with that but I see some are
failing with another vectorizer ICE. Is probably unrelated so will open new
ticket.