Commit Graph

2691 Commits

Author SHA1 Message Date
Mike Pall
ceece4d13e FFI: Perform stricter checks in ffi.cast(). Record ffi.cast(). 2011-02-06 12:46:18 +01:00
Mike Pall
bf58160b7a FFI: Simplify and fix tonumber() for cdata objects. 2011-02-06 12:23:58 +01:00
Mike Pall
4c74f70464 Strength-reduce 32 to 64 bit widening for XLOAD U8/U16 inputs. 2011-02-06 00:45:39 +01:00
Mike Pall
26bb0fe24b FFI: Limit number of arguments for recorded calls. 2011-02-05 23:01:10 +01:00
Mike Pall
26fadcd25b FFI: Record simple C function calls.
Only handles cdecl and fixarg C functions.
Doesn't handle pass-by-value aggregates.
Doesn't handle 64 bit args/returns on 32 bit CPUs.
2011-02-05 21:50:15 +01:00
Mike Pall
bf05209e14 FFI: Optimize snapshots for cdata comparisons. 2011-02-05 18:54:08 +01:00
Mike Pall
da3f256a52 Fix metamethod comparisons triggered by BC_ISEQP/BC_ISNEP. 2011-02-05 16:32:08 +01:00
Mike Pall
14f5103764 FFI: Record C library namespace lookups. 2011-02-05 14:16:16 +01:00
Mike Pall
223d85aa06 Treat metatables of special userdata objects as immutable. 2011-02-05 14:09:50 +01:00
Mike Pall
c29ed4dbbf FFI: Record ffi.string(). 2011-02-05 01:05:56 +01:00
Mike Pall
618b451648 FFI: Avoid intermediate boxes for tonumber(), too. 2011-02-05 01:04:41 +01:00
Mike Pall
1abf5d4d26 FFI: Disable MUL => BSHL FOLD rule on 32 bit. 2011-02-03 20:10:13 +01:00
Mike Pall
df65b8b419 FFI: Rename IR_CNEWP to IR_CNEWI and use it to box 64 bit integers.
Generates smaller IR and DCE eliminates many intermediate boxes.
Needs allocation sinking to eliminate the boxes kept alive by PHIs.
2011-02-03 04:22:27 +01:00
Mike Pall
1027018b21 Rename IR_POWI to IR_POW. 2011-02-02 21:33:11 +01:00
Mike Pall
433fd18f6d FFI: Add basic FOLD rules for 64 bit integer DIV, MOD and POWI. 2011-02-02 21:25:43 +01:00
Mike Pall
a1e0f991d8 FFI: Record 64 bit integer divide and modulo. 2011-02-02 21:24:55 +01:00
Mike Pall
2c8945d3e7 Use names defined in lualib.h for library registration. 2011-02-02 02:38:59 +01:00
Mike Pall
1505d6ffde Fix OSX build to work with newer ld64 versions. 2011-02-02 02:31:59 +01:00
Mike Pall
b613216efc Add SPLIT pass to split 64 bit IR instructions for 32 bit CPUs.
Add generic HIOP instruction for extra backend functionality.
Add support for HIOP to x86 backend.
Use POWI for 64 bit integer x^k, too.
POWI is lowered to a call by SPLIT or the x64 backend.
2011-02-02 02:29:37 +01:00
Mike Pall
c539c0cac8 Add SSE3 CPU feature detection. 2011-02-01 19:28:03 +01:00
Mike Pall
992bc2caa3 FFI: Limit index range for complex numbers. 2011-01-29 19:47:37 +01:00
Mike Pall
6fd721ce72 FFI: Implement POSIX/x64 struct-by-value calling conventions. 2011-01-29 13:04:16 +01:00
Mike Pall
6fee0002b9 Fix 64 bit case of (SUB x x) and (BXOR x x) FOLD rules. 2011-01-28 02:17:35 +01:00
Mike Pall
07d8a53b39 FFI: Split up 64 bit x^k helper into signed/unsigned. 2011-01-28 02:15:30 +01:00
Mike Pall
cd9b8f90e2 FFI: Fix various issues with C type table reallocations. 2011-01-27 16:28:24 +01:00
Mike Pall
279b6ec22e FFI: Fix symbol name redirection. 2011-01-27 16:07:02 +01:00
Mike Pall
3184f17169 FFI: Move code for cdata arithmetic to lj_carith.c. 2011-01-26 21:46:02 +01:00
Mike Pall
2526498c71 FFI: Record cdata indexing with integer cdata. 2011-01-26 21:14:58 +01:00
Mike Pall
de0781d610 FFI: Allow cdata indexing with integer cdata. 2011-01-26 21:14:38 +01:00
Mike Pall
0622ad9adc Fix comments for BC_ITERN. 2011-01-26 19:55:55 +01:00
Mike Pall
30db71e2e2 FFI: Convert enum return value of C function to underlying type. 2011-01-26 14:18:12 +01:00
Mike Pall
a285415b01 One more fix for the trace flush logic. Sigh. 2011-01-26 02:34:30 +01:00
Mike Pall
1b75ec22c8 FFI: Add symbol name redirection.
This works like the GCC extension, e.g.:
FILE *fopen(const char *fn, const char *mode) __asm__("" "fopen64");
2011-01-26 02:31:19 +01:00
Mike Pall
ed6c895ae5 ARM: Add ARM target architecture selection (disabled). 2011-01-25 18:50:24 +01:00
Mike Pall
705f593ffc FFI: Don't force zero terminator on string to array conversion. 2011-01-24 15:51:33 +01:00
Mike Pall
96ef87bdfd Clear bytecode penalty cache in jit.flush(). 2011-01-23 19:06:19 +01:00
Mike Pall
ef3b209127 FFI: Fix ffi.load() error message on Windows. 2011-01-23 14:28:01 +01:00
Mike Pall
72b3fff72f FFI: Simplify initializer rules. Clarify docs. 2011-01-23 14:23:21 +01:00
Mike Pall
f529d22869 Another fix for the trace flush logic. I'll get this right someday.
Thanks to David Manura.
2011-01-22 20:32:23 +01:00
Mike Pall
e985aeda84 FFI: Add preliminary FFI documentation (still incomplete). 2011-01-20 22:14:17 +01:00
Mike Pall
8396c3cdbc PPC: Fix ipairs() for keys in the hash part. 2011-01-20 12:25:56 +01:00
Mike Pall
6bce6b118e Add compile-time option LUAJIT_ENABLE_CHECKHOOK. Disabled by default.
This checks for asynchronously set hooks from compiled code.
2011-01-19 02:05:37 +01:00
Mike Pall
d20e53c322 Combine i8/u8 XLOAD with BAND+comparison into test byte mrm, imm8. 2011-01-19 02:05:26 +01:00
Mike Pall
8407ac0eca Add volatile XLOADs. 2011-01-19 02:05:12 +01:00
Mike Pall
925050fe3f Differentiate between IR_KPTR and IR_KKPTR.
IR_KPTR holds a const pointer to possibly non-const content.
IR_KKPTR holds a const pointer to definitely const content.
Note that only content known by the VM to be const qualifies.
Content tagged as const by users (e.g. const char *) doesn't.
2011-01-19 00:40:03 +01:00
Mike Pall
685dfc3172 Fix for the fix for the trace flush logic. 2011-01-18 22:17:27 +01:00
Mike Pall
751eff9f97 Cleanup and fix trace flush logic. 2011-01-18 21:08:23 +01:00
Mike Pall
f385af7084 FFI: Record 64 bit integer comparisons and pointer comparisons. 2011-01-17 01:23:04 +01:00
Mike Pall
83d8c86bbb FFI: Record conversions from bool ctype. 2011-01-17 01:21:57 +01:00
Mike Pall
66ba1e68aa Add trace recorder infrastructure for instruction post-processing. 2011-01-17 01:20:10 +01:00