https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98726
--- Comment #9 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- I think we should do a variation on (3): use poly-int subtraction in rtx_vector_builder::step but force the returned value to a constant using to_constant (). The justification is that the encoding requires the step to be constant, but doesn't require the individual elements to be.