https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113239
--- Comment #11 from Jeffrey A. Law <law at gcc dot gnu.org> --- I haven't verified, but I would suggest checking if that store conflicts with the loads. If it doesn't, then I would expect the loads to get CSE'd which in turn would expose the key equivalence needed to optimize this code better.