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 |
|
Slava Pestov
|
ee7cfeba7b
|
compiler.cfg.linear-scan: fix unit test
|
2009-10-05 18:21:58 -05:00 |
|
Joe Groff
|
3e44e0bb02
|
rename SIMD vmerge and kids to (vmerge), make new vmerge more generally useful
|
2009-10-05 17:55:39 -05:00 |
|
Slava Pestov
|
931107397c
|
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
|
dca9d3e535
|
add %merge-vector-head and %merge-vector-tail instructions to back vmerge
|
2009-10-03 21:48:53 -05:00 |
|
Joe Groff
|
335df20713
|
add intrinsics for v<=, v<, v=, v>, v>=, vunordered?
|
2009-10-03 11:29:34 -05:00 |
|
Joe Groff
|
b1ec36a324
|
extend x86 %compare-vector to cover all comparison codes, sometimes stupidly for now
|
2009-10-02 23:19:56 -05:00 |
|
Joe Groff
|
e2e75c6b3a
|
add intrinsic for vnot/vbitnot
|
2009-10-02 20:04:28 -05:00 |
Doug Coleman
|
c10b6d4ba7
|
Merge branch 'docs' of git://github.com/klazuka/factor into klazuka
Conflicts:
basis/math/vectors/vectors-docs.factor
|
2009-10-02 15:58:45 -05:00 |
|
Joe Groff
|
e153d544eb
|
implement vand, vor, vandn, and vxor as bitwise intrinsics for simd types
|
2009-10-02 14:17:01 -05:00 |
Keith Lazuka
|
8f79ea91ba
|
docs: change $subsection to $subsections
|
2009-10-02 12:15:48 -04:00 |
|
Slava Pestov
|
d47e99dbde
|
Fix compiler.cfg.value-numbering and math.matrices.simd unit tests
|
2009-10-02 02:32:35 -05:00 |
|
Slava Pestov
|
901e0709e6
|
Merge branch 'master' of git://factorcode.org/git/factor into improved-aa
|
2009-10-02 00:21:44 -05:00 |
|
Slava Pestov
|
10a49a4613
|
compiler.cfg.alias-analysis: fix ##compare where operands are copies
|
2009-10-01 23:54:19 -05:00 |
|
Slava Pestov
|
231a2d1b71
|
Fix alias analysis of a ##compare whose input is another ##compare
|
2009-10-01 23:20:05 -05:00 |
|
Joe Groff
|
9d424a1092
|
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
|
d3acd0a530
|
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 |
|
Joe Groff
|
7b13fa4283
|
fold test-vector/branch sequences into a test-vector-branch instruction
|
2009-10-01 19:53:30 -05:00 |
|
Slava Pestov
|
6740956162
|
compiler.cfg: don't unbox the same value more than once per basic block
|
2009-10-01 19:41:23 -05:00 |
|
Slava Pestov
|
e6ff877362
|
compiler.cfg.instructions: remove ##box-float, ##unbox-float, ##box-vector, ##unbox-vector since they can be expressed in terms of ##alien-double, ##set-alien-double, ##alien-vector, ##set-alien-vector, and ##allot
|
2009-10-01 18:07:50 -05:00 |
|
Joe Groff
|
228ad950bb
|
%test-vector instruction for vany?, vall?, vnone?
|
2009-10-01 15:35:38 -05:00 |
|
Joe Groff
|
94070c11aa
|
%compare-vector instruction (only does v= for now)
|
2009-10-01 14:31:37 -05:00 |
|
Joe Groff
|
3ba79be651
|
Revert "add a %blend-vector intrinsic for v?"
This reverts commit 21e4b28b67.
|
2009-09-30 23:40:37 -05:00 |
|
Joe Groff
|
37a091a188
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2009-09-30 23:04:04 -05:00 |
|
Joe Groff
|
21e4b28b67
|
add a %blend-vector intrinsic for v?
|
2009-09-30 23:03:59 -05:00 |
|
Slava Pestov
|
65421b111b
|
math.vectors.simd: use fallbacks for hlshift, hrshift, vshuffle if parameter is not a literal;al; element access in int-4 on x86-64 now sign-extends the value; don't throw error at compile time if parameter for vshuffle does not have enough elements
|
2009-09-30 20:04:37 -05:00 |
|
Joe Groff
|
66dc030741
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2009-09-30 11:35:40 -05:00 |
|
Joe Groff
|
409bdadfb8
|
add a "test-mr." word to compiler.cfg.debugger equivalent to "test-mr mr."
|
2009-09-30 11:34:19 -05:00 |
|
Slava Pestov
|
785b9f2d43
|
compiler.cfg.value-numbering: fix overly-zealous ##compare-imm conversion
|
2009-09-30 05:09:20 -05:00 |
|
Slava Pestov
|
8e201ca4b7
|
Various minor compiler tweaks: Combine address calculation with dereferencing in alien accessors; convert SIMD XOR of a vector with itself into an XOR of the destination with itself; convert SIMD unbox of zero vector into XOR of the destination with itself; fix SIMD indexing on x86-64
|
2009-09-30 05:00:36 -05:00 |
|
Slava Pestov
|
ba3a06b745
|
compiler.cfg.value-numbering: add some more rewrite rules, neg/neg, not/not, and a few for SIMD
|
2009-09-30 02:18:29 -05:00 |