[Bug tree-optimization/111268] [14 Regression] internal compiler error: in to_constant, at poly-int.h:504

["rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
   Last reconfirmed|2023-09-07 00:00:00         |2023-10-17

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Re-confirmed.

during GIMPLE pass: slp
t.c: In function 'f':
t.c:3:6: internal compiler error: in to_constant, at poly-int.h:588
    3 | void f(unsigned long *expected, svuint64_t values) {
      |      ^
0xe915f8 poly_int<2u, unsigned long>::to_constant() const
        /space/rguenther/src/gcc/gcc/poly-int.h:588
0x1aedf84 vectorizable_slp_permutation_1
        /space/rguenther/src/gcc/gcc/tree-vect-slp.cc:8766
0x1aeee54 vectorizable_slp_permutation
        /space/rguenther/src/gcc/gcc/tree-vect-slp.cc:8931
0x1ae4321 vect_slp_analyze_node_operations_1
        /space/rguenther/src/gcc/gcc/tree-vect-slp.cc:6049

the comment is outdated, we check

  unsigned olanes = ncopies * SLP_TREE_LANES (node);
  gcc_assert (repeating_p || multiple_p (olanes, nunits));

but then we have to adjust the following to poly arith somehow:

          if (repeating_p)
            vperm.quick_push ({{p.first, 0}, p.second + active_lane[p.first]});
          else
            {
              /* We checked above that the vectors are constant-length.  */
              unsigned vnunits = TYPE_VECTOR_SUBPARTS (vtype).to_constant ();
              unsigned vi = (active_lane[p.first] + p.second) / vnunits;
              unsigned vl = (active_lane[p.first] + p.second) % vnunits;
              vperm.quick_push ({{p.first, vi}, vl});