https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64024
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Perhaps for the linear arguments we could remember the {initial_val, linear_step} pair from the analysis phase (somewhere in the stmt_info) and if simple_iv would fail during the transform phase, use that (after adjusting initial_val, to add number of scalar iteratorions before the vectorized loop; Richard, where can that be read from?).