https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71785
--- Comment #17 from Andrew Pinski <pinskia at gcc dot gnu.org> --- First off internal documentation is not user documentation. Second internal documentation is not always in sync with the code. In this case it seems like it is not fully. Basically BB reordering does the full unfactoring these days.