Hi Richard, >> + rtx base = strip_offset_and_salt (XEXP (x, 1), &offset); > > This should be just strip_offset, so that we don't lose the salt > during optimisation.
Fixed. > + > + if (offset.is_constant ()) > I'm not sure this is really required. Logically the same thing > would apply to SVE, although admittedly: It's not needed indeed, I've committed it with the if removed. However I believe CONST only allows immediate offsets here so that it can be used in const data. Building SPEC with gcc_assert (!offset.is_constant ()) doesn't ever trigger it. Cheers, Wilco