Clean up the readme text around PGO a bit. (GH-6538)
This commit is contained in:
parent
69524821a8
commit
b87c1c92fc
|
@ -92,15 +92,16 @@ below.
|
||||||
Profile Guided Optimization
|
Profile Guided Optimization
|
||||||
^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
|
|
||||||
PGO takes advantage of recent versions of the GCC or Clang compilers. If ran,
|
PGO takes advantage of recent versions of the GCC or Clang compilers. If used,
|
||||||
``make profile-opt`` will do several steps.
|
either via ``configure --enable-optimizations`` above or by manually running
|
||||||
|
``make profile-opt`` regardless of configure flags it will do several steps.
|
||||||
|
|
||||||
First, the entire Python directory is cleaned of temporary files that may have
|
First, the entire Python directory is cleaned of temporary files that may have
|
||||||
resulted in a previous compilation.
|
resulted in a previous compilation.
|
||||||
|
|
||||||
Then, an instrumented version of the interpreter is built, using suitable
|
Then, an instrumented version of the interpreter is built, using suitable
|
||||||
compiler flags for each flavour. Note that this is just an intermediary step
|
compiler flags for each flavour. Note that this is just an intermediary step.
|
||||||
and the binary resulted after this step is not good for real life workloads, as
|
The binary resulting from this step is not good for real life workloads as
|
||||||
it has profiling instructions embedded inside.
|
it has profiling instructions embedded inside.
|
||||||
|
|
||||||
After this instrumented version of the interpreter is built, the Makefile will
|
After this instrumented version of the interpreter is built, the Makefile will
|
||||||
|
|
Loading…
Reference in New Issue