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 |
|
Slava Pestov
|
2b50b9b315
|
compiler.cfg.value-numbering: merge 'simplify' pass into 'rewrite'
|
2010-05-03 17:34:08 -04:00 |
|
Slava Pestov
|
80c8a7154d
|
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
|
505b34a611
|
compiler.cfg.value-numbering: add slot addressing rewrite rule to eliminate a redundant ##add-imm from array-nth and set-array-nth
|
2010-05-03 17:34:07 -04:00 |
|
Slava Pestov
|
59fe281799
|
compiler.cfg: more flexible addressing for ##slot and ##set-slot
|
2010-05-03 17:34:06 -04:00 |
|
Slava Pestov
|
becd957d29
|
compiler.cfg: merge all alien accessors into ##load-memory-imm and ##store-memory-imm
|
2010-05-03 17:34:06 -04:00 |
|
Slava Pestov
|
3c965afd10
|
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
|
65e35b842f
|
compiler.tests.low-level-ir: update for recent changes
|
2010-05-03 17:34:04 -04:00 |
|
Slava Pestov
|
12907654d5
|
compiler.cfg.value-numbering: fix compile error
|
2010-05-03 17:34:04 -04:00 |
|
Slava Pestov
|
c94666073b
|
compiler.cfg.representations: peephole optimizations are used to simplify the case where the input to a ##shl-imm or ##sar-imm needs to be untagged
|
2010-05-03 17:34:03 -04:00 |
|
Slava Pestov
|
6403572286
|
compiler.cfg.value-numbering: new optimizations; reassociation for shifts and redistribution for shifts/multiplies over additions/subtractions
|
2010-05-03 17:34:02 -04:00 |
|
Slava Pestov
|
f000bb4bd5
|
compiler.cfg.instructions: more typos
|
2010-05-03 17:34:02 -04:00 |
|
Slava Pestov
|
80558a93fa
|
Debugging untagged fixnums
|
2010-05-03 17:34:02 -04:00 |