[Bug tree-optimization/110436] New: ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[Bug tree-optimization/110436] New: ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[jamborm at gcc dot gnu.org]

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

            Bug ID: 110436
           Summary: ICE in vectorizable_live_operation, at
                    tree-vect-loop.cc:10170
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jamborm at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux
            Target: aarch64-suse-linux

Using a cross compiler (revision r14-2079-g9326a49c9e9d63) configured with

  /home/worker/buildworker/tiber-gcc-trunk-aarch64/build/configure
--enable-languages=c,c++,fortran,rust,m2 --disable-bootstrap
--disable-libsanitizer --disable-multilib --enable-checking=release
--prefix=/home/worker/cross --target=aarch64-linux-gnu
--with-as=/usr/bin/aarch64-suse-linux-as

to compile our own testcase testsuite/gcc.dg/pr83089.c with -O3 results in an
ICE:

$ ~/cross/bin/aarch64-linux-gnu-gcc gcc/testsuite/gcc.dg/pr83089.c -O3 -o
/tmp/aaa.out
during GIMPLE pass: vect
gcc/testsuite/gcc.dg/pr83089.c: In function ‘it’:
gcc/testsuite/gcc.dg/pr83089.c:8:1: internal compiler error: in
vectorizable_live_operation, at tree-vect-loop.cc:10170
    8 | it (int zy, short int el)
      | ^~
0x744be1 vectorizable_live_operation(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*, int, bool,
vec<stmt_info_for_cost, va_heap, vl_ptr>*)
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vect-loop.cc:10170
0x187e8ac can_vectorize_live_stmts
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vect-stmts.cc:11694
0x18a5c53 vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*, _slp_tree*,
_slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vect-stmts.cc:11928
0xf42c61 vect_analyze_loop_operations
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vect-loop.cc:2083
0xf42c61 vect_analyze_loop_2
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vect-loop.cc:2869
0xf44b00 vect_analyze_loop_1
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vect-loop.cc:3301
0xf45261 vect_analyze_loop(loop*, vec_info_shared*)
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vect-loop.cc:3455
0xf7eed5 try_vectorize_loop_1
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vectorizer.cc:1064
0xf7eed5 try_vectorize_loop
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vectorizer.cc:1180
0xf7f70c execute
       
/home/worker/buildworker/tiber-gcc-trunk-aarch64/build/gcc/tree-vectorizer.cc:1296
Please submit a full bug report, with preprocessed source (by using
-freport-bug).

[Bug tree-optimization/110436] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[acoplan at gcc dot gnu.org]

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

Alex Coplan <acoplan at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
                 CC|                            |acoplan at gcc dot gnu.org
   Last reconfirmed|                            |2023-06-27
      Known to fail|                            |14.0

--- Comment #1 from Alex Coplan <acoplan at gcc dot gnu.org> ---
Confirmed.

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[acoplan at gcc dot gnu.org]

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

Alex Coplan <acoplan at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |avieira at gcc dot gnu.org
            Summary|ICE in                      |[14 Regression] ICE in
                   |vectorizable_live_operation |vectorizable_live_operation
                   |, at                        |, at
                   |tree-vect-loop.cc:10170     |tree-vect-loop.cc:10170

--- Comment #2 from Alex Coplan <acoplan at gcc dot gnu.org> ---
Seems to have started with r14-1551-g2f482a07365d9f4a94a56edd13b7f01b8f78b5a0 :

commit 2f482a07365d9f4a94a56edd13b7f01b8f78b5a0                                 
Author: Andre Vieira <andre.simoesdiasvieira@arm.com>                           
Date:   Mon Jun 5 17:53:10 2023 +0100                                           

    internal-fn,vect: Refactor widen_plus as internal_fn

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[avieira at gcc dot gnu.org]

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

avieira at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |avieira at gcc dot gnu.org

--- Comment #3 from avieira at gcc dot gnu.org ---
I

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[avieira at gcc dot gnu.org]

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

--- Comment #4 from avieira at gcc dot gnu.org ---
Meant to say I'll look at it ;)

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 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:729aa4fa48d627c4344764676edad3b65d40a003

commit r14-2288-g729aa4fa48d627c4344764676edad3b65d40a003
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Jul 4 09:51:05 2023 +0200

    tree-optimization/110436 - bogus live/relevant for unused pattern

    When we compute liveness and relevantness we have to make sure to
    handle live but not relevant stmts in a way we can later vectorize
    them.  When the stmt uses only operands that do not need vectorization
    we can just leave such stmts in place - but not in the case they
    are recognized as patterns.  Since we don't have a way to cancel
    pattern recognition we have to force mark such stmts as relevant.

            PR tree-optimization/110436
            * tree-vect-stmts.cc (vect_mark_relevant): Expand dumping,
            force live but not relevant pattern stmts relevant.

            * gcc.dg/pr110436.c: New testcase.

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed (though the problem looks latent to me).