[Bug tree-optimization/106250] New: [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96

[Bug tree-optimization/106250] New: [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96

[asolokha at gmx dot com]

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

            Bug ID: 106250
           Summary: [13 Regression] ICE in optab_for_tree_code, at
                    optabs-tree.cc:96
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: aarch64-linux-gnu

gcc 13.0.0 20220710 snapshot (g:0587cef3d7962a8b0f44779589ba2920dd3d71e5) ICEs
when compiling the following testcase w/ -O1 -ftree-loop-vectorize:

int
foo (unsigned long int x, int y, int z)
{
  int ret = 0;

  while (y < 1)
    {
      x *= 2;
      ret = x == z;
      z = y;
      ++y;
    }

  return ret;
}

% aarch64-linux-gnu-gcc-13.0.0 -O1 -ftree-loop-vectorize -c ljvzdvet.c
during GIMPLE pass: vect
ljvzdvet.c: In function 'foo':
ljvzdvet.c:2:1: internal compiler error: in optab_for_tree_code, at
optabs-tree.cc:96
    2 | foo (unsigned long int x, int y, int z)
      | ^~~
0x74dfb3 optab_for_tree_code(tree_code, tree_node const*, optab_subtype)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/optabs-tree.cc:96
0x139bda4 directly_supported_p(code_helper, tree_node*, optab_subtype)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/gimple-match-head.cc:1390
0x11b8174 vectorizable_reduction(_loop_vec_info*, _stmt_vec_info*, _slp_tree*,
_slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vect-loop.cc:7372
0x11bfd1b vect_analyze_loop_operations
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vect-loop.cc:1753
0x11bfd1b vect_analyze_loop_2
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vect-loop.cc:2558
0x11c11fb vect_analyze_loop_1
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vect-loop.cc:2899
0x11c19d0 vect_analyze_loop(loop*, vec_info_shared*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vect-loop.cc:3053
0x11f7aa4 try_vectorize_loop_1
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vectorizer.cc:1067
0x11f7aa4 try_vectorize_loop
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vectorizer.cc:1183
0x11f8304 execute
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-vectorizer.cc:1299

[Bug tree-optimization/106250] [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2022-07-11
             Status|UNCONFIRMED                 |NEW

[Bug tree-optimization/106250] [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0
           Keywords|                            |needs-reduction

[Bug tree-optimization/106250] [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96 since r13-1468-g76c3041b856cb0

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rsandifo at gcc dot gnu.org
            Summary|[13 Regression] ICE in      |[13 Regression] ICE in
                   |optab_for_tree_code, at     |optab_for_tree_code, at
                   |optabs-tree.cc:96           |optabs-tree.cc:96 since
                   |                            |r13-1468-g76c3041b856cb0
           Keywords|needs-bisection             |

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r13-1468-g76c3041b856cb0.

[Bug tree-optimization/106250] [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96 since r13-1468-g76c3041b856cb0

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

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

--- Comment #2 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Oops, seems that optab_vector was needed after all.

[Bug tree-optimization/106250] [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96 since r13-1468-g76c3041b856cb0

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Richard Sandiford <rsandifo@gcc.gnu.org>:

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

commit r13-1606-ge7a7fed818d238d45b18dfd927cde93b4711052d
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Mon Jul 11 15:59:00 2022 +0100

    vect: Restore optab_vector argument [PR106250]

    In g:76c3041b856cb0 I'd removed a "C ? optab_vector : optab_mixed_sign"
    argument from a call to directly_supported_p, thinking that the argument
    only existed because of the condition (which I was removing).  But the
    difference between the scalar and vector forms matters for shifts,
    so we do still need the argument.

    gcc/
            PR tree-optimization/106250
            * tree-vect-loop.cc (vectorizable_reduction): Reinstate final
            argument to directly_supported_p.

[Bug tree-optimization/106250] [13 Regression] ICE in optab_for_tree_code, at optabs-tree.cc:96 since r13-1468-g76c3041b856cb0

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

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

--- Comment #4 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Fixed.