Daniel Ehrenberg
|
9abdc4d16d
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2010-05-04 09:52:34 -05:00 |
|
Daniel Ehrenberg
|
1d1fd0257a
|
Fixing scheduling for compiler changes
|
2010-05-04 09:48:16 -05:00 |
Slava Pestov
|
0d14e85cb7
|
compiler: more tests
|
2010-05-04 05:46:45 -05:00 |
|
Slava Pestov
|
9c5ea3f55a
|
compiler.cfg.value-numbering: don't use complex addressing modes unless architecture supports it
|
2010-05-04 05:46:21 -05:00 |
Slava Pestov
|
8c099dac43
|
cpu.x86: GC root offsets were computed wrong in words containing alien calls
|
2010-05-04 02:53:53 -04:00 |
|
Slava Pestov
|
d49032a402
|
compiler.tests: remove useless test from float tests; min and max are generic now, with methods on floats, so any potential inconsistency is gone
|
2010-05-04 00:07:53 -04:00 |
|
Slava Pestov
|
34bcaecb8c
|
compiler.cfg.value-numbering: fix typo in unit test
|
2010-05-03 22:11:29 -04:00 |
|
Daniel Ehrenberg
|
357afde050
|
Some fixes to merge scheduling
|
2010-05-03 17:54:46 -05:00 |
|
Daniel Ehrenberg
|
0914282c52
|
Merge branch 'master' of git://factorcode.org/git/factor into s3
Conflicts:
basis/compiler/cfg/finalization/finalization.factor
|
2010-05-03 17:29:03 -05:00 |
|
Slava Pestov
|
d0028df10b
|
compiler.cfg.empty-blocks: remove unused pass
|
2010-05-03 18:23:54 -04:00 |
|
Slava Pestov
|
705b03b92b
|
compiler.cfg.alias-analysis: storing a reference into an object now merges the reference's alias class with the heap alias class
|
2010-05-03 18:20:28 -04:00 |
|
Daniel Ehrenberg
|
e41f9bdb29
|
Merge branch 'master' into s3
Conflicts:
basis/compiler/cfg/optimizer/optimizer.factor
|
2010-05-03 17:19:28 -05:00 |
|
Slava Pestov
|
7f0469efef
|
compiler: new "binary literal area" at the end of a word's machine code stores constant floats and SIMD vectors; this allows ##load-reference/##load-memory fusion to be performed on x86-64, with a RIP-relative address reaching the data; also simplifies VM since custom relocation types used by the previous 32-bit-only optimization are no longer needed
|
2010-05-03 17:34:35 -04:00 |
|
Slava Pestov
|
b051c6cb54
|
compiler.cfg.representations: make sure that immediate operands fit
|
2010-05-03 17:34:34 -04:00 |
|
Slava Pestov
|
bc3826f73a
|
compiler.cfg.value-numbering: fix unit test for 64-bit
|
2010-05-03 17:34:33 -04:00 |
|
Slava Pestov
|
73c83333f2
|
compiler: remove flat machine representation and generate code directly from the CFG
|
2010-05-03 17:34:32 -04:00 |
|
Slava Pestov
|
121743230d
|
compiler.cfg.debugger: add ssa. word to print IR before representation selection runs
|
2010-05-03 17:34:31 -04:00 |
|
Slava Pestov
|
df25d4ca1c
|
compiler.tree.propagation: fix both-fixnums? trick
|
2010-05-03 17:34:30 -04:00 |
|
Slava Pestov
|
bb0579ecf9
|
Updating tests for recent compiler changes
|
2010-05-03 17:34:30 -04:00 |
|
Slava Pestov
|
e70c09c690
|
compiler.cfg.linear-scan.assignment: spill slot representation logic was backwards, just like Factor
|
2010-05-03 17:34:29 -04:00 |
|
Slava Pestov
|
c724550291
|
compiler.cfg: fuse ##load-integer/##load-reference into ##replace to form ##replace-imm
|
2010-05-03 17:34:28 -04:00 |
|
Slava Pestov
|
90b945eaa0
|
compiler: add ##load-vector instruction to avoid wasting a temporary register on x86-32
|
2010-05-03 17:34:28 -04:00 |
|
Slava Pestov
|
3b0751d35d
|
compiler.cfg.copy-prop: optimistic copy propagation
|
2010-05-03 17:34:26 -04:00 |
|
Slava Pestov
|
e2f164a52f
|
compiler.cfg: cleanup
|
2010-05-03 17:34:26 -04:00 |
|
Slava Pestov
|
d8fc595383
|
compiler.cfg: clean up ##phi literals in tests
|
2010-05-03 17:34:24 -04:00 |
|
Slava Pestov
|
460f163014
|
compiler.cfg.linear-scan: clean up spill slot assignment
|
2010-05-03 17:34:24 -04:00 |
|
Slava Pestov
|
ad55659485
|
compiler.cfg.ssa.detruction: coalesce different representations in more cases
|
2010-05-03 17:34:22 -04:00 |
|
Slava Pestov
|
c35eba5e34
|
compiler.cfg.alias-analysis: write unit tests and fix redundant store elimination
|
2010-05-03 17:34:22 -04:00 |
|
Slava Pestov
|
ee890ed1cc
|
compiler.cfg.debugger: clean up and make it more flexible
|
2010-05-03 17:34:22 -04:00 |
|
Slava Pestov
|
8849e370ca
|
Register allocation now uses SSA properties to coalesce values with different representations
|
2010-05-03 17:34:20 -04:00 |
|
Slava Pestov
|
16566506f1
|
compiler.cfg: remove unused 'reps' slot from compiler.cfg, and re-organize things in preparation for SSA register allocation
|
2010-05-03 17:34:18 -04:00 |
|
Slava Pestov
|
d38dbdabce
|
compiler.cfg.linear-scan: cleanups
|
2010-05-03 17:34:18 -04:00 |
|
Slava Pestov
|
03bd160f08
|
Code cleanups
|
2010-05-03 17:34:17 -04:00 |
|
Slava Pestov
|
813eabadc6
|
compiler.cfg.gc-checks: move phi instructions into GC check block, to ensure correct behavior
|
2010-05-03 17:34:17 -04:00 |
|
Slava Pestov
|
fc7a1ad8b3
|
New GC checks work in progress
|
2010-05-03 17:34:16 -04:00 |
|
Slava Pestov
|
9b770c09fb
|
compiler.tree.propagation: fix tests
|
2010-05-03 17:34:14 -04:00 |
|
Slava Pestov
|
6f28468e6d
|
compiler.codegen: cleanup
|
2010-05-03 17:34:14 -04:00 |
|
Slava Pestov
|
e4ce0d92f2
|
compiler.cfg.linear-scan.resolve: fix incorrect behavior when one physical register is used with several representations in the same register class
|
2010-05-03 17:34:14 -04:00 |
|
Slava Pestov
|
6b3aeeb414
|
compiler.cfg.linear-scan: don't insert a _reload if the register is going to be overwritten anyway
|
2010-05-03 17:34:14 -04:00 |
|
Slava Pestov
|
fd84bb98bc
|
strings: move string-nth primitive out of the VM and into the library
|
2010-05-03 17:34:12 -04:00 |
|
Slava Pestov
|
73c34341d7
|
compiler.cfg.representations: simplify a little
|
2010-05-03 17:34:11 -04:00 |
|
Slava Pestov
|
808be63c07
|
compiler.cfg.representations: add peephole optimizations for integer comparisons
|
2010-05-03 17:34:11 -04:00 |
|
Slava Pestov
|
8af111577c
|
compiler.cfg.representations: fix various bugs
|
2010-05-03 17:34:11 -04:00 |
|
Slava Pestov
|
9b130730b6
|
compiler.cfg.representations: add more peephole optimizations to reduce fixnum tagging and untagging overhead
|
2010-05-03 17:34:11 -04:00 |
|
Slava Pestov
|
31cd3ff574
|
compiler.cfg.value-numbering: more cleanups
|
2010-05-03 17:34:10 -04:00 |
|
Slava Pestov
|
7982a3f92e
|
compiler.cfg.value-numbering: identify VNs with their representative vregs, eliminating the vn>vreg hash
|
2010-05-03 17:34:10 -04:00 |
|
Slava Pestov
|
a4c5525a56
|
compiler.cfg.value-numbering: maintain a VN to instruction mapping. This eliminates all instances of expression inspection, allowing the auto-generated expression classes to be removed
|
2010-05-03 17:34:09 -04:00 |
|
Slava Pestov
|
2764cc81e2
|
compiler.cfg.value-numbering: remove constant -vs- literal distinction
|
2010-05-03 17:34:09 -04:00 |
|
Slava Pestov
|
c400c7e78a
|
compiler.cfg.ssa.liveness: remove unused pass
|
2010-05-03 17:34:08 -04:00 |
|
Slava Pestov
|
b9e27d1c82
|
compiler.cfg.builder: fix unit tests
|
2010-05-03 17:34:08 -04:00 |