diff options
| author | Nicolas Ojeda Bar <n.oje.bar@gmail.com> | 2017-09-15 17:48:22 +0200 |
|---|---|---|
| committer | Nicolas Ojeda Bar <n.oje.bar@gmail.com> | 2017-09-15 18:07:25 +0200 |
| commit | 2c371b71048188a5af40532677d68c841cfd4e3c (patch) | |
| tree | 26c7c896a87a109ae08371b28e2180d45309d440 /manual | |
| parent | 6fb2960d561fdec8c21aaf63d97e7c677e364c5e (diff) | |
| download | ocaml-2c371b71048188a5af40532677d68c841cfd4e3c.tar.gz | |
Add -linscan doc to manual and man page
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 12498d6716..0ea1f5f9a9 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") |