Slava Pestov
|
bb87d124c1
|
compiler: small fixes and cleanups
|
2010-05-13 02:48:20 -04:00 |
Slava Pestov
|
eb802208d1
|
FFI rewrite part 4: parameter and return value unboxing redesign
|
2010-05-11 19:11:44 -04:00 |
|
Slava Pestov
|
45689dbfe6
|
compiler: simplify ##unbox-small/large-struct by emitting an ##unbox-any-c-ptr first
|
2010-05-10 01:38:34 -04:00 |
|
Slava Pestov
|
4478c3a51a
|
FFI rewrite part 3: eliminate ##push-context-stack and ##pop-context-stack
|
2010-05-10 00:46:29 -04:00 |
|
Slava Pestov
|
7316d41226
|
FFI rewrite part 2: use ##peek and ##replace instructions to access stack
|
2010-05-09 23:26:43 -04:00 |
|
Slava Pestov
|
c211c3e84e
|
FFI rewrite part 1: split up ##alien-invoke and friends into smaller instructions
|
2010-05-09 21:36:52 -04:00 |
|
Slava Pestov
|
f988dad79c
|
compiler.cfg: add ##load-float instruction for single precision floating point constants
|
2010-05-07 18:26:00 -04:00 |
|
Slava Pestov
|
f5c5d8b44c
|
compiler: remove flat machine representation and generate code directly from the CFG
|
2010-05-03 17:34:32 -04:00 |
|
Slava Pestov
|
428ba9fd0f
|
compiler.cfg: fuse ##load-integer/##load-reference into ##replace to form ##replace-imm
|
2010-05-03 17:34:28 -04:00 |
|
Slava Pestov
|
9788323d25
|
compiler: add ##load-vector instruction to avoid wasting a temporary register on x86-32
|
2010-05-03 17:34:28 -04:00 |
|
Slava Pestov
|
43fc230c69
|
compiler.cfg.linear-scan: cleanups
|
2010-05-03 17:34:18 -04:00 |
|
Slava Pestov
|
95ff5ffe51
|
New GC checks work in progress
|
2010-05-03 17:34:16 -04:00 |
|
Slava Pestov
|
a9ccfa8f05
|
strings: move string-nth primitive out of the VM and into the library
|
2010-05-03 17:34:12 -04:00 |
|
Slava Pestov
|
f548a08637
|
compiler.cfg.value-numbering: remove constant -vs- literal distinction
|
2010-05-03 17:34:09 -04:00 |
|
Slava Pestov
|
f14f2cbdab
|
compiler.cfg.value-numbering: merge 'simplify' pass into 'rewrite'
|
2010-05-03 17:34:08 -04:00 |
|
Slava Pestov
|
378c2b2a46
|
compiler.cfg: add ##load-memory and ##store-memory instructions implementing complex addressing modes, and associated value numbering optimizations
|
2010-05-03 17:34:07 -04:00 |
|
Slava Pestov
|
2475699736
|
compiler.cfg: more flexible addressing for ##slot and ##set-slot
|
2010-05-03 17:34:06 -04:00 |
|
Slava Pestov
|
913b95192e
|
compiler.cfg: merge all alien accessors into ##load-memory-imm and ##store-memory-imm
|
2010-05-03 17:34:06 -04:00 |
|
Slava Pestov
|
279eb461b1
|
compiler.cfg: remove ##set-string-nth-fast instruction since it can be expressed just as efficiently using other instructions
|
2010-05-03 17:34:04 -04:00 |
|
Slava Pestov
|
2ca8d543f1
|
compiler.cfg.instructions: more typos
|
2010-05-03 17:34:02 -04:00 |
|
Slava Pestov
|
82fb1879af
|
Debugging untagged fixnums
|
2010-05-03 17:34:02 -04:00 |
|
Slava Pestov
|
5d3a7a7362
|
Untagged fixnums work in progress
|
2010-05-03 17:34:02 -04:00 |
|
Slava Pestov
|
503c0fcfde
|
compiler: Start using tagged-rep for stuff, and split up compiler.cfg.representations into several sub-vocabularies
|
2010-05-03 17:34:01 -04:00 |
|
Slava Pestov
|
2517b2fc2b
|
compiler: combine ##load-constant followed by ##alien-double into a ##load-double on x86-32, saving an integer register
|
2010-04-18 21:42:45 -05:00 |
|
Slava Pestov
|
eceabbc57e
|
compiler: new set-special-object intrinsic; more efficient special-object intrinsic
|
2010-04-01 20:09:14 -04:00 |
|
Slava Pestov
|
d98e752199
|
compiler: add intrinsic for context-object primitive
|
2010-03-27 02:56:11 -04:00 |
|
Slava Pestov
|
235f3238f5
|
Add alien-assembly form for inline assembler, works like alien-invoke except calls a user-supplied quotation instead of generating a subroutine call. Replaces FPU status control, SSE detection and read timestamp routines in vm/cpu-x86.*S
|
2010-01-07 17:39:22 +13:00 |
|
Slava Pestov
|
ba5b90e063
|
Change how non-volatile register preservation is done in alien callbacks, with the aim of fixing callbacks on PowerPC, and to eventually eliminate assembly code from VM
- Simplify calculation of offset in relocation table
- Open-code %alien-callback
- Remove magic_frame hack from context objects
- Move magical return instruction from optimizing compiler backend into callback entry stub
|
2010-01-03 01:11:51 +13:00 |
|
Slava Pestov
|
e96404327e
|
Get optimizing compiler working without global register variables in VM
|
2009-12-22 15:42:49 +13:00 |
Joe Groff
|
104c29aabc
|
simd intrinsic implementation for v*high, v*hs+, vavg, and vsad
|
2009-12-05 14:52:18 -08:00 |
|
Joe Groff
|
75d04922b9
|
Merge branch 'master' into simd-cleanup
Conflicts:
basis/math/vectors/simd/functor/functor.factor
|
2009-11-05 11:27:08 -06:00 |
|
Joe Groff
|
f6643a1c72
|
change ##horizontal-add-vector insn to better match what the HADD SSE instructions do (add adjacent pairs, pack results)
|
2009-11-04 12:18:01 -06:00 |
|
Slava Pestov
|
51e9a891a8
|
cpu.x86: update %box-displaced-alien for introduction of address field
|
2009-11-03 03:17:43 -06:00 |
|
Slava Pestov
|
e4ad642134
|
vm: 4 bit tags, new representation of alien objects makes unbox-any-c-ptr more efficient (work in progress)
|
2009-11-02 04:25:54 -06:00 |
|
Joe Groff
|
b858860a67
|
add ##shl-vector-imm and ##shr-vector-imm insn variants. use merge/shr instead of compare/merge to do signed unpacks
|
2009-10-30 00:41:19 -05:00 |
Doug Coleman
|
bd13e018dd
|
memq? -> member-eq?, sorted-memq? -> sorted-member-eq?
|
2009-10-28 15:02:00 -05:00 |
|
Slava Pestov
|
1ce39963fd
|
Working on adding support for the new write barrier to optimized code
|
2009-10-14 02:06:01 -05:00 |
|
Joe Groff
|
3bc097f6ff
|
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
|
dd691a61e8
|
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
|
f2c9eb79e2
|
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
|
34def34481
|
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
|
879fe9a665
|
fix x86 %unpack-vector insns
|
2009-10-06 20:38:51 -05:00 |
|
Joe Groff
|
529c444e32
|
add insns for vector pack, unpack, integer>float, and float>integer
|
2009-10-05 22:34:14 -05:00 |
Slava Pestov
|
b4e36608da
|
compiler.cfg: remove _gc instruction, it doesn't need to exist, and change GC checks to ensure that the right amount of space is available instead of blindly checking for 1Kb
|
2009-10-05 05:27:49 -05:00 |
|
Joe Groff
|
0c9c3d4859
|
add %merge-vector-head and %merge-vector-tail instructions to back vmerge
|
2009-10-03 21:48:53 -05:00 |
|
Joe Groff
|
4e024cbbc2
|
extend x86 %compare-vector to cover all comparison codes, sometimes stupidly for now
|
2009-10-02 23:19:56 -05:00 |
|
Joe Groff
|
38f413a8a6
|
add intrinsic for vnot/vbitnot
|
2009-10-02 20:04:28 -05:00 |
|
Slava Pestov
|
bcbdc9e0c8
|
Merge branch 'master' of git://factorcode.org/git/factor into improved-aa
|
2009-10-02 00:21:44 -05:00 |
|
Joe Groff
|
53b265f682
|
Merge branch 'master' of git://factorcode.org/git/factor
Conflicts:
basis/compiler/codegen/codegen.factor
|
2009-10-01 23:14:16 -05:00 |
|
Slava Pestov
|
31f39ce32f
|
compiler.cfg.alias-analysis: optimize ##vm-field-ptr and ##alien-global instructions, and optimize out ##compare between values of different alias classes; this optimizes '[ [ >float ] bi@ [ + ] [ - ] 2bi eq? ]' down to an o-op and removes boxing from '[ [ >float ] bi@ [ + ] [ - ] 2bi = ]'
|
2009-10-01 23:03:17 -05:00 |