https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117111
--- Comment #7 from Jeffrey A. Law <law at gcc dot gnu.org> --- But reorg should handle that fine. It's got code to track dependencies and not move something in an unsafe manner. Of course all that code is incredibly hairy as it predates a control flow graph and real data dependency analysis. Think late 80s, early 90s.