changes.html 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424
  1. <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
  2. <html>
  3. <head>
  4. <title>LuaJIT Change History</title>
  5. <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
  6. <meta name="Author" content="Mike Pall">
  7. <meta name="Copyright" content="Copyright (C) 2005-2011, Mike Pall">
  8. <meta name="Language" content="en">
  9. <link rel="stylesheet" type="text/css" href="bluequad.css" media="screen">
  10. <link rel="stylesheet" type="text/css" href="bluequad-print.css" media="print">
  11. <style type="text/css">
  12. div.major { max-width: 600px; padding: 1em; margin: 1em 0 1em 0; }
  13. </style>
  14. </head>
  15. <body>
  16. <div id="site">
  17. <a href="http://luajit.org"><span>Lua<span id="logo">JIT</span></span></a>
  18. </div>
  19. <div id="head">
  20. <h1>LuaJIT Change History</h1>
  21. </div>
  22. <div id="nav">
  23. <ul><li>
  24. <a href="luajit.html">LuaJIT</a>
  25. <ul><li>
  26. <a href="install.html">Installation</a>
  27. </li><li>
  28. <a href="running.html">Running</a>
  29. </li></ul>
  30. </li><li>
  31. <a href="extensions.html">Extensions</a>
  32. <ul><li>
  33. <a href="ext_jit.html">jit.* Library</a>
  34. </li><li>
  35. <a href="ext_c_api.html">Lua/C API</a>
  36. </li></ul>
  37. </li><li>
  38. <a href="status.html">Status</a>
  39. <ul><li>
  40. <a class="current" href="changes.html">Changes</a>
  41. </li></ul>
  42. </li><li>
  43. <a href="faq.html">FAQ</a>
  44. </li><li>
  45. <a href="http://luajit.org/performance.html">Performance <span class="ext">&raquo;</span></a>
  46. </li><li>
  47. <a href="http://luajit.org/download.html">Download <span class="ext">&raquo;</span></a>
  48. </li></ul>
  49. </div>
  50. <div id="main">
  51. <p>
  52. This is a list of changes between the released versions of LuaJIT.<br>
  53. The current <span style="color: #c00000;">development version</span> is <strong>LuaJIT&nbsp;2.0.0-beta5</strong>.<br>
  54. The current <span style="color: #0000c0;">stable version</span> is <strong>LuaJIT&nbsp;1.1.6</strong>.
  55. </p>
  56. <p>
  57. Please check the
  58. <a href="http://luajit.org/changes.html"><span class="ext">&raquo;</span>&nbsp;Online Change History</a>
  59. to see whether newer versions are available.
  60. </p>
  61. <div class="major" style="background: #ffd0d0;">
  62. <h2 id="LuaJIT-2.0.0-beta5">LuaJIT 2.0.0-beta5 &mdash; 2010-08-24</h2>
  63. <ul>
  64. <li>Correctness and completeness:
  65. <ul>
  66. <li>Fix trace exit dispatch to function headers.</li>
  67. <li>Fix Windows and OSX builds with LUAJIT_DISABLE_JIT.</li>
  68. <li>Reorganize and fix placement of generated machine code on x64.</li>
  69. <li>Fix TNEW in x64 interpreter.</li>
  70. <li>Do not eliminate PHIs for values only referenced from side exits.</li>
  71. <li>OS-independent canonicalization of strings for non-finite numbers.</li>
  72. <li>Fix <tt>string.char()</tt> range check on x64.</li>
  73. <li>Fix <tt>tostring()</tt> resolving within <tt>print()</tt>.</li>
  74. <li>Fix error handling for <tt>next()</tt>.</li>
  75. <li>Fix passing of constant arguments to external calls on x64.</li>
  76. <li>Fix interpreter argument check for two-argument SSE math functions.</li>
  77. <li>Fix C frame chain corruption caused by <tt>lua_cpcall()</tt>.</li>
  78. <li>Fix return from <tt>pcall()</tt> within active hook.</li>
  79. </ul></li>
  80. <li>Structural and performance enhancements:
  81. <ul>
  82. <li>Replace on-trace GC frame syncing with interpreter exit.</li>
  83. <li>Improve hash lookup specialization by not removing dead keys during GC.</li>
  84. <li>Turn traces into true GC objects.</li>
  85. <li>Avoid starting a GC cycle immediately after library init.</li>
  86. <li>Add weak guards to improve dead-code elimination.</li>
  87. <li>Speed up string interning.</li>
  88. </ul></li>
  89. </ul>
  90. <h2 id="LuaJIT-2.0.0-beta4">LuaJIT 2.0.0-beta4 &mdash; 2010-03-28</h2>
  91. <ul>
  92. <li>Correctness and completeness:
  93. <ul>
  94. <li>Fix precondition for on-trace creation of table keys.</li>
  95. <li>Fix <tt>{f()}</tt> on x64 when table is resized.</li>
  96. <li>Fix folding of ordered comparisons with same references.</li>
  97. <li>Fix snapshot restores for multi-result bytecodes.</li>
  98. <li>Fix potential hang when recording bytecode with nested closures.</li>
  99. <li>Fix recording of <tt>getmetatable()</tt>, <tt>tonumber()</tt> and bad argument types.</li>
  100. <li>Fix SLOAD fusion across returns to lower frames.</li>
  101. </ul></li>
  102. <li>Structural and performance enhancements:
  103. <ul>
  104. <li>Add array bounds check elimination. <tt>-Oabc</tt> is enabled by default.</li>
  105. <li>More tuning for x64, e.g. smaller table objects.</li>
  106. </ul></li>
  107. </ul>
  108. <h2 id="LuaJIT-2.0.0-beta3">LuaJIT 2.0.0-beta3 &mdash; 2010-03-07</h2>
  109. <ul>
  110. <li>LuaJIT x64 port:</li>
  111. <ul>
  112. <li>Port integrated memory allocator to Linux/x64, Windows/x64 and OSX/x64.</li>
  113. <li>Port interpreter and JIT compiler to x64.</li>
  114. <li>Port DynASM to x64.</li>
  115. <li>Many 32/64 bit cleanups in the VM.</li>
  116. <li>Allow building the interpreter with either x87 or SSE2 arithmetics.</li>
  117. <li>Add external unwinding and C++ exception interop (default on x64).</li>
  118. </ul></li>
  119. <li>Correctness and completeness:
  120. <ul>
  121. <li>Fix constructor bytecode generation for certain conditional values.</li>
  122. <li>Fix some cases of ordered string comparisons.</li>
  123. <li>Fix <tt>lua_tocfunction()</tt>.</li>
  124. <li>Fix cutoff register in JMP bytecode for some conditional expressions.</li>
  125. <li>Fix PHI marking algorithm for references from variant slots.</li>
  126. <li>Fix <tt>package.cpath</tt> for non-default PREFIX.</li>
  127. <li>Fix DWARF2 frame unwind information for interpreter on OSX.</li>
  128. <li>Drive the GC forward on string allocations in the parser.</li>
  129. <li>Implement call/return hooks (zero-cost if disabled).</li>
  130. <li>Implement yield from C hooks.</li>
  131. <li>Disable JIT compiler on older non-SSE2 CPUs instead of aborting.</li>
  132. </ul></li>
  133. <li>Structural and performance enhancements:
  134. <ul>
  135. <li>Compile recursive code (tail-, up- and down-recursion).</li>
  136. <li>Improve heuristics for bytecode penalties and blacklisting.</li>
  137. <li>Split CALL/FUNC recording and clean up fast function call semantics.</li>
  138. <li>Major redesign of internal function call handling.</li>
  139. <li>Improve FOR loop const specialization and integerness checks.</li>
  140. <li>Switch to pre-initialized stacks. Avoid frame-clearing.</li>
  141. <li>Colocation of prototypes and related data: bytecode, constants, debug info.</li>
  142. <li>Cleanup parser and streamline bytecode generation.</li>
  143. <li>Add support for weak IR references to register allocator.</li>
  144. <li>Switch to compressed, extensible snapshots.</li>
  145. <li>Compile returns to frames below the start frame.</li>
  146. <li>Improve alias analysis of upvalues using a disambiguation hash value.</li>
  147. <li>Compile floor/ceil/trunc to SSE2 helper calls or SSE4.1 instructions.</li>
  148. <li>Add generic C call handling to IR and backend.</li>
  149. <li>Improve KNUM fuse vs. load heuristics.</li>
  150. <li>Compile various <tt>io.*()</tt> functions.</li>
  151. <li>Compile <tt>math.sinh()</tt>, <tt>math.cosh()</tt>, <tt>math.tanh()</tt>
  152. and <tt>math.random()</tt>.</li>
  153. </ul></li>
  154. </ul>
  155. <h2 id="LuaJIT-2.0.0-beta2">LuaJIT 2.0.0-beta2 &mdash; 2009-11-09</h2>
  156. <ul>
  157. <li>Reorganize build system. Build static+shared library on POSIX.</li>
  158. <li>Allow C++ exception conversion on all platforms
  159. using a wrapper function.</li>
  160. <li>Automatically catch C++ exceptions and rethrow Lua error
  161. (DWARF2 only).</li>
  162. <li>Check for the correct x87 FPU precision at strategic points.</li>
  163. <li>Always use wrappers for libm functions.</li>
  164. <li>Resurrect metamethod name strings before copying them.</li>
  165. <li>Mark current trace, even if compiler is idle.</li>
  166. <li>Ensure FILE metatable is created only once.</li>
  167. <li>Fix type comparisons when different integer types are involved.</li>
  168. <li>Fix <tt>getmetatable()</tt> recording.</li>
  169. <li>Fix TDUP with dead keys in template table.</li>
  170. <li><tt>jit.flush(tr)</tt> returns status.
  171. Prevent manual flush of a trace that's still linked.</li>
  172. <li>Improve register allocation heuristics for invariant references.</li>
  173. <li>Compile the push/pop variants of <tt>table.insert()</tt> and
  174. <tt>table.remove()</tt>.</li>
  175. <li>Compatibility with MSVC <tt>link&nbsp/debug</tt>.</li>
  176. <li>Fix <tt>lua_iscfunction()</tt>.</li>
  177. <li>Fix <tt>math.random()</tt> when compiled with <tt>-fpic</tt> (OSX).</li>
  178. <li>Fix <tt>table.maxn()</tt>.</li>
  179. <li>Bump <tt>MACOSX_DEPLOYMENT_TARGET</tt> to <tt>10.4</tt></li>
  180. <li><tt>luaL_check*()</tt> and <tt>luaL_opt*()</tt> now support
  181. negative arguments, too.<br>
  182. This matches the behavior of Lua 5.1, but not the specification.</li>
  183. </ul>
  184. <h2 id="LuaJIT-2.0.0-beta1">LuaJIT 2.0.0-beta1 &mdash; 2009-10-31</h2>
  185. <ul>
  186. <li>This is the first public release of LuaJIT 2.0.</li>
  187. <li>The whole VM has been rewritten from the ground up, so there's
  188. no point in listing differences over earlier versions.</li>
  189. </ul>
  190. </div>
  191. <div class="major" style="background: #d0d0ff;">
  192. <h2 id="LuaJIT-1.1.6">LuaJIT 1.1.6 &mdash; 2010-03-28</h2>
  193. <ul>
  194. <li>Added fixes for the
  195. <a href="http://www.lua.org/bugs.html#5.1.4"><span class="ext">&raquo;</span>&nbsp;currently known bugs in Lua 5.1.4</a>.</li>
  196. <li>Removed wrong GC check in <tt>jit_createstate()</tt>.
  197. Thanks to Tim Mensch.</li>
  198. <li>Fixed bad assertions while compiling <tt>table.insert()</tt> and
  199. <tt>table.remove()</tt>.</li>
  200. </ul>
  201. <h2 id="LuaJIT-1.1.5">LuaJIT 1.1.5 &mdash; 2008-10-25</h2>
  202. <ul>
  203. <li>Merged with Lua 5.1.4. Fixes all
  204. <a href="http://www.lua.org/bugs.html#5.1.3"><span class="ext">&raquo;</span>&nbsp;known bugs in Lua 5.1.3</a>.</li>
  205. </ul>
  206. <h2 id="LuaJIT-1.1.4">LuaJIT 1.1.4 &mdash; 2008-02-05</h2>
  207. <ul>
  208. <li>Merged with Lua 5.1.3. Fixes all
  209. <a href="http://www.lua.org/bugs.html#5.1.2"><span class="ext">&raquo;</span>&nbsp;known bugs in Lua 5.1.2</a>.</li>
  210. <li>Fixed possible (but unlikely) stack corruption while compiling
  211. <tt>k^x</tt> expressions.</li>
  212. <li>Fixed DynASM template for cmpss instruction.</li>
  213. </ul>
  214. <h2 id="LuaJIT-1.1.3">LuaJIT 1.1.3 &mdash; 2007-05-24</h2>
  215. <ul>
  216. <li>Merged with Lua 5.1.2. Fixes all
  217. <a href="http://www.lua.org/bugs.html#5.1.1"><span class="ext">&raquo;</span>&nbsp;known bugs in Lua 5.1.1</a>.</li>
  218. <li>Merged pending Lua 5.1.x fixes: "return -nil" bug, spurious count hook call.</li>
  219. <li>Remove a (sometimes) wrong assertion in <tt>luaJIT_findpc()</tt>.</li>
  220. <li>DynASM now allows labels for displacements and <tt>.aword</tt>.</li>
  221. <li>Fix some compiler warnings for DynASM glue (internal API change).</li>
  222. <li>Correct naming for SSSE3 (temporarily known as SSE4) in DynASM and x86 disassembler.</li>
  223. <li>The loadable debug modules now handle redirection to stdout
  224. (e.g. <tt>-j&nbsp;trace=-</tt>).</li>
  225. </ul>
  226. <h2 id="LuaJIT-1.1.2">LuaJIT 1.1.2 &mdash; 2006-06-24</h2>
  227. <ul>
  228. <li>Fix MSVC inline assembly: use only local variables with
  229. <tt>lua_number2int()</tt>.</li>
  230. <li>Fix "attempt to call a thread value" bug on Mac OS X:
  231. make values of consts used as lightuserdata keys unique
  232. to avoid joining by the compiler/linker.</li>
  233. </ul>
  234. <h2 id="LuaJIT-1.1.1">LuaJIT 1.1.1 &mdash; 2006-06-20</h2>
  235. <ul>
  236. <li>Merged with Lua 5.1.1. Fixes all
  237. <a href="http://www.lua.org/bugs.html#5.1"><span class="ext">&raquo;</span>&nbsp;known bugs in Lua 5.1</a>.</li>
  238. <li>Enforce (dynamic) linker error for EXE/DLL version mismatches.</li>
  239. <li>Minor changes to DynASM: faster preprocessing, smaller encoding
  240. for some immediates.</li>
  241. </ul>
  242. <p>
  243. This release is in sync with Coco 1.1.1 (see the
  244. <a href="http://coco.luajit.org/changes.html"><span class="ext">&raquo;</span>&nbsp;Coco Change History</a>).
  245. </p>
  246. <h2 id="LuaJIT-1.1.0">LuaJIT 1.1.0 &mdash; 2006-03-13</h2>
  247. <ul>
  248. <li>Merged with Lua 5.1 (final).</li>
  249. <li>New JIT call frame setup:
  250. <ul>
  251. <li>The C stack is kept 16 byte aligned (faster).
  252. Mandatory for Mac OS X on Intel, too.</li>
  253. <li>Faster calling conventions for internal C helper functions.</li>
  254. <li>Better instruction scheduling for function prologue, OP_CALL and
  255. OP_RETURN.</li>
  256. </ul></li>
  257. <li>Miscellaneous optimizations:
  258. <ul>
  259. <li>Faster loads of FP constants. Remove narrow-to-wide store-to-load
  260. forwarding stalls.</li>
  261. <li>Use (scalar) SSE2 ops (if the CPU supports it) to speed up slot moves
  262. and FP to integer conversions.</li>
  263. <li>Optimized the two-argument form of <tt>OP_CONCAT</tt> (<tt>a..b</tt>).</li>
  264. <li>Inlined <tt>OP_MOD</tt> (<tt>a%b</tt>).
  265. With better accuracy than the C variant, too.</li>
  266. <li>Inlined <tt>OP_POW</tt> (<tt>a^b</tt>). Unroll <tt>x^k</tt> or
  267. use <tt>k^x = 2^(log2(k)*x)</tt> or call <tt>pow()</tt>.</li>
  268. </ul></li>
  269. <li>Changes in the optimizer:
  270. <ul>
  271. <li>Improved hinting for table keys derived from table values
  272. (<tt>t1[t2[x]]</tt>).</li>
  273. <li>Lookup hinting now works with arbitrary object types and
  274. supports index chains, too.</li>
  275. <li>Generate type hints for arithmetic and comparison operators,
  276. OP_LEN, OP_CONCAT and OP_FORPREP.</li>
  277. <li>Remove several hint definitions in favour of a generic COMBINE hint.</li>
  278. <li>Complete rewrite of <tt>jit.opt_inline</tt> module
  279. (ex <tt>jit.opt_lib</tt>).</li>
  280. </ul></li>
  281. <li>Use adaptive deoptimization:
  282. <ul>
  283. <li>If runtime verification of a contract fails, the affected
  284. instruction is recompiled and patched on-the-fly.
  285. Regular programs will trigger deoptimization only occasionally.</li>
  286. <li>This avoids generating code for uncommon fallback cases
  287. most of the time. Generated code is up to 30% smaller compared to
  288. LuaJIT&nbsp;1.0.3.</li>
  289. <li>Deoptimization is used for many opcodes and contracts:
  290. <ul>
  291. <li>OP_CALL, OP_TAILCALL: type mismatch for callable.</li>
  292. <li>Inlined calls: closure mismatch, parameter number and type mismatches.</li>
  293. <li>OP_GETTABLE, OP_SETTABLE: table or key type and range mismatches.</li>
  294. <li>All arithmetic and comparison operators, OP_LEN, OP_CONCAT,
  295. OP_FORPREP: operand type and range mismatches.</li>
  296. </ul></li>
  297. <li>Complete redesign of the debug and traceback info
  298. (bytecode &harr; mcode) to support deoptimization.
  299. Much more flexible and needs only 50% of the space.</li>
  300. <li>The modules <tt>jit.trace</tt>, <tt>jit.dumphints</tt> and
  301. <tt>jit.dump</tt> handle deoptimization.</li>
  302. </ul></li>
  303. <li>Inlined many popular library functions
  304. (for commonly used arguments only):
  305. <ul>
  306. <li>Most <tt>math.*</tt> functions (the 18 most used ones)
  307. [2x-10x faster].</li>
  308. <li><tt>string.len</tt>, <tt>string.sub</tt> and <tt>string.char</tt>
  309. [2x-10x faster].</li>
  310. <li><tt>table.insert</tt>, <tt>table.remove</tt> and <tt>table.getn</tt>
  311. [3x-5x faster].</li>
  312. <li><tt>coroutine.yield</tt> and <tt>coroutine.resume</tt>
  313. [3x-5x faster].</li>
  314. <li><tt>pairs</tt>, <tt>ipairs</tt> and the corresponding iterators
  315. [8x-15x faster].</li>
  316. </ul></li>
  317. <li>Changes in the core and loadable modules and the stand-alone executable:
  318. <ul>
  319. <li>Added <tt>jit.version</tt>, <tt>jit.version_num</tt>
  320. and <tt>jit.arch</tt>.</li>
  321. <li>Reorganized some internal API functions (<tt>jit.util.*mcode*</tt>).</li>
  322. <li>The <tt>-j dump</tt> output now shows JSUB names, too.</li>
  323. <li>New x86 disassembler module written in pure Lua. No dependency
  324. on ndisasm anymore. Flexible API, very compact (500 lines)
  325. and complete (x87, MMX, SSE, SSE2, SSE3, SSSE3, privileged instructions).</li>
  326. <li><tt>luajit -v</tt> prints the LuaJIT version and copyright
  327. on a separate line.</li>
  328. </ul></li>
  329. <li>Added SSE, SSE2, SSE3 and SSSE3 support to DynASM.</li>
  330. <li>Miscellaneous doc changes. Added a section about
  331. <a href="install.html#embedding">embedding LuaJIT</a>.</li>
  332. </ul>
  333. <p>
  334. This release is in sync with Coco 1.1.0 (see the
  335. <a href="http://coco.luajit.org/changes.html"><span class="ext">&raquo;</span>&nbsp;Coco Change History</a>).
  336. </p>
  337. </div>
  338. <div class="major" style="background: #ffffd0;">
  339. <h2 id="LuaJIT-1.0.3">LuaJIT 1.0.3 &mdash; 2005-09-08</h2>
  340. <ul>
  341. <li>Even more docs.</li>
  342. <li>Unified closure checks in <tt>jit.*</tt>.</li>
  343. <li>Fixed some range checks in <tt>jit.util.*</tt>.</li>
  344. <li>Fixed __newindex call originating from <tt>jit_settable_str()</tt>.</li>
  345. <li>Merged with Lua 5.1 alpha (including early bug fixes).</li>
  346. </ul>
  347. <p>
  348. This is the first public release of LuaJIT.
  349. </p>
  350. <h2 id="LuaJIT-1.0.2">LuaJIT 1.0.2 &mdash; 2005-09-02</h2>
  351. <ul>
  352. <li>Add support for flushing the Valgrind translation cache <br>
  353. (<tt>MYCFLAGS= -DUSE_VALGRIND</tt>).</li>
  354. <li>Add support for freeing executable mcode memory to the <tt>mmap()</tt>-based
  355. variant for POSIX systems.</li>
  356. <li>Reorganized the C&nbsp;function signature handling in
  357. <tt>jit.opt_lib</tt>.</li>
  358. <li>Changed to index-based hints for inlining C&nbsp;functions.
  359. Still no support in the backend for inlining.</li>
  360. <li>Hardcode <tt>HEAP_CREATE_ENABLE_EXECUTE</tt> value if undefined.</li>
  361. <li>Misc. changes to the <tt>jit.*</tt> modules.</li>
  362. <li>Misc. changes to the Makefiles.</li>
  363. <li>Lots of new docs.</li>
  364. <li>Complete doc reorg.</li>
  365. </ul>
  366. <p>
  367. Not released because Lua 5.1 alpha came out today.
  368. </p>
  369. <h2 id="LuaJIT-1.0.1">LuaJIT 1.0.1 &mdash; 2005-08-31</h2>
  370. <ul>
  371. <li>Missing GC step in <tt>OP_CONCAT</tt>.</li>
  372. <li>Fix result handling for C &ndash;> JIT calls.</li>
  373. <li>Detect CPU feature bits.</li>
  374. <li>Encode conditional moves (<tt>fucomip</tt>) only when supported.</li>
  375. <li>Add fallback instructions for FP compares.</li>
  376. <li>Add support for <tt>LUA_COMPAT_VARARG</tt>. Still disabled by default.</li>
  377. <li>MSVC needs a specific place for the <tt>CALLBACK</tt> attribute
  378. (David Burgess).</li>
  379. <li>Misc. doc updates.</li>
  380. </ul>
  381. <p>
  382. Interim non-public release.
  383. Special thanks to Adam D. Moss for reporting most of the bugs.
  384. </p>
  385. <h2 id="LuaJIT-1.0.0">LuaJIT 1.0.0 &mdash; 2005-08-29</h2>
  386. <p>
  387. This is the initial non-public release of LuaJIT.
  388. </p>
  389. </div>
  390. <br class="flush">
  391. </div>
  392. <div id="foot">
  393. <hr class="hide">
  394. Copyright &copy; 2005-2011 Mike Pall
  395. <span class="noprint">
  396. &middot;
  397. <a href="contact.html">Contact</a>
  398. </span>
  399. </div>
  400. </body>
  401. </html>