40b4b3ad89
compiler.cfg.loop-detection: more use of hash-sets.
2013-03-08 12:38:50 -08:00
f8b8ab370e
compiler.cfg.write-barrier: more use of hash-sets.
2013-03-08 12:30:37 -08:00
6e167aeb19
compiler.cfg.ssa.construction: more use of hash-sets.
2013-03-08 12:24:06 -08:00
ebe0586772
compiler: fix stack effects to indicate visited is same object.
2013-03-08 12:16:02 -08:00
bb673c72d0
compiler: use hash-sets to track visited sets.
2013-03-08 11:04:47 -08:00
dc89883dc3
compiler.cfg.alias-analysis: use clear-set.
2013-03-07 21:35:00 -08:00
a0aaae5b17
compiler.cfg.liveness: Break the infinite loop--add the base-pointer as f to start with, and replace it with the real one if there's not a circular chain. Fixes #22 again.
2013-01-01 14:47:54 -08:00
471db8c7dd
compiler.cfg.liveness: Add parallel-copy method for lookup-base-pointer*. Adjust lookup-base-pointer* stack effect to take two parameters. Still retain stack overflows, but more correct now...
2013-01-01 14:16:51 -08:00
71d7b7eda0
compiler.cfg.renaming.functor: fix ##parallel-copy methods
2012-12-31 11:26:46 -08:00
a5fa5b3f65
compiler.cfg.ssa.destruction.leaders: break off leader-map to resolve circular dependencies (oops)
2012-12-31 11:20:57 -08:00
cd94b843cf
compiler.cfg.liveness: still kill defs by leaders, but keep original
...
vregs in the live-sets so accurate info (e.g., representations) can
still be looked up (issue #22 )
2012-12-31 11:05:05 -08:00
9a2504455b
compiler.cfg.ssa.destruction: alien-call-insns are too hairy to coalesce (issue #22 )
2012-12-31 11:04:57 -08:00
3a1cdb7b3f
compiler.cfg.liveness: look up leaders (if possible) so liveness analysis doesn't break after leaving SSA (issue #22 )
2012-12-31 11:04:52 -08:00
fe55eff6d2
compiler.cfg.parallel-copy: make sure new vregs used to break cycles in parallel-copy-rep update the leader-map (issue #22 )
2012-12-31 11:04:44 -08:00
0ea635a1c9
compiler.cfg.ssa.interference.live-ranges: fix kill-indices for ##parallel-copy (issue #22 )
2012-12-31 11:04:38 -08:00
18beab8e12
compiler.cfg.ssa.cssa: split the definitions of ##phis so live-ranges don't interfere (issue #22 )
...
See the explanation after the proof of Lemma 1 in "Revisiting Out-of-SSA
Translation for Correctness, Code Quality, and Efficiency" (Boissinot et
al.) for why this is necessary.
2012-12-31 11:04:26 -08:00
6246b4dce1
starting point - Fix bootstrap; I broke it in merging. Disable environment variables because the compiler isn't loaded yet and can't call C ffi functions, and tools.test loads this vocab.
...
Disable intrinsics in cpu.x86.64 for now, since they invoke the compiler
Fix ##branch renaming to ##branch,
To work on this branch:
./factor -include=math -i=boot.image
./factor -run=listener
USE: compiler USE: tools.test save
enable-optimizer
Error message is now:
T{ vregs-shouldn't-interfere f 409 424 }
2012-12-31 11:03:45 -08:00
cbd276821a
WIP
2012-12-31 11:03:33 -08:00
bf891c9634
change some "2drop 2drop" to "4drop".
2012-10-23 12:21:30 -07:00
f2034ba5c8
compiler.cfg.copy-prop: kludge to make sure ##phis get updated
2012-09-12 15:14:11 -07:00
2afa20cc1a
move compiler.cfg.graphviz & compiler.cfg.gvn from basis to extra, just to keep organized
2012-09-12 15:14:07 -07:00
b1eb7c74b3
compiler.cfg.graphviz: tweak code & output a little
2012-09-12 15:14:06 -07:00
fa9c41b834
compiler.cfg.graphviz: refactoring
2012-09-12 15:14:06 -07:00
384561b69a
add crappy experimental code for compiler.cfg.graphviz & compiler.cfg.gvn
2012-09-12 15:14:06 -07:00
834f9a8284
compiler.cfg.representations.selection: removing 10^ in favor of 10^.
2012-09-05 09:25:26 -07:00
5de88bcd88
compiler.cfg: don't need to escape the symbol here.
2012-08-02 15:14:42 -07:00
e654e4afd9
Using "same?" in more places.
2012-07-21 10:22:44 -07:00
7104c2d7b9
using the new H{ } make.
2012-07-19 09:50:09 -07:00
9a220ef78c
namespaces: Rename ``bind`` to ``with-variables``. Update a few places that called ``global [ ] with-variables`` to use ``with-global``.
2012-07-19 00:02:47 -07:00
795c9ed26a
issue #358 : fix a couple compiler errors
2012-06-21 08:35:47 -07:00
e884ce357e
compiler: The non-optimizing compiler is too slow with smart combinators in the compiler. Speed up bootstrap by not using them.
2011-12-05 14:50:51 -08:00
eee483654a
use radix literals
2011-11-23 19:03:40 -08:00
b1a5477969
compiler.cfg.finalization: reenable scheduling
...
Prolog safepoint appears to work with it enabled
2011-11-23 11:11:27 -08:00
62e665bb88
compiler: emit safepoints in optimized prologs
2011-11-23 11:11:25 -08:00
ce205e1e3a
code beautification
2011-11-13 16:10:26 -08:00
f05bc12553
compiler: more peephole tests for shl/sar
2011-11-13 16:10:24 -08:00
2c4c04f973
compiler: add intrinsic for PMOVMSKB/MOVMSKP[SD]
...
Combined with a fast bit-count this will let us rice byte-counting.
2011-11-13 16:10:20 -08:00
8012fbdf61
Now that #foo and ##foo are symbols we can remove a bunch of \
2011-11-12 22:04:26 -08:00
b123bf31b2
compiler.cfg: Rename <##foo> to ##foo, in the low-level IR
2011-11-11 19:48:38 -08:00
cb66728b26
compiler.cfg: Change low-level IR constructors from ##foo to <##foo>
2011-11-06 23:02:46 -08:00
be9f8a99f0
Rename lookup to lookup-word.
2011-11-06 16:00:00 -08:00
41c5e41619
compiler.cfg.builder: add test to ensure that fast union predicates do not contain a conditional
2011-10-29 17:11:04 -07:00
5fa890cb20
compiler: no spurious safepoint at start of loops
2011-10-27 21:14:48 -07:00
f297b39c60
compiler.cfg.tco: clean up commented-out old code
2011-10-27 21:14:47 -07:00
4a8e1d5f0e
compiler.cfg.tco: teach TCO about safepoints
2011-10-27 21:14:46 -07:00
b0bccf49d1
compiler.cfg.builder: safepoint loops and epilogs
2011-10-27 21:14:46 -07:00
cf45e0d581
compiler: add ##safepoint IR insn
2011-10-27 21:14:46 -07:00
f05e33fa37
Fix all failures in the linux64 build email
2011-10-24 19:33:09 -07:00
96da8df16e
Rename class to class-of
2011-10-24 06:47:42 -05:00
8641187299
More cleanup of unused stuff.
2011-10-19 11:01:16 -07:00
John Benediktsson
Doug Coleman
Alex Vondrak
Slava Pestov
Alex Vondrak
Joe Groff
Slava Pestov