Guide to Profile-Guided Optimization: inlining, devirtualizing, and profiling