10% faster is a pretty nice improvement, especially in 2020.
Here's a little Wikipedia stub about Profile-Guided Optimization, for those who'd like to read more about the technique.
Here's a little Wikipedia stub about Profile-Guided Optimization, for those who'd like to read more about the technique.
Math may vary depending on cost of electricity.