 Andy Wingo
|
b40fac1e98
Factor out compute-effects/elide-type-checks from dce.scm
|
пре 9 година |
|
Andy Wingo
|
4aabc205cc
Add missing files
|
пре 9 година |
|
Andy Wingo
|
420423f9a0
Remove CPS optimization passes and closure conversion
|
пре 9 година |
|
Andy Wingo
|
50fcdfece3
Remove "free" field of $fun
|
пре 10 година |
|
Andy Wingo
|
34ff3af9f0
Replace $letrec with $rec
|
пре 10 година |
|
Andy Wingo
|
a9ec16f9c5
Remove $void CPS expression type
|
пре 10 година |
|
Andy Wingo
|
0ad455ca6b
Remove size limit in elide-type-checks
|
пре 11 година |
|
Andy Wingo
|
ec412d7562
Rewrite type inference pass to use namesets
|
пре 11 година |
|
Andy Wingo
|
59258f7cad
Remove $kif
|
пре 11 година |
|
Andy Wingo
|
92805e2197
Add $branch expression type
|
пре 11 година |
|
Andy Wingo
|
3be43fb782
DCE uses type analysis to elide type checks
|
пре 11 година |
|
Andy Wingo
|
5d25fdae37
Rewrite effects analysis to be precise for fields.
|
пре 11 година |
|
Andy Wingo
|
40b36bbf94
Set-car! on a dead pair does not force the pair to be live
|
пре 11 година |
|
Andy Wingo
|
405805fbc3
Separate make-cont-folder into global and local variants
|
пре 11 година |
|
Andy Wingo
|
a0329d0109
Root higher-order CPS term is always $kfun $cont
|
пре 11 година |
|
Andy Wingo
|
a16af11320
compute-dfg takes a $kfun $cont, not a $fun
|
пре 11 година |
|
Andy Wingo
|
686a6490f4
Function defined by make-cont-folder takes a cont, not a $fun
|
пре 11 година |
|
Andy Wingo
|
8320f50431
Rename $kentry to $kfun
|
пре 11 година |
|
Andy Wingo
|
24b611e81c
src and meta are fields of $kentry, not $fun
|
пре 11 година |
|
Andy Wingo
|
ce1dbe8c1b
Fix DCE for refactor-introduced borkage
|
пре 11 година |
|
Andy Wingo
|
0912202a51
Fix compute-label-and-var-ranges for global DFG computation
|
пре 11 година |
|
Andy Wingo
|
cc8eb19545
Renumber returns label/var counters for use in let-fresh
|
пре 11 година |
|
Andy Wingo
|
3269e1b647
Refactor DCE to not build a CFA
|
пре 11 година |
|
Andy Wingo
|
90dce16db4
Use Tree-IL-like case-lambda clause chaining in CPS
|
пре 11 година |
|
Andy Wingo
|
fbdb69b21c
lookup-cont takes a DFG as its argument
|
пре 11 година |
|
Andy Wingo
|
cd72929e71
DCE uses fresh-var instead of gensym
|
пре 11 година |
|
Andy Wingo
|
828ed94469
Replace all let-gensyms uses with let-fresh
|
пре 11 година |
|
Andy Wingo
|
b3ae2b5068
Add VM and compiler support for calls to known procedures
|
пре 11 година |
|
Andy Wingo
|
3652769585
Rename $ktrunc to $kreceive
|
пре 11 година |
|
Andy Wingo
|
305cccb43c
Add DCE pass.
|
пре 11 година |
