https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90168
--- Comment #4 from Feng Xue <fxue at os dot amperecomputing.com> --- (In reply to Andrew Pinski from comment #3) > >or to use float type to hold frequency? > > This won't work correctly as floating point is different between hosts. > There has been some usage of floating point inside of GCC which was removed > because of that issue. I thought that was documented somewhere too. How about adjusting REG_FREQ_MAX to be same as BB_FREQ_MAX? Now REG_FREQ_MAX/BB_FREQ_MAX is 1/10.