 Andy Wingo
|
3b76a30e3c
Tree-IL lowerer has #:dump-optimized-tree-il? option
|
1 rok pred |
|
Andy Wingo
|
c758c99b5e
New optimization: demux-lambda
|
1 rok pred |
|
Andy Wingo
|
fd5cb457fb
Implement cross-module inlining
|
4 rokov pred |
|
Andy Wingo
|
cbfad75fa6
Add support for recording inlinable module exports
|
4 rokov pred |
|
Andy Wingo
|
a892791b43
Add pass to resolve free toplevel references in declarative modules
|
4 rokov pred |
|
Andy Wingo
|
4c10ea0e57
Fix bug where private bindings would never be sealed
|
4 rokov pred |
|
Andy Wingo
|
2c07a32ad8
Tree-IL lowerer only loads needed optimizations
|
5 rokov pred |
|
Andy Wingo
|
c5da9d65a7
Fix optimizers after language lowerer refactor
|
5 rokov pred |
|
Andy Wingo
|
b5108ccb2a
Avoid having "guild compile" load optimizers
|
5 rokov pred |
|
Andy Wingo
|
ffb210567d
Declare #:cps? as an available optimization
|
5 rokov pred |
|
Andy Wingo
|
4311dc9858
Define new "lowering" phase in compiler
|
5 rokov pred |
|
Andy Wingo
|
2993c2d873
Add eta-expansion pass after peval
|
5 rokov pred |
|
Andy Wingo
|
887aac28d2
At optimization level -O3, seal declarative module-private bindings
|
5 rokov pred |
|
Andy Wingo
|
31cb10af81
Letrectify only on -O2; update docs
|
5 rokov pred |
|
Andy Wingo
|
648bd5c431
Enable letrectification
|
5 rokov pred |
|
Andy Wingo
|
cd4d4e70c5
Run fix-letrec before peval
|
5 rokov pred |
|
Andy Wingo
|
51fd5952cb
Disable resolve-primitives pass below -O2
|
7 rokov pred |
|
Andy Wingo
|
16db934bbc
Add (system base optimize) module
|
7 rokov pred |
|
Andy Wingo
|
f169be9fc8
Wire up `guild compile -O0 foo.scm'
|
9 rokov pred |
|
Andy Wingo
|
85270a8c89
Remove old Tree-IL CSE pass
|
11 rokov pred |
|
Andy Wingo
|
84d3ce20cd
Disable Tree-IL CSE
|
11 rokov pred |
|
Andy Wingo
|
25450a0d0e
Pre-order tree-il rewrites are now non-destructive
|
12 rokov pred |
|
Andy Wingo
|
403d78f915
Tree-il post-order rewriter no longer destructive
|
12 rokov pred |
|
Andy Wingo
|
9068f4f527
enable cse
|
13 rokov pred |
|
Andy Wingo
|
012492a7f1
optimizer verifies its output
|
13 rokov pred |
|
Andy Wingo
|
b275fb2691
separate peval and a new canonicalization pass into their own modules
|
13 rokov pred |
|
Andy Wingo
|
0353a2d817
((lambda ...) ...) fix
|
13 rokov pred |
|
Andy Wingo
|
40be30c974
peval: more effective binding pruning
|
13 rokov pred |
|
Andy Wingo
|
fc283c92cb
don't propagate pure primcalls that might not type-check
|
13 rokov pred |
|
Andy Wingo
|
1cc1c2d7e3
peval works on all expressions
|
13 rokov pred |
