[Bug middle-end/113163] [14 Regression][GCN] ICE in vect_peel_nonlinear_iv_init, at tree-vect-loop.cc:9420

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

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

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> ---
While higher at the call stack:

#3  0x000000000148714f in vect_transform_loop
(loop_vinfo=loop_vinfo@entry=0x350f2a0,
loop_vectorized_call=loop_vectorized_call@entry=0x0)
    at src/gcc-mainline/gcc/tree-vect-loop.cc:11911
11911     epilogue = vect_do_peeling (loop_vinfo, niters, nitersm1,
&niters_vector,

(gdb) p debug_tree(niters)
 <integer_cst 0x7ffff7bb2030 type <integer_type 0x7ffff7b5e3f0> constant 6>


One level down:

#2  0x0000000001498154 in vect_do_peeling
(loop_vinfo=loop_vinfo@entry=0x350f2a0, niters=<optimized out>,
niters@entry=0x7ffff7bb2030, 
    nitersm1=nitersm1@entry=0x7ffff7bb2c78,
niters_vector=niters_vector@entry=0x7fffffffda60,
step_vector=step_vector@entry=0x7fffffffda68, 
    niters_vector_mult_vf_var=niters_vector_mult_vf_var@entry=0x7fffffffda70,
th=<optimized out>, check_profitability=<optimized out>, 
    niters_no_overflow=<optimized out>, advance=<optimized out>)
    at src/gcc-mainline/gcc/tree-vect-loop-manip.cc:3399
3399            vect_update_ivs_after_vectorizer (loop_vinfo,
niters_vector_mult_vf,

where niters_vector_mult_vf is ssa_name that fails in the assert.


The variable seems to be generated a few lines up in the same function (line
3375 and following):

      if (!integer_onep (*step_vector))
        {
          /* On exit from the loop we will have an easy way of calcalating
             NITERS_VECTOR / STEP * STEP.  Install a dummy definition
             until then.  */
          niters_vector_mult_vf = make_ssa_name (TREE_TYPE (*niters_vector));
          SSA_NAME_DEF_STMT (niters_vector_mult_vf) = gimple_build_nop ();
          *niters_vector_mult_vf_var = niters_vector_mult_vf;
        }
      else
        vect_gen_vector_loop_niters_mult_vf (loop_vinfo, *niters_vector,
                                             &niters_vector_mult_vf);