https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70773
--- Comment #7 from PeteVine <tulipawn at gmail dot com> --- Even though it's probably a dfifferent issue (affecting GCC6/7), profiling makes the solver about 2-3% slower on aarch64: profiled/non-profiled gcc5.4 799/875 gcc6.2 790/773 gcc7.0 752/730 But guess what, if you grep for `sdiv`, there's 9 of them in the profiled asm file versus just 6 in the non-profiled version. FWIW, so I'm attaching the files.