]>
git.ipfire.org Git - thirdparty/LuaJIT.git/log
Mike Pall [Tue, 28 Dec 2010 17:23:41 +0000 (18:23 +0100)]
Make recording of type() independent of LJ_T*/IRT_* mapping.
Mike Pall [Sat, 25 Dec 2010 21:54:25 +0000 (22:54 +0100)]
FFI: Add 64 bit integer arithmetic.
Mike Pall [Sat, 25 Dec 2010 21:33:07 +0000 (22:33 +0100)]
FFI: Fix C type representation for valarrays.
Mike Pall [Fri, 24 Dec 2010 00:31:39 +0000 (01:31 +0100)]
FFI: Parse complex and 64 bit integer literals.
Mike Pall [Fri, 24 Dec 2010 00:23:42 +0000 (01:23 +0100)]
Fix misnamed macro in Lua parser.
Mike Pall [Thu, 23 Dec 2010 22:06:04 +0000 (23:06 +0100)]
FFI: Fix C parser for hex literals.
Mike Pall [Thu, 23 Dec 2010 16:54:54 +0000 (17:54 +0100)]
FFI: Add pointer arithmetic.
Mike Pall [Thu, 23 Dec 2010 00:01:04 +0000 (01:01 +0100)]
Fix display of branches to exit stubs in 32 bit disassembly.
Mike Pall [Wed, 22 Dec 2010 23:55:31 +0000 (00:55 +0100)]
Improve register allocation for loops with variable shifts.
Mike Pall [Wed, 22 Dec 2010 22:21:38 +0000 (23:21 +0100)]
FFI: Record cdata allocations.
Mike Pall [Wed, 22 Dec 2010 22:20:50 +0000 (23:20 +0100)]
Avoid compiler warnings.
Mike Pall [Mon, 20 Dec 2010 18:35:57 +0000 (19:35 +0100)]
Reassociate XLOAD across PHIs to handle a[i-1] forwarding case.
Improved SciMark scores: http://luajit.org/download/scimark.lua
x86 SciMark LARGE | FFT SOR MC SPARSE LU
-----------------------+---------------------------------------
GCC 4.4.3 623.8 | 91.0 883.5 190.4 784.7 1169.6
LuaJIT git +FFI 651.2 | 97.2 1021.9 323.4 673.7 1139.6
LuaJIT git 527.7 | 91.4 1008.5 225.6 400.0 913.2
x64 SciMark LARGE | FFT SOR MC SPARSE LU
-----------------------+---------------------------------------
GCC 4.4.3 614.7 | 97.7 883.5 228.5 734.0 1129.9
JVM 1.6.0_22 707.5 | 79.2 1118.1 385.5 658.9 1295.7
LuaJIT git +FFI 632.8 | 89.1 1035.8 298.3 648.1 1092.9
LuaJIT git 516.1 | 88.4 995.4 225.6 382.1 888.9
Mike Pall [Mon, 20 Dec 2010 18:34:15 +0000 (19:34 +0100)]
Fix XSTORE for IRT_NUM constants.
Mike Pall [Mon, 20 Dec 2010 16:12:49 +0000 (17:12 +0100)]
Fix dump of pointer constants.
Mike Pall [Mon, 20 Dec 2010 14:26:05 +0000 (15:26 +0100)]
Improve alias analysis for cdata allocations.
Mike Pall [Fri, 17 Dec 2010 16:20:04 +0000 (17:20 +0100)]
FFI: Drop IR_CNEWI. Add IR_CNEWP only for pointers/refs.
Mike Pall [Fri, 17 Dec 2010 15:47:28 +0000 (16:47 +0100)]
FFI: FOLD load of initializers even across PHIs.
Mike Pall [Wed, 15 Dec 2010 20:49:40 +0000 (21:49 +0100)]
FFI: Record copy-by-value for pointer and complex C types.
Mike Pall [Wed, 15 Dec 2010 20:47:46 +0000 (21:47 +0100)]
FFI: Simplify copy-by-value. Strip attributes, keep qualifiers.
Mike Pall [Wed, 15 Dec 2010 18:47:01 +0000 (19:47 +0100)]
FFI: Fix auto-deref of pointers to structs.
Mike Pall [Wed, 15 Dec 2010 18:44:30 +0000 (19:44 +0100)]
Fix error location while recording metamethods.
Mike Pall [Sun, 12 Dec 2010 22:09:26 +0000 (23:09 +0100)]
Fix type-based alias analysis for XLOAD/XSTORE.
Mike Pall [Sun, 12 Dec 2010 21:28:48 +0000 (22:28 +0100)]
Add alias analysis for XLOAD/XSTORE. Add DSE for XSTORE.
Mike Pall [Sun, 12 Dec 2010 20:07:23 +0000 (21:07 +0100)]
FOLD (base+k)+(idx*sz)+ofs ==> (base+idx*sz)+(ofs+k).
Mike Pall [Sun, 12 Dec 2010 20:03:20 +0000 (21:03 +0100)]
Add missing PHI barrier to strength reduction of widening.
Mike Pall [Sat, 11 Dec 2010 20:20:49 +0000 (21:20 +0100)]
Extend all FOLD rules to work on 64 bit integers.
Mike Pall [Sat, 11 Dec 2010 20:20:12 +0000 (21:20 +0100)]
Add 64 bit bswap and rotates.
Mike Pall [Sat, 11 Dec 2010 19:08:07 +0000 (20:08 +0100)]
Regroup FOLD rules for constant folding.
Mike Pall [Sat, 11 Dec 2010 19:10:52 +0000 (20:10 +0100)]
FFI: Don't use KNULL for arbitrary NULL pointers.
Mike Pall [Sat, 11 Dec 2010 18:32:12 +0000 (19:32 +0100)]
FFI: Add IR_CNEW/IR_CNEWI to allocate/init cdata objects.
Mike Pall [Fri, 10 Dec 2010 00:10:52 +0000 (01:10 +0100)]
Turn lj_mem_newgco() into a fastcall.
Mike Pall [Thu, 9 Dec 2010 21:48:01 +0000 (22:48 +0100)]
FFI: Always specialize to the field name for struct access.
Mike Pall [Thu, 9 Dec 2010 21:35:49 +0000 (22:35 +0100)]
Add missing guard for check against "#" when recording select().
Mike Pall [Thu, 9 Dec 2010 17:48:23 +0000 (18:48 +0100)]
FFI: Fix alignment of scalars/vectors modified with mode attribute.
Mike Pall [Thu, 9 Dec 2010 15:12:59 +0000 (16:12 +0100)]
Strength-reduce 32 to 64 bit widening using scalar evolution analysis.
Mike Pall [Thu, 9 Dec 2010 15:11:15 +0000 (16:11 +0100)]
Allow integer literals in FOLD rules.
Workaround before refactoring conversion ops.
Mike Pall [Thu, 9 Dec 2010 15:08:55 +0000 (16:08 +0100)]
x86/x64 backend: keep invariants on the right rather than fusing loads.
Mike Pall [Wed, 8 Dec 2010 20:03:45 +0000 (21:03 +0100)]
Apply narrowing optimization to IR_TOI64, too.
Mike Pall [Wed, 8 Dec 2010 19:57:21 +0000 (20:57 +0100)]
Add FOLD rule to reassociate 64 bit (x+k1)+k2.
Mike Pall [Wed, 8 Dec 2010 19:37:22 +0000 (20:37 +0100)]
Fix type-based colorization of snapshot slots in debug output.
Mike Pall [Wed, 8 Dec 2010 18:11:58 +0000 (19:11 +0100)]
Avoid stack resizes while recording calls to vararg functions.
FUNCV might have been recorded twice (with ill effects).
Mike Pall [Wed, 8 Dec 2010 02:33:48 +0000 (03:33 +0100)]
FOLD (base+(idx+k)*sz)+ofs ==> (base+idx*sz)+(ofs+k*sz).
Mike Pall [Wed, 8 Dec 2010 02:26:53 +0000 (03:26 +0100)]
Avoid fusing loads if there are multiple references.
Mike Pall [Wed, 8 Dec 2010 02:24:35 +0000 (03:24 +0100)]
Fix IRT_NUM support for XLOAD/XSTORE.
Mike Pall [Wed, 8 Dec 2010 01:36:09 +0000 (02:36 +0100)]
FFI: Turn cdata indexing into x86/x64 [base+idx*sz+ofs] addressing.
Mike Pall [Wed, 8 Dec 2010 01:11:18 +0000 (02:11 +0100)]
FFI: Record cdata index operations (preliminary, lots of NYI cases).
Mike Pall [Wed, 8 Dec 2010 01:02:21 +0000 (02:02 +0100)]
FFI: Treat cdata metatable+methods as immutable in trace recorder.
Mike Pall [Wed, 8 Dec 2010 00:57:50 +0000 (01:57 +0100)]
Fix x64 code generation for A16+REX prefixed instructions.
Mike Pall [Tue, 7 Dec 2010 00:18:10 +0000 (01:18 +0100)]
Fix register allocation for 8 bit stores in x86 backend.
Mike Pall [Mon, 6 Dec 2010 18:28:51 +0000 (19:28 +0100)]
Add IRT_NUM support to XLOAD/XSTORE.
Mike Pall [Mon, 6 Dec 2010 15:18:18 +0000 (16:18 +0100)]
Add IR_TOI64.
Mike Pall [Mon, 6 Dec 2010 12:26:58 +0000 (13:26 +0100)]
Add FOLD rule to turn i << 1 into i + i.
Mike Pall [Mon, 6 Dec 2010 12:16:35 +0000 (13:16 +0100)]
Fix 64 bit shifts in backend. Fix shift by 0.
Mike Pall [Mon, 6 Dec 2010 12:15:53 +0000 (13:15 +0100)]
Fix XLOAD/XSTORE references.
Mike Pall [Mon, 6 Dec 2010 11:54:00 +0000 (12:54 +0100)]
Add support for integer IR_MUL.
Mike Pall [Mon, 6 Dec 2010 02:09:52 +0000 (03:09 +0100)]
Support all kinds of XLOAD/XSTORE references in backend.
Fuse pointer arithmetic, too.
Mike Pall [Mon, 6 Dec 2010 02:07:10 +0000 (03:07 +0100)]
Avoid compiler warnings.
Mike Pall [Mon, 6 Dec 2010 01:14:39 +0000 (02:14 +0100)]
Use native IRT_PTR instead of IRT_LIGHTUD workaround for FILE*.
Mike Pall [Mon, 6 Dec 2010 01:12:08 +0000 (02:12 +0100)]
Simplify lj_ir_kvalue(). Fix IR_KNULL + IRT_P64 case.
Mike Pall [Mon, 6 Dec 2010 00:59:07 +0000 (01:59 +0100)]
Avoid warning.
Mike Pall [Mon, 6 Dec 2010 00:48:19 +0000 (01:48 +0100)]
Add IR_XSTORE.
Mike Pall [Sun, 5 Dec 2010 23:38:21 +0000 (00:38 +0100)]
Add minimal set of fold rules for KINT64.
Mike Pall [Sun, 5 Dec 2010 23:07:36 +0000 (00:07 +0100)]
Add support for 64 bit integer arithmetic to x64 backend.
Mike Pall [Sun, 5 Dec 2010 21:39:36 +0000 (22:39 +0100)]
Fix xmm spill/restore broken by
b1fb71fb.
Mike Pall [Sun, 5 Dec 2010 20:50:52 +0000 (21:50 +0100)]
Add IR_KINT64.
Mike Pall [Sun, 5 Dec 2010 18:49:29 +0000 (19:49 +0100)]
Cleanup 64 bit IR type handling.
Mike Pall [Sun, 5 Dec 2010 17:59:34 +0000 (18:59 +0100)]
Rename IRT_PTR to IRT_P32.
Mike Pall [Sun, 5 Dec 2010 17:51:37 +0000 (18:51 +0100)]
Make sure to use irt_toitype() macro everywhere.
Mike Pall [Sun, 5 Dec 2010 16:12:34 +0000 (17:12 +0100)]
Split off fast function recording to lj_ffrecord.c.
Mike Pall [Sun, 5 Dec 2010 00:14:18 +0000 (01:14 +0100)]
Whitespace.
Mike Pall [Sun, 5 Dec 2010 00:04:15 +0000 (01:04 +0100)]
Don't export internal symbol.
Mike Pall [Sat, 4 Dec 2010 23:43:47 +0000 (00:43 +0100)]
FFI: Add ffi.* library.
Mike Pall [Sat, 4 Dec 2010 23:40:23 +0000 (00:40 +0100)]
FFI: Add support for converting cdata to tonumber().
Mike Pall [Sat, 4 Dec 2010 23:20:59 +0000 (00:20 +0100)]
FFI: Add C declaration parser.
Mike Pall [Sat, 4 Dec 2010 23:18:07 +0000 (00:18 +0100)]
FFI: Add C data handling and C type conversions.
Mike Pall [Sat, 4 Dec 2010 23:11:35 +0000 (00:11 +0100)]
FFI: Add C type management.
Mike Pall [Sat, 4 Dec 2010 19:47:51 +0000 (20:47 +0100)]
POSIX is an acronym.
Mike Pall [Fri, 3 Dec 2010 15:58:19 +0000 (16:58 +0100)]
Mike Pall [Wed, 1 Dec 2010 11:54:32 +0000 (12:54 +0100)]
Allow access to raw error messages from outside lj_err.c.
Mike Pall [Tue, 30 Nov 2010 20:56:57 +0000 (21:56 +0100)]
FFI: Add define to disable the FFI library.
Mike Pall [Tue, 30 Nov 2010 20:56:03 +0000 (21:56 +0100)]
Add support for deferred library loads to lib_init.c.
Mike Pall [Tue, 30 Nov 2010 17:32:22 +0000 (18:32 +0100)]
Fix check for enabled JIT compiler in lj_trace.h.
Mike Pall [Tue, 30 Nov 2010 15:19:20 +0000 (16:19 +0100)]
Rearrange src/Makefile. Split features and debugging support.
Mike Pall [Mon, 29 Nov 2010 16:31:45 +0000 (17:31 +0100)]
Update copyright for Lua 5.2-derived features.
Mike Pall [Mon, 29 Nov 2010 15:00:44 +0000 (16:00 +0100)]
Don't mark REF_BASE in DCE.
Mike Pall [Sun, 28 Nov 2010 16:22:45 +0000 (17:22 +0100)]
Add shorter defines for endianess checks.
Mike Pall [Sat, 27 Nov 2010 19:23:39 +0000 (20:23 +0100)]
Remove metamethod frame for errors from internal metamethods.
Mike Pall [Fri, 26 Nov 2010 16:27:02 +0000 (17:27 +0100)]
FFI: Don't propagate cdata objects.
Mike Pall [Fri, 26 Nov 2010 12:40:40 +0000 (13:40 +0100)]
FFI: Add macros for consistent number to integer truncation.
Mike Pall [Fri, 26 Nov 2010 12:28:46 +0000 (13:28 +0100)]
FFI: Add cdata object type.
Mike Pall [Fri, 26 Nov 2010 12:20:56 +0000 (13:20 +0100)]
Display caller location in errors from metamethods.
Mike Pall [Thu, 25 Nov 2010 11:09:21 +0000 (12:09 +0100)]
Shrink slots for 'break' statement to help data-flow analysis.
Mike Pall [Thu, 25 Nov 2010 10:38:48 +0000 (11:38 +0100)]
Improve unrolling heuristics for non-looping inner loops.
Mike Pall [Mon, 22 Nov 2010 21:39:06 +0000 (22:39 +0100)]
Support os.exit(status|true|false [,close]) (from Lua 5.2).
Mike Pall [Mon, 22 Nov 2010 21:22:12 +0000 (22:22 +0100)]
Parse '\*' escape in strings (from Lua 5.2).
Mike Pall [Fri, 19 Nov 2010 17:44:59 +0000 (18:44 +0100)]
Tighter check on table.sort function compliance (from Lua 5.2).
Mike Pall [Fri, 19 Nov 2010 17:37:10 +0000 (18:37 +0100)]
Add support for "%g" character class in patterns (from Lua 5.2).
Mike Pall [Fri, 19 Nov 2010 17:22:08 +0000 (18:22 +0100)]
string.format("%q", str) is now fully reversible (from Lua 5.2).
Mike Pall [Fri, 19 Nov 2010 16:39:33 +0000 (17:39 +0100)]
Parse hexadecimal escapes in strings (from Lua 5.2).
Mike Pall [Fri, 19 Nov 2010 16:00:11 +0000 (17:00 +0100)]
Disable Lua 5.2 features by default. See -DLUAJIT_ENABLE_LUA52COMPAT.