https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116783
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Yeah, I think when you involve RTL analysis you have to make sure regs mentioned in the MEM are not modified inbetween the MEMs as RTL alias analysis looks at the apparent difference between x1-184 and x1 and the MEM_SIZEs to prove they do not overlap.
