[Bug c/107055] New: [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[Bug c/107055] New: [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[gscfq@t-online.de]

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

            Bug ID: 107055
           Summary: [13 Regression] ICE in vect_peel_nonlinear_iv_init, at
                    tree-vect-loop.cc:8415
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started between 20220904 and 20220911 at -O1,
with file gcc.dg/torture/pr24257.c :


$ gcc-13-20220925 -c pr24257.c -O1 -fno-tree-dce -fno-vect-cost-model
-ftree-vectorize -fprofile-arcs
during GIMPLE pass: vect
pr24257.c: In function 'oof':
pr24257.c:20:6: internal compiler error: in vect_peel_nonlinear_iv_init, at
tree-vect-loop.cc:8415
   20 | void oof(A *s, int n)
      |      ^~~
0x11a15b3 vect_peel_nonlinear_iv_init(gimple**, tree_node*, tree_node*,
tree_node*, vect_induction_op_type)
        ../../gcc/tree-vect-loop.cc:8415
0x11c6909 vect_update_ivs_after_vectorizer
        ../../gcc/tree-vect-loop-manip.cc:1582
0x11c6909 vect_do_peeling(_loop_vec_info*, tree_node*, tree_node*, tree_node**,
tree_node**, tree_node**, int, bool, bool, tree_node**)
        ../../gcc/tree-vect-loop-manip.cc:2987
0x11b8efc vect_transform_loop(_loop_vec_info*, gimple*)
        ../../gcc/tree-vect-loop.cc:10554
0x11fa09b vect_transform_loops
        ../../gcc/tree-vectorizer.cc:1008
0x11fa7d4 try_vectorize_loop_1
        ../../gcc/tree-vectorizer.cc:1153
0x11fa7d4 try_vectorize_loop
        ../../gcc/tree-vectorizer.cc:1185
0x11fae34 execute
        ../../gcc/tree-vectorizer.cc:1299

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
   Target Milestone|---                         |13.0

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[crazylht at gmail dot com]

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

--- Comment #1 from Hongtao.liu <crazylht at gmail dot com> ---
Mine.

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[crazylht at gmail dot com]

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

--- Comment #2 from Hongtao.liu <crazylht at gmail dot com> ---
Hmm, vectorizable_nonlinear_induction doesn't guard nonlinear iv vectorization.

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[crazylht at gmail dot com]

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

--- Comment #3 from Hongtao.liu <crazylht at gmail dot com> ---
vect_peel_nonlinear_iv_init in vect_update_ivs_after_vectorizer should be
guarded by vect_can_peel_nonlinear_iv_p

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[crazylht at gmail dot com]

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

--- Comment #4 from Hongtao.liu <crazylht at gmail dot com> ---
(In reply to Hongtao.liu from comment #3)
> vect_peel_nonlinear_iv_init in vect_update_ivs_after_vectorizer should be
> guarded by vect_can_peel_nonlinear_iv_p

typo vect_can_advance_ivs_p

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by hongtao Liu <liuhongt@gcc.gnu.org>:

https://gcc.gnu.org/g:f758d447d7f4699253c9f8ee345ba9b8357cdb22

commit r13-2925-gf758d447d7f4699253c9f8ee345ba9b8357cdb22
Author: liuhongt <hongtao.liu@intel.com>
Date:   Wed Sep 28 17:00:48 2022 +0800

    Check nonlinear iv in vect_can_advance_ivs_p.

    vectorizable_nonlinear_induction doesn't always guard
    vect_peel_nonlinear_iv_init when it's called by
    vect_update_ivs_after_vectorizer.
    It's supposed to be guarded by vect_can_advance_ivs_p.

    gcc/ChangeLog:

            PR tree-optimization/107055
            * tree-vect-loop-manip.cc (vect_can_advance_ivs_p): Check for
            nonlinear induction variables.
            * tree-vect-loop.cc (vect_can_peel_nonlinear_iv_p): New
            functions.
            (vectorizable_nonlinear_induction): Put part codes into
            vect_can_peel_nonlinear_iv_p.
            * tree-vectorizer.h (vect_can_peel_nonlinear_iv_p): Declare.

    gcc/testsuite/ChangeLog:

            * gcc.target/i386/pr107055.c: New test.

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[crazylht at gmail dot com]

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

--- Comment #6 from Hongtao.liu <crazylht at gmail dot com> ---
Fixed in GCC13.

[Bug tree-optimization/107055] [13 Regression] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:8415

[rguenth at gcc dot gnu.org]

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

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

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

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