Joe Groff
|
22a9be5ea5
|
update existing code to use :> ( ) when possible
|
2009-10-28 16:11:33 -05:00 |
|
Joe Groff
|
33f373162d
|
fix load errors from bootstrapping
|
2009-10-28 12:51:03 -05:00 |
|
Joe Groff
|
8b6665c57e
|
update existing code for [let change
|
2009-10-27 22:05:37 -05:00 |
|
Joe Groff
|
9ea0ce5c40
|
update compiler.tree.cleanup test
|
2009-10-26 23:01:35 -05:00 |
Slava Pestov
|
496d8a990e
|
compiler.tree.propagation: fix broken corner cases in bitand and shift transforms, exposed by Hugh Aguilar's LC53 benchmark
|
2009-10-24 01:09:32 -05:00 |
|
Slava Pestov
|
47d6507548
|
compiler.tree.propagation.transforms: fix problem with 'shift' transform when input was a bignum
|
2009-10-23 07:50:56 -05:00 |
|
Slava Pestov
|
5681f67101
|
compiler: fix stack effect inference bug discovered by x6j8x; it was possible to define a word which did not compile but could be called anyway
|
2009-10-23 03:27:25 -05:00 |
|
Joe Groff
|
cee5862b69
|
update a bunch of alien-callbacks and alien-indirects to use c-type words
|
2009-10-21 21:10:11 -05:00 |
|
Joe Groff
|
4dd44a007a
|
update some naked alien-invokes to use c-type words
|
2009-10-21 18:44:00 -05:00 |
|
Joe Groff
|
a2976083be
|
generate unsigned vector comparison fallbacks using min/max or xor/signed compare
|
2009-10-20 22:30:57 -05:00 |
|
Joe Groff
|
a0a816e88a
|
generate better fallback code for vmin/vmax intrinsics
|
2009-10-20 19:22:38 -05:00 |
|
Joe Groff
|
d570e58374
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2009-10-20 17:42:29 -05:00 |
|
Joe Groff
|
218d5c7c07
|
value numbering rewrite rules for vector ops to convert "not and" to "andn" and "not andn" to "and"
|
2009-10-20 17:29:01 -05:00 |
|
Slava Pestov
|
a71212f9c4
|
cpu.x86.32: only create 16-byte parameter area if the word calls into the VM
|
2009-10-20 05:02:42 -05:00 |
|
Slava Pestov
|
9599d86ec5
|
compiler: FFI is now slightly more efficient when unboxing parameters, only changes data stack height once
|
2009-10-20 04:31:48 -05:00 |
|
Slava Pestov
|
16db1a394b
|
compiler, cpu.x86.32: clean up FFI implementation, in particular 32-bit x86-specific backend
|
2009-10-20 04:15:10 -05:00 |
Slava Pestov
|
73a3fe447a
|
compiler: fix typo in intrinsics tests
|
2009-10-19 05:16:04 -05:00 |
|
Slava Pestov
|
a62d38bff3
|
compiler: fix low-level-ir test on PowerPC
|
2009-10-19 05:03:02 -05:00 |
|
Slava Pestov
|
0a3029d9f2
|
compiler: on PPC, ANDI, ORI and XORI instructions take an unsigned 16-bit immediate, unlike ADDI, SUBI and MULLI which take a signed 16-bit immediate. The code generator was not aware of this, and so for example '[ >fixnum -16 bitand ]' would generate incorrect code. Split up small-enough? hook into immediate-arithmetic? and immediate-bitwise? and update value numbering to be aware of this. Fixes classes.struct bitfields test failure
|
2009-10-19 04:58:29 -05:00 |
|
Joe Groff
|
bff46b80a8
|
fix unsigned vector unpack
|
2009-10-16 14:25:33 -05:00 |
|
Slava Pestov
|
030d035e94
|
vm: code heap compaction at runtime using compact-gc primitive
|
2009-10-16 11:39:35 -05:00 |
|
Slava Pestov
|
ee8a112c44
|
compiler.cfg: fix unit tests
|
2009-10-15 06:01:46 -05:00 |
|
Slava Pestov
|
22e79e8495
|
compiler: tweak ##write-barrier-imm
|
2009-10-15 02:40:23 -05:00 |
|
Slava Pestov
|
bfd1f0d6d2
|
vm: rt-vm relocation now supports accessing a field directly
|
2009-10-14 19:24:23 -05:00 |
|
Slava Pestov
|
10ad5cad53
|
Working on adding support for the new write barrier to optimized code
|
2009-10-14 02:06:01 -05:00 |
|
Joe Groff
|
2577ab83a6
|
only emit ##alien-vector/##set-alien-vector insns if the rep is available
|
2009-10-10 12:53:10 -05:00 |
|
Joe Groff
|
61befc8bb1
|
have vshuffle accept simd-128 variable byte shuffles
|
2009-10-10 11:30:11 -05:00 |
|
Joe Groff
|
96be0d5748
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2009-10-10 09:17:01 -05:00 |
|
Slava Pestov
|
09fac95fad
|
compiler.tree.propagation.branches: fix live-branches computation for #dispatch nodes
|
2009-10-10 00:23:50 -05:00 |
|
Joe Groff
|
5158a12d32
|
rename ##shuffle-vector to ##shuffle-vector-imm, and add a new ##shuffle-vector for dynamic shuffles. have vshuffle use ##shuffle-vector to do word and byte shuffles on x86
|
2009-10-09 21:26:27 -05:00 |
|
Joe Groff
|
2bfcd7ed81
|
generate better code for vabs when instruction isn't available instead of using software fallback (-0.0 andn for floats, x > 0 ? x : -x for signed ints, nop for unsigned ints)
|
2009-10-09 14:24:55 -05:00 |
|
Joe Groff
|
4972fbcbc9
|
implement vneg as an intrinsic in terms of load -0, subtract
|
2009-10-09 13:16:39 -05:00 |
|
Slava Pestov
|
84306a0786
|
compiler.codegen: fix failing tests
|
2009-10-09 09:44:09 -05:00 |
|
Slava Pestov
|
8679775f17
|
Merge branch 'bitfields' of git://factorcode.org/git/factor into bitfields
|
2009-10-09 04:12:34 -05:00 |
Daniel Ehrenberg
|
373f4420e9
|
Another identity in value numbering for bitfields
|
2009-10-08 15:20:42 -05:00 |
|
Slava Pestov
|
ae707c6976
|
Merge branch 'master' into new_gc
|
2009-10-08 02:29:24 -05:00 |
|
Daniel Ehrenberg
|
ab919bab96
|
Doing constant folding on ##neg and ##not in value numbering
|
2009-10-08 01:57:54 -05:00 |
|
Daniel Ehrenberg
|
316895e6bf
|
Adding identity to propagation to remove some redundant bitands
|
2009-10-08 00:59:15 -05:00 |
|
Joe Groff
|
98836a9e2e
|
break vector compare intrinsics into %compare, %or, and %not instructions that map directly to cpu instructions
|
2009-10-07 15:27:03 -05:00 |
|
Joe Groff
|
43b51ef2eb
|
decompose %unpack-vector-head/tail into %compare-vector/%merge-vector-head/tail or %tail>head-vector/%unpack-vector-head insns when there isn't an actual unpack insn; get rid of fake x86 implementations
|
2009-10-07 14:09:46 -05:00 |
|
Joe Groff
|
0dfeb74176
|
typo in convert-to-fill-vector?
|
2009-10-07 12:53:10 -05:00 |
|
Joe Groff
|
2d79729193
|
fix ##load-constant/##scalar>vector folding when constant is a fixnum
|
2009-10-07 12:46:08 -05:00 |
|
Joe Groff
|
aee85401af
|
convert all-ones vector ##load-reference/##load-constant to a ##fill-vector insn
|
2009-10-07 12:35:21 -05:00 |
|
Joe Groff
|
a13e75f4f4
|
don't generate a ##not-vector instruction if the cpu doesn't have one; instead, fall back to a ##fill-vector/##xor-vector combo. get rid of pretend %not-vector in cpu.x86
|
2009-10-07 11:59:36 -05:00 |
|
Joe Groff
|
444624e79f
|
fix x86 %unpack-vector insns
|
2009-10-06 20:38:51 -05:00 |
|
Joe Groff
|
96cb1d5038
|
glue conversion intrinsics to instructions
|
2009-10-06 20:13:38 -05:00 |
|
Slava Pestov
|
4d0ec09d9c
|
vm: put code block owner directly in the header, instead of as the first entry in the literal table. Reduces x86-64 image size by ~700kb, also eliminates separate 'strip' set of staging images from deploy tool
|
2009-10-06 06:25:07 -05:00 |
|
Joe Groff
|
c0423d2f3f
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2009-10-05 22:34:41 -05:00 |
|
Joe Groff
|
84ecb1266d
|
add insns for vector pack, unpack, integer>float, and float>integer
|
2009-10-05 22:34:14 -05:00 |
|
Slava Pestov
|
a6953ec9ee
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2009-10-05 18:22:09 -05:00 |