[garenp]

It's a thing: https://en.wikipedia.org/wiki/Profile-guided_optimization

[lukas099]

Cool, thanks.