 Andy Wingo
|
2993c2d873
Add eta-expansion pass after peval
|
5 years ago |
|
Andy Wingo
|
887aac28d2
At optimization level -O3, seal declarative module-private bindings
|
6 years ago |
|
Andy Wingo
|
31cb10af81
Letrectify only on -O2; update docs
|
6 years ago |
|
Andy Wingo
|
648bd5c431
Enable letrectification
|
6 years ago |
|
Andy Wingo
|
cd4d4e70c5
Run fix-letrec before peval
|
6 years ago |
|
Andy Wingo
|
51fd5952cb
Disable resolve-primitives pass below -O2
|
7 years ago |
|
Andy Wingo
|
16db934bbc
Add (system base optimize) module
|
7 years ago |
|
Andy Wingo
|
f169be9fc8
Wire up `guild compile -O0 foo.scm'
|
9 years ago |
|
Andy Wingo
|
85270a8c89
Remove old Tree-IL CSE pass
|
11 years ago |
|
Andy Wingo
|
84d3ce20cd
Disable Tree-IL CSE
|
11 years ago |
|
Andy Wingo
|
25450a0d0e
Pre-order tree-il rewrites are now non-destructive
|
12 years ago |
|
Andy Wingo
|
403d78f915
Tree-il post-order rewriter no longer destructive
|
12 years ago |
|
Andy Wingo
|
9068f4f527
enable cse
|
13 years ago |
|
Andy Wingo
|
012492a7f1
optimizer verifies its output
|
14 years ago |
|
Andy Wingo
|
b275fb2691
separate peval and a new canonicalization pass into their own modules
|
14 years ago |
|
Andy Wingo
|
0353a2d817
((lambda ...) ...) fix
|
14 years ago |
|
Andy Wingo
|
40be30c974
peval: more effective binding pruning
|
14 years ago |
|
Andy Wingo
|
fc283c92cb
don't propagate pure primcalls that might not type-check
|
14 years ago |
|
Andy Wingo
|
1cc1c2d7e3
peval works on all expressions
|
14 years ago |
|
Andy Wingo
|
6c4ffe2b25
peval: elide make-prompt-tag in effect context
|
14 years ago |
|
Andy Wingo
|
ea726a53b2
peval: add support for <prompt> and <abort>
|
14 years ago |
|
Andy Wingo
|
fbc9387f68
peval: fix algorithmic behavior of `cons'
|
14 years ago |
|
Andy Wingo
|
153ca1d239
peval: more strict accounting
|
14 years ago |
|
Andy Wingo
|
05c9389e3f
peval: fix inlining of lambda* with #:optional
|
14 years ago |
|
Andy Wingo
|
ef6c0883c3
remove unused peval helpers
|
14 years ago |
|
Andy Wingo
|
02ebea537f
peval: simpler and more precise treatment of mutability
|
14 years ago |
|
Andy Wingo
|
cf82943f9f
peval: add a bunch of missing maybe-unconst calls
|
14 years ago |
|
Andy Wingo
|
b839233282
peval uses effort counters, propagates lambdas more effectively
|
14 years ago |
|
Andy Wingo
|
fab137869e
prune unused letrec bindings
|
14 years ago |
|
Andy Wingo
|
062bf3aa44
more peval refactoring
|
14 years ago |
