aboutsummaryrefslogtreecommitdiff
path: root/src/settings.js
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2011-11-17 10:16:42 -0800
committerAlon Zakai <alonzakai@gmail.com>2011-11-17 10:16:42 -0800
commitacccc5e85ada70e963934bdf21dfeb501fe63d98 (patch)
tree70ca077bdff35d4243245cc8fd81dfaf80021413 /src/settings.js
parentbcf1a4f0e90b93a7771058fda56e4be1046af38a (diff)
refactor PGO code
Diffstat (limited to 'src/settings.js')
-rw-r--r--src/settings.js13
1 files changed, 8 insertions, 5 deletions
diff --git a/src/settings.js b/src/settings.js
index e8f65f58..1d64f143 100644
--- a/src/settings.js
+++ b/src/settings.js
@@ -125,11 +125,14 @@ CORRECT_ROUNDINGS = 1; // C rounds to 0 (-5.5 to -5, +5.5 to 5), while JS has no
// Math.floor is to negative, ceil to positive. With CORRECT_ROUNDINGS,
// we will do slow but correct C rounding operations.
-AUTO_OPTIMIZE = 0; // When run with the CHECK_* options, will not fail on errors. Instead, will
- // keep a record of which checks succeeded and which failed. On shutdown, will
- // print out that information. This is useful for knowing which lines need
- // checking enabled and which do not, that is, this is a way to automate the
- // generation of line data for CORRECT_*_LINES options
+PGO = 0; // Profile-guided optimization.
+ // When run with the CHECK_* options, will not fail on errors. Instead, will
+ // keep a record of which checks succeeded and which failed. On shutdown, will
+ // print out that information. This is useful for knowing which lines need
+ // checking enabled and which do not, that is, this is a way to automate the
+ // generation of line data for CORRECT_*_LINES options.
+ // All CORRECT_* options default to 1 with PGO builds.
+ // See https://github.com/kripken/emscripten/wiki/Optimizing-Code for more info
PROFILE = 0; // Enables runtime profiling. See test_profiling for a usage example.