5c7aaa0473
compiler.cfg.ssa: fixing test failures
2010-06-15 17:18:51 -04:00
fb4de47abf
Add GC maps to ##box, ##box-long-long, ##alien-invoke, ##alien-indirect and ##call-gc; remove ##gc-map instruction
2010-06-14 19:39:46 -04:00
a08295d9b7
GC maps for more compact inline GC checks
2010-06-11 20:06:00 -04:00
ba143db496
compiler.cfg.intrinsics.simd: intrinsic support for double-2>float-4 conversion
2010-06-01 00:34:50 -07:00
e65a1b301a
cpu.x86.64: callback prologue was clobbering 5th parameter register on x86-64
2010-05-23 03:00:53 -04:00
b8ec5c6176
Stack allocation improvements
...
- New with-out-parameters combinator
- Inhibit tail call optimization in frames with local allocation, to ensure that passing a stack allocated value to the last word in the quotation works
- local allocations are now aligned properly
- spill slots are now aligned properly aligned in frames which have parameter and local allocation areas
2010-05-22 02:37:00 -04:00
0f935bfbde
compiler.cfg.builder.alien: use ##local-allot to fix value struct passing on Win64
2010-05-19 01:53:32 -04:00
bcf7a5e15e
Use ##local-allot to simplify longlong unboxing
2010-05-19 01:07:22 -04:00
70f6717713
compiler.tree.propagation.known-words: fix load error
2010-05-19 00:51:03 -04:00
84e7076474
alien.data: add with-scoped-allocation combinator for stack-allocating C data
2010-05-19 00:33:36 -04:00
5dd2115665
compiler.cfg: generalize ##prepare-struct-caller instruction to alloca()-like ##local-allot
2010-05-19 00:33:15 -04:00
fbc222a8dc
compiler.tests: fix test for generalizations change
2010-05-18 23:08:37 -04:00
f6430de98a
cpu.x86.x87: compares were clobbering ST0
2010-05-18 19:18:53 -04:00
50b43806e8
alien.libraries, stack-checker.alien: check user inputs more carefully to ensure that invalid ABI descriptors don't slip through and break random stuff (reported by prunedtree)
2010-05-18 18:46:31 -04:00
c0f39aa99d
Move remaining sequence operations from generalizations to sequences.generalizations where they belong
2010-05-18 18:36:47 -04:00
dda4f134ba
compiler.cfg.value-numbering: constant folding for ##shuffle-vector
2010-05-18 04:22:21 -04:00
c39344da1a
compiler.cfg.value-numbering: add constant folding for ##gather-vector instructions, and fix ##scalar>vector constant folding for integers
2010-05-18 03:56:07 -04:00
66e9bed2d8
cpu.x86: add x87 codegen for Model T enthusiasts
2010-05-17 11:35:47 -04:00
9f53b638f6
compiler.cfg.ssa.interference: implement linear-time interference test
2010-05-17 05:50:13 -04:00
58447d94fa
compiler.cfg.ssa.interference.live-ranges: compute correct live ranges for ##phi instructions
2010-05-17 05:50:13 -04:00
1f8af8d794
compiler.cfg.linear-scan: fix typo
2010-05-17 05:50:13 -04:00
ed04758ad6
cpu.x86: get rid of this extra-stack-space nonsense
2010-05-17 02:14:44 -04:00
0f5d9d368a
compiler.cfg: refactor stack frame code and fix frame pointer usage in callbacks
2010-05-16 21:04:40 -04:00
c83c850080
compiler: hack to make XCreateIC() work on x86-64
2010-05-16 04:49:53 -04:00
99757a8e0b
Merge branch 'master' of git://factorcode.org/git/factor
2010-05-16 04:10:03 -04:00
3356661d11
Fixes for FFI changes
2010-05-16 04:09:47 -04:00
7982bdd8f9
compiler.cfg.intrinsics.simd: use ^^select-vector for simd constant nth when available
2010-05-16 00:50:20 -07:00
bf27af58f4
compiler.cfg.instructions: ##select-vector instruction mapping to SSE4 PEXTR*
2010-05-16 00:50:19 -07:00
35bd2bca06
FFI rewrite part 5: return value boxing and callback parameter boxing now uses vregs; simplify return value unboxing
2010-05-16 03:43:23 -04:00
79f4a59104
compiler.cfg.intrinsics.simd: use new ##gather-int-vector insns to construct int vectors when available
2010-05-15 23:59:27 -07:00
e74b0b2a7b
compiler.cfg.instructions: ##gather-int-vector-2/4 instructions that map to SSE4 PINSR/PEXTR
2010-05-15 23:48:22 -07:00
ad74f99ec1
compiler.cfg.intrinsics: intrinsic for fixnum-bit-count
2010-05-15 13:59:47 -07:00
b56adf5091
compiler.cfg.instructions: ##bit-count insn
2010-05-15 13:57:35 -07:00
374e928261
compiler.cfg.value-numbering.comparisons: ##test-imm rewrite rule must check that the immediate fits
2010-05-15 03:19:24 -04:00
bd55712f82
compiler: fix bad unit test
2010-05-14 18:37:11 -04:00
0dbc9eaae0
compiler.cfg: more silly optimizations
2010-05-14 18:37:09 -04:00
210e88b901
compiler.cfg.instructions: change vreg-insn from a mixin into a superclass
2010-05-14 18:37:09 -04:00
5ac0252f04
compiler.cfg.linear-scan: pointless optimizations
2010-05-14 18:37:08 -04:00
b5cde08732
compiler.cfg.ssa.live-ranges: clean up
2010-05-14 18:37:08 -04:00
9bb3c0d71b
compiler.cfg.alias-analysis: simplify and speed up
2010-05-14 18:37:07 -04:00
5a36954a86
compiler.cfg: use x86 TEST instruction to optimize 'bitand 0 ='
2010-05-14 18:37:06 -04:00
40c75a996e
math.vectors.simd.intrinsics: fix scalar fallback for (simd-vshuffle2-elements)
2010-05-14 02:47:39 -07:00
e96a7a8c5e
compiler.cfg.intrinsics.simd: mod shuffle indices for shuffle-2-vectors-imm intrinsic so they wrap like a real instruction would
2010-05-14 01:20:05 -07:00
f202c97b52
math.vectors.simd.intrinsics: (simd-vshuffle2-elements) intrinsic that creates a vector by selecting elements from two input vectors. use ##shuffle-vector-halves-imm to implement for double-2s with SSE
2010-05-14 01:16:29 -07:00
1c96a37e47
compiler.cfg.instructions: ##shuffle-vector-halves-imm insn to map to SSE's two-input SHUFPS/SHUFPD
2010-05-14 00:20:21 -07:00
db0f40e481
compiler: small fixes and cleanups
2010-05-13 02:48:20 -04:00
b336204c02
compiler.cfg.builder.alien: fix for x86-32
2010-05-12 18:07:11 -04:00
5e290d5648
Refactor x86-32 stack cleanup logic
2010-05-12 02:09:11 -04:00
09e1cf58be
Temporary fixes for x86-32 until FFI boxing is rewritten
2010-05-12 01:41:49 -04:00
5a102c717d
Eliminate compiler.alien
2010-05-11 23:24:47 -04:00
Slava Pestov
Joe Groff
Slava Pestov