https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119187
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It's one of the TODOs that look easy but are not. Related is to support a fractional VF so we can re-roll for (...) a[32*i] = ..; a[32*i+1] = ..; ... a[32*i + 31] = ...; to match the number of lanes in a HW vector. It shares some of the same issues as handling vector "scalar" types. One issue with vector "scalar" types is that there's no scalar defs for the actual lanes - that's somewhat of a representational issue, but we do use those for scheduling for example. Having the "anchor" explicitly represented would be a first step to solve this.