diff options
| author | Leonid Rozenberg <leonidr@gmail.com> | 2017-09-17 22:29:26 -0400 |
|---|---|---|
| committer | Pierre Chambart <chambart@users.noreply.github.com> | 2017-09-18 14:41:15 +0200 |
| commit | efdbb8278721baa22a61fdd9af5dd60412903437 (patch) | |
| tree | ee4df348b74bd0610bfca48a70c7aef4cccf6c5c /manual | |
| parent | 535390f8f0b6d40f130ebcb7f804ecd6804f6cac (diff) | |
| download | ocaml-efdbb8278721baa22a61fdd9af5dd60412903437.tar.gz | |
Change factor estimation equation
Currently, the equation is rendered as (1/1 + f)<sup>d</sup>.
I'm not certain if this will correctly render in HTML (apologies, but I don't have the capacity to check at the moment), but hopefully this PR will suffice.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/cmds/flambda.etex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/manual/cmds/flambda.etex b/manual/manual/cmds/flambda.etex index f5437ee89a..063029ec05 100644 --- a/manual/manual/cmds/flambda.etex +++ b/manual/manual/cmds/flambda.etex @@ -445,7 +445,7 @@ compensate for the fact that the current point in the code, if under some number of conditional branches, may be cold. (Flambda does not currently compute hot and cold paths.) The factor---the estimated probability that the inliner really is on a {\em hot} path---is calculated as -$(\frac{1}{1 + f})^{d}$, where $f$ is set by +$\frac{1}{(1 + f)^{d}}$, where $f$ is set by {\tt -inline-branch-factor} and $d$ is the nesting depth of branches at the current point. As the inliner descends into more deeply-nested branches, the benefit of inlining thus lessens. |