9eec019e9b
Remove initial-quot feature
2009-06-15 13:07:15 -05:00
14b4b79a37
compiler.cfg.linear-scan.resolve: fix compile error
2009-06-14 17:00:52 -05:00
48c31d441c
Add some failing unit tests exposing bugs in initial-quot: implementation
2009-06-13 18:34:27 -05:00
941d7a1eeb
Various linear scan fixes
...
insert spill before reload to fix x86-32 regression
inactive splitting: if all inactive intervals' registers are in use, don't fail
fix stack analysis tests
2009-06-13 17:35:40 -05:00
d09ece8152
Split up compiler.cfg.linear-scan.allocation into a number of sub-vocabularies; start work on compiler.cfg.linear-scan.resolve; start work on inactive interval splitting
2009-06-11 17:55:14 -05:00
e4bce2615f
compiler.cfg: add a declaration to fix tools.deploy.test.11
2009-06-09 03:36:16 -05:00
a61a992bfd
cpu.x86.assembler: IMUL2 instruction was busted for immediate operands
...
When given a register and an immediate, it would generate imul imm,dst,dst however the 64-bit prefix was generated wrong and if dst was an extended register only the first operand would be an extended register. To fix this, change IMUL2 to not work on immediates anymore, and added a new IMUL3 that takes a destination register, source register, and immediate. Also, change compiler.cfg.two-operand to not two-operandize %mul-imm, since this isn't needed anymore.
This fixes the sporadic benchmark.tuple-arrays crash on 64-bit machines.
2009-06-08 21:15:52 -05:00
02fafdbec1
Merge branch 'master' of git://factorcode.org/git/factor
2009-06-07 21:46:41 -05:00
0d265fe016
Remove %dispatch-label since its tehe same on all platforms; fix %gc on PowerPC
2009-06-07 21:46:28 -05:00
e1d13d8ee7
Linear scan: implement live range intersection
2009-06-06 01:04:12 -05:00
d830838ffa
compiler.cfg.optimizer: disable CFG checker by default
2009-06-05 18:07:22 -05:00
ad5ef2a3cc
Linear scan: correctly compute live spill slots
2009-06-05 18:06:47 -05:00
26152bd83c
compiler: more informative trace-compilation
2009-06-05 17:32:37 -05:00
2b49600f42
compiler.cfg.checker: run if a variable is set
2009-06-05 17:32:12 -05:00
ee67b7c9a8
compiler.cfg.linear-scan: re-do interval splitting to operate on live ranges; add inactive set processing
2009-06-04 18:53:02 -05:00
fd710385e5
cpu.x86: fix small register intrinsics on x86-64
2009-06-03 03:22:46 -05:00
9096acea6f
Linear scan: build live ranges
2009-06-03 03:22:27 -05:00
c6326b0177
Merge branch 'master' of git://factorcode.org/git/factor
2009-06-02 18:30:25 -05:00
7aca076408
GC checks now save and restore registers
2009-06-02 18:23:47 -05:00
086bf4c003
fix load error
2009-06-01 09:34:28 -05:00
b52bdf60e4
Fix for recent word renaming
2009-06-01 03:19:35 -05:00
3de85158de
Merge branch 'master' into global_optimization
2009-06-01 03:12:32 -05:00
0654e8fc51
Remove obsolete optimization
2009-06-01 03:05:49 -05:00
a07279bf6d
Fix compiler errors
2009-06-01 03:00:10 -05:00
fc9e9a0ab1
Code cleanup
2009-06-01 02:32:42 -05:00
096803e58f
Redo compiler.codegen.fixup and get %dispatch to work
2009-06-01 02:32:36 -05:00
64114947d2
Various improvements aimed at getting local optimization regressions fixed:
...
- Rename _gc to ##gc
- Absolute labels are now supported
- Generate _dispatch-label
2009-05-31 23:28:08 -05:00
6ac52761c6
Fix loop handling in stack-analysis
2009-05-31 19:04:26 -05:00
0375ce6bb4
Fix scoping issue in compiler.cfg.linear-scan.assignment
2009-05-31 18:21:23 -05:00
fd70adf39e
Rename _gc to ##gc
2009-05-31 18:21:11 -05:00
57d9d9f961
Split off local-optimization combinator into compiler.cfg.local, factor out CFG -> MR into compiler.cfg.mr, split off GC check insertion into a new compiler.cfg.gc-checks pass
2009-05-31 12:20:46 -05:00
2ea8212968
Start cleaning up stack analysis
2009-05-30 13:22:30 -05:00
968a9bb666
Various codegen improvements:
...
- new-insn word to construct instructions
- cache RPO in the CFG
- re-organize low-level optimizer so that MR is built after register allocation
- register allocation now stores instruction numbers in the instructions themselves
- split defs-vregs into defs-vregs and temp-vregs
2009-05-29 13:11:34 -05:00
5a5afcbfaa
On second thought, linearization will be done after SSA destruction so live-in is accurate
2009-05-29 05:45:40 -05:00
fbefd02bfb
Put GC checks in the right place when linearizing, and generate _dispatch-labels
2009-05-29 05:36:04 -05:00
40949800bf
Fixing various bugs; alias analysis wasn't handling ##phi nodes, stack analysis incorrectly handled height-changing back edges and ##fixnum-*, clean up ##dispatch generation
2009-05-29 01:39:14 -05:00
cef9ac778b
compiler.cfg.alias-analysis: ##peek needs to set alias class of output value
2009-05-28 18:19:01 -05:00
6b81b3e055
compiler.cfg.liveness: correct handling of phi nodes
2009-05-28 17:54:27 -05:00
4c05bc4f10
Test updates
2009-05-28 02:50:07 -05:00
9987f272b0
CFG checker now checks consistency of successors and predecessors lists; fix long-standing bug in useless-blocks optimization
2009-05-28 02:49:51 -05:00
4292033da6
Fix alias analysis
2009-05-28 02:48:58 -05:00
1fc830a99e
Add a with-scope so that optimize-tree doesn't pollute namespace
2009-05-27 18:58:54 -05:00
64da54234d
Fixing local optimizations
2009-05-27 18:58:41 -05:00
fe44ce2821
Better CFG checker
2009-05-27 18:58:14 -05:00
dd8152f7bb
Add phi elimination pass
2009-05-27 18:58:01 -05:00
3954c3fdc3
Add a new ##allocation union to remove some code duplication
2009-05-27 18:55:49 -05:00
a29317df5f
Remove old local DCE pass
2009-05-27 17:55:15 -05:00
1242a3a411
New local-optimization combinator removes some boilerplate
2009-05-26 19:56:56 -05:00
25805f9bfe
Refactoring low-level optimizer to support stack analysis pass
2009-05-26 19:31:19 -05:00
957bc53d4b
Move maybe-set-at to assocs
2009-05-26 18:45:37 -05:00
Slava Pestov
Slava Pestov
Doug Coleman