https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117557
--- Comment #2 from Tamar Christina <tnfchris at gcc dot gnu.org> --- It looks like after the change we vectorize c[b[a]] = d[b[a]] but I wonder if the resulting code doesn't need an alias check that c != d. I don't see any added, let me try to bisect the loop and reduce.