422dd24bad
alien.complex: fix tests
2009-08-11 14:07:33 -05:00
26859a45eb
various doc fixes
2009-08-11 16:58:47 +02:00
f8405e9c55
A number of documentation fixes.
...
* Short-circuit combinators now show correct stack effect for quots
* Groups and Clumps unchecked examples corrected, made runnable in listener
* Class operations had duplicate link to class-types
* Protocol slots readability fixed
* Tuple word property for "tuple-layout" corrected to "layout"
* cond>quot sentence started in lowercase
* Method precedence code example missing stack effect for GENERIC:, M: integer explain changed to detail an integer
* Motivation for default streams readability
* Default input and output streams duplicate readln link removed from output stream words section
* Looping combinators do description clarified
* Make philosophy missing space
* Linear order protocol duplicate after? link removed
* Parsing words readability fix
* Copied note regarding with-compilation-unit from define to define-declared and define-inline
2009-08-10 23:34:25 -07:00
c473f59554
Merge branch 'master' of git://github.com/Blei/factor
2009-08-10 16:18:19 -05:00
9fb0dcd9bd
alien: need to differentiate between the type of the result before and after boxing; the former is used by propagation for #alien-invoke nodes and the latter is used by specialized arrays. This fixes FFI unit test failures
2009-08-10 16:17:33 -05:00
230061783a
misc small documentation fixes, some fixes for factor.vim, changed permissions of vm/* to 644
2009-08-10 21:33:07 +02:00
7e35723db0
compiler.tree.propagation: be more careful with intervals, ensuring that the inferred interval of a value is a subset of the value class's interval. This improves accuracy, for example [ >fixnum 1 + >fixnum most-positive-fixnum <= ] constant-folds to true
2009-08-10 01:16:49 -05:00
50e366bbe1
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-09 16:31:03 -05:00
8a9c15ab0b
compiler.tree.escape-analysis: if the output of an #introduce node has an immutable tuple class type declaration, and it is not passed to any subroutine calls, or returned from the word, then unbox it. This speeds up vector arithmetic words on specialized arrays, because the specialized array is unboxed up-front, eliminating an indirection on every loop iteration
2009-08-09 16:29:21 -05:00
d19c403fee
alien.structs: struct-type now has a class slot; fix specialized complex-float/double arrays
2009-08-09 16:10:11 -05:00
d0fe741746
tools.deploy.shaker: strip out specialized vector words
2009-08-09 04:48:44 -05:00
cc5476c823
_gc instruction doesn't need slot to hold GC root area size, since that's just tagged-values>> length
2009-08-09 03:08:13 -05:00
1cb0f3370b
math.vectors.specialization: first attempt at some call site splitting for vector ops. Specialized array types generate customized variants of all vector words, if input types are known at compile time, a call to the specialized version is inserted
2009-08-09 03:07:33 -05:00
687454878a
compiler.cfg.linearization: change order to fit older unit tests
2009-08-08 23:06:57 -05:00
83e0c60573
tools.test: flush the output stream
2009-08-08 23:03:53 -05:00
e400d80d8b
More accurate interval inference for mod, rem, and propagation can now infer intervals in the case where a value might be f. so, [ [ 127 bitand ] [ drop f ] if dup [ 0 >= ] [ not ] if ] now constant-folds down to 't'!
2009-08-08 23:03:45 -05:00
61ea749bb6
More accurate interval-mod and interval-rem
2009-08-08 22:01:12 -05:00
24a50c8006
compiler.cfg.two-operand: sometimes we can eliminate a copy in the x = y <op> y case
2009-08-08 20:03:42 -05:00
55acddef3f
compiler.cfg.representation: OK to unbox output of ##load-reference globally
2009-08-08 20:03:13 -05:00
d0c393aa60
compiler.cfg: new system to track when results of analyses need to be recomputed (reverse post order, linear order, predecessors, dominance, loops). Passes can now call needs-predecessors, needs-dominance, needs-loops at the beginning, and cfg-changed, predecessors-changd at the end. Linearization order now takes loop nesting into account, and linear scan now uses linearization order instead of RPO.
2009-08-08 20:02:56 -05:00
11dc0a23a8
compiler.cfg.ssa.liveness: fix tests
2009-08-08 16:15:45 -05:00
1bf8a0cac7
compiler.cfg.representations: emit-conversion should not be private since CSSA construction uses it
2009-08-08 04:13:30 -05:00
4b7ba38aab
compiler.cfg: virtual registers are integers now, and representations are stored off to the side. Fix bug in representation selection that would manifest if a value was used as a float and a fixnum in different branches; cannot globally unbox float in this case
2009-08-08 04:02:18 -05:00
e21ca289c3
compiler.cfg.representations: new pass to make global unboxing decisions, relies on new compiler.cfg.loop-detection pass for loop nesting information
2009-08-08 00:24:46 -05:00
b85d842ca6
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-07 17:45:09 -05:00
725280d424
Split off the notion of a register representation from a register class
2009-08-07 17:44:50 -05:00
fb80f21d75
help.tutorial: minor tweaks
2009-08-07 14:54:51 -05:00
2e73038043
Revert basis UI gadget changes
2009-08-06 16:46:48 -05:00
6f607ed5a9
fixed ui.gadgets.tables multi-selection bug
2009-08-06 16:31:35 -05:00
827d30a95b
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-06 15:40:57 -05:00
a621e381e3
merged control extras into basis
2009-08-06 15:19:28 -05:00
ef97fdf0c5
ui.gadgets.tables: some band-aid fixes
2009-08-06 01:28:30 -05:00
7734bd9bcd
vocabs.hierarchy: fix load-all
2009-08-05 23:08:14 -05:00
fde421a880
Merge branch 'bogie'
2009-08-05 23:04:49 -05:00
b4f97dc632
vocabs.hierarchy: load word now tries to load the vocab named by the prefix itself
2009-08-05 23:04:34 -05:00
926797d485
ui.gadgets.tables: more fixes
2009-08-05 22:56:08 -05:00
dba67b1815
ui.gadgets.tables: little cleanup
2009-08-05 22:45:56 -05:00
805b0b2430
Merge branch 'master' of git://github.com/bogiebro/factor into bogie
2009-08-05 22:20:40 -05:00
a352e7411e
reindented ui.gadgets.tables
2009-08-05 21:29:48 -05:00
370f4c081d
compiler.cfg: convert code into two-operand form before SSA destruction; SSA destruction now operates on a relaxed SSA form where multiple defs of the same vreg are allowed, but only within a single basic block. This makes linear scan's coalescing redundant, allowing it to be removed completely
2009-08-05 18:57:46 -05:00
eb3bd1edea
cpu.x86.assembler: make some words private
2009-08-05 18:30:42 -05:00
e426bc4be8
moved patterns to persistency for new db prep
2009-08-05 16:45:22 -05:00
0c4b9a0d58
simplified ui.gadgets.tables
2009-08-05 16:24:56 -05:00
b1a85133dc
http.server.rewrite: fix typo in docs
2009-08-05 03:35:31 -05:00
97ec3ea1b4
compiler.graphviz: add high-level IR call graph rendering
2009-08-05 03:33:06 -05:00
fb03a93763
compiler.tree.recursive: have to check tail call flag of call tree edges too
2009-08-05 02:14:49 -05:00
50fd4f17c3
Oops
2009-08-05 01:15:06 -05:00
eb0ecb68cd
ui.tools.debugger: (:edit) got renamed to edit-error
2009-08-04 21:14:43 -05:00
3b2fd98e7c
Refactor source-file-errors a little bit to remove some code duplication, and so that clicking 'Edit' in error list tool works for parse errors in unit tests
2009-08-04 21:01:21 -05:00
c3d60e5899
compiler.tree.recursive: more accurate loop detection
2009-08-04 19:18:40 -05:00
eed4f4dcfc
compiler.tree.recursive: add some more more loop detection tests
2009-08-04 16:23:14 -05:00
70428241bd
textmate bundle scaffolding
2009-08-04 16:05:37 -05:00
9aba341bdb
furnace.sessions: fix tests, requests must have a method set now
2009-08-03 21:26:06 -05:00
1145f49a47
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-03 20:09:05 -05:00
5d19f868fb
fix using list
2009-08-03 17:32:56 -05:00
be0d134ebe
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-03 15:00:21 -05:00
841fc3a89a
http.server.rewrite generalizes furnace.actions rest slot, so mention this in the docs
2009-08-03 15:00:05 -05:00
181d9ca07d
http.server.rewrite: facility for making URLs prettier, and dynamic dispatching on the first part of a host name. Doug go nuts
2009-08-03 14:58:56 -05:00
3857006b71
Move furnace.actions:{param,params} and furnace.utilities:request-params to http.server
2009-08-03 14:58:18 -05:00
e5114aa510
bootstrap.compiler.timing: fix load error
2009-08-03 13:34:28 -05:00
b49e4c9c9b
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-03 10:31:27 -05:00
d286a7f426
compiler.cfg.critical-edges: no longer neededed
2009-08-03 10:31:00 -05:00
07b34c6d0a
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-03 10:13:27 -05:00
a211054962
textmate bundle work- stopped by modules bug
2009-08-03 10:12:20 -05:00
d20d335447
compiler.cfg.stacks: more accurate deconcatenatization inserts fewer partially redundant ##peeks. 11% improvement on benchmark.beust2, 2% reduction in ##peek and ##replace instructions inserted
2009-08-03 07:08:28 -05:00
720bfe378f
compiler.cfg.stacks.uninitialized: use bitand instead of min
2009-08-03 06:03:38 -05:00
89305e0bcb
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-03 01:02:14 -05:00
30fde00570
help.html: fix vocab help generation
2009-08-03 01:02:00 -05:00
63e5b0d6d8
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-02 23:16:52 -05:00
a2fe9f1952
[ [ ... ] bi@ <=> ] sort => [ ... ] sort-with
2009-08-02 20:13:59 -05:00
7c5ef08aab
[ [ ... ] compare ] sort => [ ... ] sort-with
2009-08-02 20:09:23 -05:00
dac7edd2ab
compiler.cfg.def-use: remove compute-def-use word, passes have to call compute-defs or compute-uses now; compiler.cfg.ssa.liveness: don't compute dominance and def-use first since destruction does already
2009-08-02 19:12:32 -05:00
df6c87d350
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-02 18:46:27 -05:00
32d9102feb
Revert "SSA destruction uses new SSA liveness checking"
...
This reverts commit 98c7de8410
2009-08-02 18:41:31 -05:00
a15b20a671
Revert "compiler.cfg.liveness.ssa: remove"
...
This reverts commit 6144fee101
2009-08-02 18:41:16 -05:00
665b3921d1
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-02 18:25:37 -04:00
f7a53811c1
Merge branch 'master' of git://factorcode.org/git/factor
...
Conflicts:
basis/compiler/cfg/ssa/liveness/liveness-tests.factor
2009-08-02 18:23:49 -04:00
634e1dd525
compiler.cfg.liveness.ssa: remove
2009-08-02 17:19:01 -05:00
16a7ba35d2
Merge branch 'master' of git://github.com/alaricsp/factor
2009-08-02 17:15:26 -05:00
765efc1a66
Removing phi-outs set in SSA liveness checking
2009-08-02 18:15:18 -04:00
777bda70dc
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-02 17:07:06 -05:00
8a8ebcb908
compiler.cfg.ssa.liveness: fix unit tests
2009-08-02 17:06:35 -05:00
3b78d03e2a
minor SSA liveness code reorganization
2009-08-02 18:05:51 -04:00
cf7ab59fb7
SSA destruction uses new SSA liveness checking
2009-08-02 18:04:45 -04:00
d349cc565a
def-use puts phi uses in respective predecessors
2009-08-02 18:04:07 -04:00
8dacd82707
FNV1 and FNV1a hashes implemented for 32, 64, 128, 256, 512, and 1024 bit widths.
2009-08-02 18:16:55 +01:00
73e7ead209
compiler.cfg.ssa.destruction: add optimization from old destruction pass: don't run on CFGs that have no phi instructions
2009-08-02 10:57:27 -05:00
ba55633b19
compiler.cfg.ssa.interference: cleanup
2009-08-02 10:35:02 -05:00
82c1106945
compiler.cfg.ssa.destruction: new implementation: simpler and more correct
2009-08-02 10:26:52 -05:00
c1c8424605
Compiler speedups
2009-08-02 09:16:21 -05:00
8aa41672ca
compiler.cfg.ssa.destruction.copies: factor out add-instructions combinator into compiler.cfg.utilities
2009-08-02 08:20:50 -05:00
cff5976a0d
Move compiler.cfg.ssa.destruction.interference to compiler.cfg.ssa.interference
2009-08-02 08:15:36 -05:00
87e13db946
compiler.cfg.ssa.destruction.interference: fix a bug and add unit tests
2009-08-02 08:11:30 -05:00
7ec288b013
compiler.cfg.debugger: fix load error
2009-08-02 08:11:04 -05:00
b5a978d4e5
compiler.cfg.ssa.destruction: add some unit tests
2009-08-02 06:17:44 -05:00
c61b729125
compiler.cfg.critical-edges: update ##phi nodes
2009-08-02 06:17:22 -05:00
01f51a96cd
compiler.cfg.utilities: add each-phi combinator to iterate over all ##phi instructions in a basic block
2009-08-02 06:16:58 -05:00
21489ce85e
compiler tests: add test case for coalescing bug
2009-08-02 03:49:54 -05:00
e1c7f7394a
compiler.cfg: clean up unit tests using some new utilities
2009-08-02 03:49:25 -05:00
9bde92220b
compiler.cfg.two-operand: if last instruction in a basic block is an overflowing arithmetic op of the form x = y op x, we now convert it correctly. This fixes compiler regression with benchmark.dawes after recent coalescing changes
2009-08-01 23:50:47 -05:00
Slava Pestov
Philipp Brüschweiler
Brad Christensen
Slava Pestov
Sam Anklesaria
Doug Coleman
Joe Groff
Daniel Ehrenberg
Alaric Snell-Pym