diff options
author | Mike Pall <mike> | 2022-06-23 09:10:09 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2022-06-23 09:10:09 +0200 |
commit | 2e98c3d0644fc0c265844908f43b7e4526dd819c (patch) | |
tree | b9116c671f4268be7776696abdb189de4be5cf43 /doc/ext_jit.html | |
parent | 7dc3850e78493eed1e85fa7bc0b96068ae7fb9f4 (diff) | |
download | luajit-2e98c3d0644fc0c265844908f43b7e4526dd819c.tar.gz luajit-2e98c3d0644fc0c265844908f43b7e4526dd819c.tar.bz2 luajit-2e98c3d0644fc0c265844908f43b7e4526dd819c.zip |
Grammar and spell check.
Diffstat (limited to 'doc/ext_jit.html')
-rw-r--r-- | doc/ext_jit.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ext_jit.html b/doc/ext_jit.html index be1bdcf6..8f58a0c7 100644 --- a/doc/ext_jit.html +++ b/doc/ext_jit.html | |||
@@ -150,7 +150,7 @@ Contains the target architecture name: | |||
150 | 150 | ||
151 | <h2 id="jit_opt"><tt>jit.opt.*</tt> — JIT compiler optimization control</h2> | 151 | <h2 id="jit_opt"><tt>jit.opt.*</tt> — JIT compiler optimization control</h2> |
152 | <p> | 152 | <p> |
153 | This sub-module provides the backend for the <tt>-O</tt> command line | 153 | This submodule provides the backend for the <tt>-O</tt> command line |
154 | option. | 154 | option. |
155 | </p> | 155 | </p> |
156 | <p> | 156 | <p> |
@@ -170,7 +170,7 @@ which was one of the ways to enable optimization. | |||
170 | 170 | ||
171 | <h2 id="jit_util"><tt>jit.util.*</tt> — JIT compiler introspection</h2> | 171 | <h2 id="jit_util"><tt>jit.util.*</tt> — JIT compiler introspection</h2> |
172 | <p> | 172 | <p> |
173 | This sub-module holds functions to introspect the bytecode, generated | 173 | This submodule holds functions to introspect the bytecode, generated |
174 | traces, the IR and the generated machine code. The functionality | 174 | traces, the IR and the generated machine code. The functionality |
175 | provided by this module is still in flux and therefore undocumented. | 175 | provided by this module is still in flux and therefore undocumented. |
176 | </p> | 176 | </p> |