https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88714
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The profile_estimate difference is a bug introduced in r191883 and later extended in r193821 I have a fix for, but it can be ignored, it should have went into the combine dump instead.
