Comment Comment by garenp It's a thing: https://en.wikipedia.org/wiki/Profile-guided_optimization parent garenp 3 years ago