]> git.ipfire.org Git - thirdparty/LuaJIT.git/log
thirdparty/LuaJIT.git
14 years agoMake recording of type() independent of LJ_T*/IRT_* mapping.
Mike Pall [Tue, 28 Dec 2010 17:23:41 +0000 (18:23 +0100)] 
Make recording of type() independent of LJ_T*/IRT_* mapping.

14 years agoFFI: Add 64 bit integer arithmetic.
Mike Pall [Sat, 25 Dec 2010 21:54:25 +0000 (22:54 +0100)] 
FFI: Add 64 bit integer arithmetic.

14 years agoFFI: Fix C type representation for valarrays.
Mike Pall [Sat, 25 Dec 2010 21:33:07 +0000 (22:33 +0100)] 
FFI: Fix C type representation for valarrays.

14 years agoFFI: Parse complex and 64 bit integer literals.
Mike Pall [Fri, 24 Dec 2010 00:31:39 +0000 (01:31 +0100)] 
FFI: Parse complex and 64 bit integer literals.

14 years agoFix misnamed macro in Lua parser.
Mike Pall [Fri, 24 Dec 2010 00:23:42 +0000 (01:23 +0100)] 
Fix misnamed macro in Lua parser.

14 years agoFFI: Fix C parser for hex literals.
Mike Pall [Thu, 23 Dec 2010 22:06:04 +0000 (23:06 +0100)] 
FFI: Fix C parser for hex literals.

14 years agoFFI: Add pointer arithmetic.
Mike Pall [Thu, 23 Dec 2010 16:54:54 +0000 (17:54 +0100)] 
FFI: Add pointer arithmetic.

14 years agoFix display of branches to exit stubs in 32 bit disassembly.
Mike Pall [Thu, 23 Dec 2010 00:01:04 +0000 (01:01 +0100)] 
Fix display of branches to exit stubs in 32 bit disassembly.

14 years agoImprove register allocation for loops with variable shifts.
Mike Pall [Wed, 22 Dec 2010 23:55:31 +0000 (00:55 +0100)] 
Improve register allocation for loops with variable shifts.

14 years agoFFI: Record cdata allocations.
Mike Pall [Wed, 22 Dec 2010 22:21:38 +0000 (23:21 +0100)] 
FFI: Record cdata allocations.

14 years agoAvoid compiler warnings.
Mike Pall [Wed, 22 Dec 2010 22:20:50 +0000 (23:20 +0100)] 
Avoid compiler warnings.

14 years agoReassociate XLOAD across PHIs to handle a[i-1] forwarding case.
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

14 years agoFix XSTORE for IRT_NUM constants.
Mike Pall [Mon, 20 Dec 2010 18:34:15 +0000 (19:34 +0100)] 
Fix XSTORE for IRT_NUM constants.

14 years agoFix dump of pointer constants.
Mike Pall [Mon, 20 Dec 2010 16:12:49 +0000 (17:12 +0100)] 
Fix dump of pointer constants.

14 years agoImprove alias analysis for cdata allocations.
Mike Pall [Mon, 20 Dec 2010 14:26:05 +0000 (15:26 +0100)] 
Improve alias analysis for cdata allocations.

14 years agoFFI: Drop IR_CNEWI. Add IR_CNEWP only for pointers/refs.
Mike Pall [Fri, 17 Dec 2010 16:20:04 +0000 (17:20 +0100)] 
FFI: Drop IR_CNEWI. Add IR_CNEWP only for pointers/refs.

14 years agoFFI: FOLD load of initializers even across PHIs.
Mike Pall [Fri, 17 Dec 2010 15:47:28 +0000 (16:47 +0100)] 
FFI: FOLD load of initializers even across PHIs.

14 years agoFFI: Record copy-by-value for pointer and complex C types.
Mike Pall [Wed, 15 Dec 2010 20:49:40 +0000 (21:49 +0100)] 
FFI: Record copy-by-value for pointer and complex C types.

14 years agoFFI: Simplify copy-by-value. Strip attributes, keep qualifiers.
Mike Pall [Wed, 15 Dec 2010 20:47:46 +0000 (21:47 +0100)] 
FFI: Simplify copy-by-value. Strip attributes, keep qualifiers.

14 years agoFFI: Fix auto-deref of pointers to structs.
Mike Pall [Wed, 15 Dec 2010 18:47:01 +0000 (19:47 +0100)] 
FFI: Fix auto-deref of pointers to structs.

14 years agoFix error location while recording metamethods.
Mike Pall [Wed, 15 Dec 2010 18:44:30 +0000 (19:44 +0100)] 
Fix error location while recording metamethods.

14 years agoFix type-based alias analysis for XLOAD/XSTORE.
Mike Pall [Sun, 12 Dec 2010 22:09:26 +0000 (23:09 +0100)] 
Fix type-based alias analysis for XLOAD/XSTORE.

14 years agoAdd alias analysis for XLOAD/XSTORE. Add DSE for XSTORE.
Mike Pall [Sun, 12 Dec 2010 21:28:48 +0000 (22:28 +0100)] 
Add alias analysis for XLOAD/XSTORE. Add DSE for XSTORE.

14 years agoFOLD (base+k)+(idx*sz)+ofs ==> (base+idx*sz)+(ofs+k).
Mike Pall [Sun, 12 Dec 2010 20:07:23 +0000 (21:07 +0100)] 
FOLD (base+k)+(idx*sz)+ofs ==> (base+idx*sz)+(ofs+k).

14 years agoAdd missing PHI barrier to strength reduction of widening.
Mike Pall [Sun, 12 Dec 2010 20:03:20 +0000 (21:03 +0100)] 
Add missing PHI barrier to strength reduction of widening.

14 years agoExtend all FOLD rules to work on 64 bit integers.
Mike Pall [Sat, 11 Dec 2010 20:20:49 +0000 (21:20 +0100)] 
Extend all FOLD rules to work on 64 bit integers.

14 years agoAdd 64 bit bswap and rotates.
Mike Pall [Sat, 11 Dec 2010 20:20:12 +0000 (21:20 +0100)] 
Add 64 bit bswap and rotates.

14 years agoRegroup FOLD rules for constant folding.
Mike Pall [Sat, 11 Dec 2010 19:08:07 +0000 (20:08 +0100)] 
Regroup FOLD rules for constant folding.

14 years agoFFI: Don't use KNULL for arbitrary NULL pointers.
Mike Pall [Sat, 11 Dec 2010 19:10:52 +0000 (20:10 +0100)] 
FFI: Don't use KNULL for arbitrary NULL pointers.

14 years agoFFI: Add IR_CNEW/IR_CNEWI to allocate/init cdata objects.
Mike Pall [Sat, 11 Dec 2010 18:32:12 +0000 (19:32 +0100)] 
FFI: Add IR_CNEW/IR_CNEWI to allocate/init cdata objects.

14 years agoTurn lj_mem_newgco() into a fastcall.
Mike Pall [Fri, 10 Dec 2010 00:10:52 +0000 (01:10 +0100)] 
Turn lj_mem_newgco() into a fastcall.

14 years agoFFI: Always specialize to the field name for struct access.
Mike Pall [Thu, 9 Dec 2010 21:48:01 +0000 (22:48 +0100)] 
FFI: Always specialize to the field name for struct access.

14 years agoAdd missing guard for check against "#" when recording select().
Mike Pall [Thu, 9 Dec 2010 21:35:49 +0000 (22:35 +0100)] 
Add missing guard for check against "#" when recording select().

14 years agoFFI: Fix alignment of scalars/vectors modified with mode attribute.
Mike Pall [Thu, 9 Dec 2010 17:48:23 +0000 (18:48 +0100)] 
FFI: Fix alignment of scalars/vectors modified with mode attribute.

14 years agoStrength-reduce 32 to 64 bit widening using scalar evolution analysis.
Mike Pall [Thu, 9 Dec 2010 15:12:59 +0000 (16:12 +0100)] 
Strength-reduce 32 to 64 bit widening using scalar evolution analysis.

14 years agoAllow integer literals in FOLD rules.
Mike Pall [Thu, 9 Dec 2010 15:11:15 +0000 (16:11 +0100)] 
Allow integer literals in FOLD rules.

Workaround before refactoring conversion ops.

14 years agox86/x64 backend: keep invariants on the right rather than fusing loads.
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.

14 years agoApply narrowing optimization to IR_TOI64, too.
Mike Pall [Wed, 8 Dec 2010 20:03:45 +0000 (21:03 +0100)] 
Apply narrowing optimization to IR_TOI64, too.

14 years agoAdd FOLD rule to reassociate 64 bit (x+k1)+k2.
Mike Pall [Wed, 8 Dec 2010 19:57:21 +0000 (20:57 +0100)] 
Add FOLD rule to reassociate 64 bit (x+k1)+k2.

14 years agoFix type-based colorization of snapshot slots in debug output.
Mike Pall [Wed, 8 Dec 2010 19:37:22 +0000 (20:37 +0100)] 
Fix type-based colorization of snapshot slots in debug output.

14 years agoAvoid stack resizes while recording calls to vararg functions.
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).

14 years agoFOLD (base+(idx+k)*sz)+ofs ==> (base+idx*sz)+(ofs+k*sz).
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).

14 years agoAvoid fusing loads if there are multiple references.
Mike Pall [Wed, 8 Dec 2010 02:26:53 +0000 (03:26 +0100)] 
Avoid fusing loads if there are multiple references.

14 years agoFix IRT_NUM support for XLOAD/XSTORE.
Mike Pall [Wed, 8 Dec 2010 02:24:35 +0000 (03:24 +0100)] 
Fix IRT_NUM support for XLOAD/XSTORE.

14 years agoFFI: Turn cdata indexing into x86/x64 [base+idx*sz+ofs] addressing.
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.

14 years agoFFI: Record cdata index operations (preliminary, lots of NYI cases).
Mike Pall [Wed, 8 Dec 2010 01:11:18 +0000 (02:11 +0100)] 
FFI: Record cdata index operations (preliminary, lots of NYI cases).

14 years agoFFI: Treat cdata metatable+methods as immutable in trace recorder.
Mike Pall [Wed, 8 Dec 2010 01:02:21 +0000 (02:02 +0100)] 
FFI: Treat cdata metatable+methods as immutable in trace recorder.

14 years agoFix x64 code generation for A16+REX prefixed instructions.
Mike Pall [Wed, 8 Dec 2010 00:57:50 +0000 (01:57 +0100)] 
Fix x64 code generation for A16+REX prefixed instructions.

14 years agoFix register allocation for 8 bit stores in x86 backend.
Mike Pall [Tue, 7 Dec 2010 00:18:10 +0000 (01:18 +0100)] 
Fix register allocation for 8 bit stores in x86 backend.

14 years agoAdd IRT_NUM support to XLOAD/XSTORE.
Mike Pall [Mon, 6 Dec 2010 18:28:51 +0000 (19:28 +0100)] 
Add IRT_NUM support to XLOAD/XSTORE.

14 years agoAdd IR_TOI64.
Mike Pall [Mon, 6 Dec 2010 15:18:18 +0000 (16:18 +0100)] 
Add IR_TOI64.

14 years agoAdd FOLD rule to turn i << 1 into i + i.
Mike Pall [Mon, 6 Dec 2010 12:26:58 +0000 (13:26 +0100)] 
Add FOLD rule to turn i << 1 into i + i.

14 years agoFix 64 bit shifts in backend. Fix shift by 0.
Mike Pall [Mon, 6 Dec 2010 12:16:35 +0000 (13:16 +0100)] 
Fix 64 bit shifts in backend. Fix shift by 0.

14 years agoFix XLOAD/XSTORE references.
Mike Pall [Mon, 6 Dec 2010 12:15:53 +0000 (13:15 +0100)] 
Fix XLOAD/XSTORE references.

14 years agoAdd support for integer IR_MUL.
Mike Pall [Mon, 6 Dec 2010 11:54:00 +0000 (12:54 +0100)] 
Add support for integer IR_MUL.

14 years agoSupport all kinds of XLOAD/XSTORE references in backend.
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.

14 years agoAvoid compiler warnings.
Mike Pall [Mon, 6 Dec 2010 02:07:10 +0000 (03:07 +0100)] 
Avoid compiler warnings.

14 years agoUse native IRT_PTR instead of IRT_LIGHTUD workaround for FILE*.
Mike Pall [Mon, 6 Dec 2010 01:14:39 +0000 (02:14 +0100)] 
Use native IRT_PTR instead of IRT_LIGHTUD workaround for FILE*.

14 years agoSimplify lj_ir_kvalue(). Fix IR_KNULL + IRT_P64 case.
Mike Pall [Mon, 6 Dec 2010 01:12:08 +0000 (02:12 +0100)] 
Simplify lj_ir_kvalue(). Fix IR_KNULL + IRT_P64 case.

14 years agoAvoid warning.
Mike Pall [Mon, 6 Dec 2010 00:59:07 +0000 (01:59 +0100)] 
Avoid warning.

14 years agoAdd IR_XSTORE.
Mike Pall [Mon, 6 Dec 2010 00:48:19 +0000 (01:48 +0100)] 
Add IR_XSTORE.

14 years agoAdd minimal set of fold rules for KINT64.
Mike Pall [Sun, 5 Dec 2010 23:38:21 +0000 (00:38 +0100)] 
Add minimal set of fold rules for KINT64.

14 years agoAdd support for 64 bit integer arithmetic to x64 backend.
Mike Pall [Sun, 5 Dec 2010 23:07:36 +0000 (00:07 +0100)] 
Add support for 64 bit integer arithmetic to x64 backend.

14 years agoFix xmm spill/restore broken by b1fb71fb.
Mike Pall [Sun, 5 Dec 2010 21:39:36 +0000 (22:39 +0100)] 
Fix xmm spill/restore broken by b1fb71fb.

14 years agoAdd IR_KINT64.
Mike Pall [Sun, 5 Dec 2010 20:50:52 +0000 (21:50 +0100)] 
Add IR_KINT64.

14 years agoCleanup 64 bit IR type handling.
Mike Pall [Sun, 5 Dec 2010 18:49:29 +0000 (19:49 +0100)] 
Cleanup 64 bit IR type handling.

14 years agoRename IRT_PTR to IRT_P32.
Mike Pall [Sun, 5 Dec 2010 17:59:34 +0000 (18:59 +0100)] 
Rename IRT_PTR to IRT_P32.

14 years agoMake sure to use irt_toitype() macro everywhere.
Mike Pall [Sun, 5 Dec 2010 17:51:37 +0000 (18:51 +0100)] 
Make sure to use irt_toitype() macro everywhere.

14 years agoSplit off fast function recording to lj_ffrecord.c.
Mike Pall [Sun, 5 Dec 2010 16:12:34 +0000 (17:12 +0100)] 
Split off fast function recording to lj_ffrecord.c.

14 years agoWhitespace.
Mike Pall [Sun, 5 Dec 2010 00:14:18 +0000 (01:14 +0100)] 
Whitespace.

14 years agoDon't export internal symbol.
Mike Pall [Sun, 5 Dec 2010 00:04:15 +0000 (01:04 +0100)] 
Don't export internal symbol.

14 years agoFFI: Add ffi.* library.
Mike Pall [Sat, 4 Dec 2010 23:43:47 +0000 (00:43 +0100)] 
FFI: Add ffi.* library.

14 years agoFFI: Add support for converting cdata to tonumber().
Mike Pall [Sat, 4 Dec 2010 23:40:23 +0000 (00:40 +0100)] 
FFI: Add support for converting cdata to tonumber().

14 years agoFFI: Add C declaration parser.
Mike Pall [Sat, 4 Dec 2010 23:20:59 +0000 (00:20 +0100)] 
FFI: Add C declaration parser.

14 years agoFFI: Add C data handling and C type conversions.
Mike Pall [Sat, 4 Dec 2010 23:18:07 +0000 (00:18 +0100)] 
FFI: Add C data handling and C type conversions.

14 years agoFFI: Add C type management.
Mike Pall [Sat, 4 Dec 2010 23:11:35 +0000 (00:11 +0100)] 
FFI: Add C type management.

14 years agoPOSIX is an acronym.
Mike Pall [Sat, 4 Dec 2010 19:47:51 +0000 (20:47 +0100)] 
POSIX is an acronym.

14 years agoUndo ef8c2648.
Mike Pall [Fri, 3 Dec 2010 15:58:19 +0000 (16:58 +0100)] 
Undo ef8c2648.

14 years agoAllow access to raw error messages from outside lj_err.c.
Mike Pall [Wed, 1 Dec 2010 11:54:32 +0000 (12:54 +0100)] 
Allow access to raw error messages from outside lj_err.c.

14 years agoFFI: Add define to disable the FFI library.
Mike Pall [Tue, 30 Nov 2010 20:56:57 +0000 (21:56 +0100)] 
FFI: Add define to disable the FFI library.

14 years agoAdd support for deferred library loads to lib_init.c.
Mike Pall [Tue, 30 Nov 2010 20:56:03 +0000 (21:56 +0100)] 
Add support for deferred library loads to lib_init.c.

14 years agoFix check for enabled JIT compiler in lj_trace.h.
Mike Pall [Tue, 30 Nov 2010 17:32:22 +0000 (18:32 +0100)] 
Fix check for enabled JIT compiler in lj_trace.h.

14 years agoRearrange src/Makefile. Split features and debugging support.
Mike Pall [Tue, 30 Nov 2010 15:19:20 +0000 (16:19 +0100)] 
Rearrange src/Makefile. Split features and debugging support.

14 years agoUpdate copyright for Lua 5.2-derived features.
Mike Pall [Mon, 29 Nov 2010 16:31:45 +0000 (17:31 +0100)] 
Update copyright for Lua 5.2-derived features.

14 years agoDon't mark REF_BASE in DCE.
Mike Pall [Mon, 29 Nov 2010 15:00:44 +0000 (16:00 +0100)] 
Don't mark REF_BASE in DCE.

14 years agoAdd shorter defines for endianess checks.
Mike Pall [Sun, 28 Nov 2010 16:22:45 +0000 (17:22 +0100)] 
Add shorter defines for endianess checks.

14 years agoRemove metamethod frame for errors from internal metamethods.
Mike Pall [Sat, 27 Nov 2010 19:23:39 +0000 (20:23 +0100)] 
Remove metamethod frame for errors from internal metamethods.

14 years agoFFI: Don't propagate cdata objects.
Mike Pall [Fri, 26 Nov 2010 16:27:02 +0000 (17:27 +0100)] 
FFI: Don't propagate cdata objects.

14 years agoFFI: Add macros for consistent number to integer truncation.
Mike Pall [Fri, 26 Nov 2010 12:40:40 +0000 (13:40 +0100)] 
FFI: Add macros for consistent number to integer truncation.

14 years agoFFI: Add cdata object type.
Mike Pall [Fri, 26 Nov 2010 12:28:46 +0000 (13:28 +0100)] 
FFI: Add cdata object type.

14 years agoDisplay caller location in errors from metamethods.
Mike Pall [Fri, 26 Nov 2010 12:20:56 +0000 (13:20 +0100)] 
Display caller location in errors from metamethods.

14 years agoShrink slots for 'break' statement to help data-flow analysis.
Mike Pall [Thu, 25 Nov 2010 11:09:21 +0000 (12:09 +0100)] 
Shrink slots for 'break' statement to help data-flow analysis.

14 years agoImprove unrolling heuristics for non-looping inner loops.
Mike Pall [Thu, 25 Nov 2010 10:38:48 +0000 (11:38 +0100)] 
Improve unrolling heuristics for non-looping inner loops.

14 years agoSupport os.exit(status|true|false [,close]) (from Lua 5.2).
Mike Pall [Mon, 22 Nov 2010 21:39:06 +0000 (22:39 +0100)] 
Support os.exit(status|true|false [,close]) (from Lua 5.2).

14 years agoParse '\*' escape in strings (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).

14 years agoTighter check on table.sort function compliance (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).

14 years agoAdd support for "%g" character class in patterns (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).

14 years agostring.format("%q", str) is now fully reversible (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).

14 years agoParse hexadecimal escapes in strings (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).

14 years agoDisable Lua 5.2 features by default. See -DLUAJIT_ENABLE_LUA52COMPAT.
Mike Pall [Fri, 19 Nov 2010 16:00:11 +0000 (17:00 +0100)] 
Disable Lua 5.2 features by default. See -DLUAJIT_ENABLE_LUA52COMPAT.