Slava Pestov
|
d8836f8927
|
compiler.cfg: Fixing test failures
|
2009-07-24 06:08:07 -05:00 |
|
Slava Pestov
|
5d9f7b0ed2
|
compiler.cfg: Major restructuring -- do not compute liveness before local optimization, and instead change local optimizations to be more permissive of undefined values. Now, liveness is only computed once, after phi elimination and before register allocation. This means liveness analysis does not need to take phi nodes into account and can now use the new compiler.cfg.dataflow-analysis framework
|
2009-07-22 03:08:28 -05:00 |
Slava Pestov
|
2e07fcdd6d
|
compiler.cfg: Fix unit tests
|
2009-07-21 22:25:19 -05:00 |
Daniel Ehrenberg
|
9ae962ded6
|
Phi elimination doesn't have the swap problem now
|
2009-07-16 22:42:13 -05:00 |
|
Slava Pestov
|
bff5a44c70
|
compiler.cfg: Fix regressions from recent changes
|
2009-07-14 20:43:06 -05:00 |
|
Slava Pestov
|
b65ef327ce
|
compiler.cfg.value-numbering: merge in compiler.cfg.branch-folding
|
2009-07-14 20:05:01 -05:00 |
|
Slava Pestov
|
bea69ea325
|
compiler.cfg.value-numbering: branch folding
|
2009-07-14 19:17:12 -05:00 |
|
Slava Pestov
|
2e6ae2153c
|
compiler.cfg.value-numbering: more optimizations
|
2009-07-14 16:05:25 -05:00 |
|
Slava Pestov
|
1e8e24946c
|
compiler.cfg.value-numbering: add some unit tests
|
2009-07-14 13:25:07 -05:00 |
|
Slava Pestov
|
a17293a828
|
compiler.cfg: update unit tests for compiler.cfg.comparisons
|
2009-07-14 12:06:55 -05:00 |
|
Slava Pestov
|
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 |
|
Slava Pestov
|
64da54234d
|
Fixing local optimizations
|
2009-05-27 18:58:41 -05:00 |
|
Slava Pestov
|
25805f9bfe
|
Refactoring low-level optimizer to support stack analysis pass
|
2009-05-26 19:31:19 -05:00 |
|
Slava Pestov
|
7f766ab355
|
Update compiler tests for tag number changes
|
2009-04-28 21:43:30 -05:00 |
|
Slava Pestov
|
44bfff7c7b
|
Rename ##load-indirect to ##load-reference since this is more descriptive; value numbering doesn't assign expressions to ##load-reference nodes since this would end up folding literals which were eq? but not =
|
2009-01-29 01:44:58 -06:00 |
|
Slava Pestov
|
4f0a9f311e
|
Untangling some dependencies
|
2008-12-08 14:58:00 -06:00 |
|
Slava Pestov
|
ab689c098b
|
Clean up direct literal code and make a first attempt at PowerPC support
|
2008-11-24 08:16:14 -06:00 |
|
Slava Pestov
|
eb05dd3a12
|
Optimize a ##dispatch that is applied to the result of a ##sub-imm or ##add-imm; this eliminates an instruction from the common 1 fixnum-fast { ... } dispatch and 8 fixnum-fast { ... } dispatch code sequences appearing in generic word expansions
|
2008-11-13 04:16:08 -06:00 |
|
Slava Pestov
|
64cbf619a9
|
Add more algebraic simplifications: comparison of a comparison, comparison where first is immediate
|
2008-11-06 09:27:52 -06:00 |
|
Slava Pestov
|
885adc8dc9
|
Various improvements
|
2008-10-23 05:27:54 -05:00 |
|
Slava Pestov
|
52967c5bf1
|
Improved value numbering
|
2008-10-23 02:49:26 -05:00 |
|
Slava Pestov
|
d723b69990
|
Value numbering
|
2008-10-22 21:59:07 -05:00 |