diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-10-16 09:27:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-16 09:27:02 +0200 |
| commit | d229144189dc033b52477610853a034397378c4c (patch) | |
| tree | 30f379b3bdaf47a0f6ebe626a37f534466c5c3c0 /manual | |
| parent | 0b09fb56a5bbea5a72a6c1705fced8f8372dd6ff (diff) | |
| parent | 2c371b71048188a5af40532677d68c841cfd4e3c (diff) | |
| download | ocaml-d229144189dc033b52477610853a034397378c4c.tar.gz | |
Merge pull request #1344 from nojb/linscan_flag_manual
Add -linscan doc to manual
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/cmds/unified-options.etex | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/manual/manual/cmds/unified-options.etex b/manual/manual/cmds/unified-options.etex index 533034c27a..498bedf120 100644 --- a/manual/manual/cmds/unified-options.etex +++ b/manual/manual/cmds/unified-options.etex @@ -308,6 +308,14 @@ modules contained in the library. When compiling a module (option always be linked if it is put in a library and this library is linked. }%notop +\nat{% +\item["-linscan"] +Use linear scan register allocation. Compiling with this allocator is faster +than with the usual graph coloring allocator, sometimes quite drastically so for +long functions and modules. On the other hand, the generated code can be a bit +slower. +}%nat + \comp{% \item["-make-runtime"] Build a custom runtime system (in the file specified by option "-o") |