Comment Comment by antiuniverse That might be considered an example of profile-guided optimization: https://en.wikipedia.org/wiki/Profile-guided_optimization parent antiuniverse 7 years ago