Apa itu Profile-guided optimisation?

In profile-guided optimisation (PGO) the program is built with instrumentation, run on a representative workload that records how often each branch goes each way and which values and calls are common, and rebuilt with the profile, so that the compiler inlines, unrolls and lays out code according to measured behaviour rather than guesses.