 Andy Wingo
|
25450a0d0e
Pre-order tree-il rewrites are now non-destructive
|
12 gadi atpakaļ |
|
Andy Wingo
|
403d78f915
Tree-il post-order rewriter no longer destructive
|
12 gadi atpakaļ |
|
Andy Wingo
|
9068f4f527
enable cse
|
13 gadi atpakaļ |
|
Andy Wingo
|
012492a7f1
optimizer verifies its output
|
14 gadi atpakaļ |
|
Andy Wingo
|
b275fb2691
separate peval and a new canonicalization pass into their own modules
|
14 gadi atpakaļ |
|
Andy Wingo
|
0353a2d817
((lambda ...) ...) fix
|
14 gadi atpakaļ |
|
Andy Wingo
|
40be30c974
peval: more effective binding pruning
|
14 gadi atpakaļ |
|
Andy Wingo
|
fc283c92cb
don't propagate pure primcalls that might not type-check
|
14 gadi atpakaļ |
|
Andy Wingo
|
1cc1c2d7e3
peval works on all expressions
|
14 gadi atpakaļ |
|
Andy Wingo
|
6c4ffe2b25
peval: elide make-prompt-tag in effect context
|
14 gadi atpakaļ |
|
Andy Wingo
|
ea726a53b2
peval: add support for <prompt> and <abort>
|
14 gadi atpakaļ |
|
Andy Wingo
|
fbc9387f68
peval: fix algorithmic behavior of `cons'
|
14 gadi atpakaļ |
|
Andy Wingo
|
153ca1d239
peval: more strict accounting
|
14 gadi atpakaļ |
|
Andy Wingo
|
05c9389e3f
peval: fix inlining of lambda* with #:optional
|
14 gadi atpakaļ |
|
Andy Wingo
|
ef6c0883c3
remove unused peval helpers
|
14 gadi atpakaļ |
|
Andy Wingo
|
02ebea537f
peval: simpler and more precise treatment of mutability
|
14 gadi atpakaļ |
|
Andy Wingo
|
cf82943f9f
peval: add a bunch of missing maybe-unconst calls
|
14 gadi atpakaļ |
|
Andy Wingo
|
b839233282
peval uses effort counters, propagates lambdas more effectively
|
14 gadi atpakaļ |
|
Andy Wingo
|
fab137869e
prune unused letrec bindings
|
14 gadi atpakaļ |
|
Andy Wingo
|
062bf3aa44
more peval refactoring
|
14 gadi atpakaļ |
|
Andy Wingo
|
8018dfdc02
add helpers for effort counters
|
14 gadi atpakaļ |
|
Andy Wingo
|
ded8ad84a7
peval refactor
|
14 gadi atpakaļ |
|
Andy Wingo
|
f6123e4fda
attempt to prune unreferenced bindings
|
14 gadi atpakaļ |
|
Andy Wingo
|
e43921a982
peval handles lexical-set
|
14 gadi atpakaļ |
|
Andy Wingo
|
b8a2b628e9
peval: pre-analyze mutated or reffed-once lexicals
|
14 gadi atpakaļ |
|
Andy Wingo
|
1eb4886ffa
peval: don't propagate expressions that access memory
|
14 gadi atpakaļ |
|
Andy Wingo
|
8d06538e82
context-specific folding for peval in test and effect contexts
|
14 gadi atpakaļ |
|
Andy Wingo
|
e535a37db8
thread a context through peval
|
14 gadi atpakaļ |
|
Andy Wingo
|
250991010f
peval: various bugfixes
|
14 gadi atpakaļ |
|
Andy Wingo
|
9e8a5b6637
tree-il-any bugfix
|
14 gadi atpakaļ |
