 Andy Wingo
|
12fa7d115d
Fix closure-conversion bug for SCC with all free vars pruned
|
4 lat temu |
|
Andy Wingo
|
2b58c49e59
Fix CPS optimizations to allow callk in front half
|
4 lat temu |
|
Andy Wingo
|
03998db647
Add new pass to optimize branch chains to table dispatch
|
4 lat temu |
|
Andy Wingo
|
cd5ab6377b
Add $switch CPS term kind
|
4 lat temu |
|
Andy Wingo
|
8fcfcabec8
Fix bug in closure conversion
|
5 lat temu |
|
Andy Wingo
|
3bbdf22312
Enable closure elision.
|
6 lat temu |
|
Andy Wingo
|
f6c07e4eb2
Add compiler support for eliding closure bindings
|
6 lat temu |
|
Andy Wingo
|
39729e8448
Rename $closure to $const-fun
|
6 lat temu |
|
Andy Wingo
|
9f98b4a5b1
Add $code CPS expression type
|
7 lat temu |
|
Andy Wingo
|
49fa4980bb
Expand pair-related primcalls
|
7 lat temu |
|
Andy Wingo
|
6e100c9ba6
CPS pass now expects exploded vector primitives
|
7 lat temu |
|
Andy Wingo
|
ad55ee83c3
$throw is a new kind of CPS term
|
7 lat temu |
|
Andy Wingo
|
ee15ca1455
$prompt is now its own kind of CPS term.
|
7 lat temu |
|
Andy Wingo
|
afb0a92d50
$branch is now a distinct CPS term type
|
7 lat temu |
|
Andy Wingo
|
da7144d93c
Use unchecked scm-ref/set in closure conversion
|
7 lat temu |
|
Andy Wingo
|
b27065fdf2
Closure conversion uses immediate variants of vector instructions
|
7 lat temu |
|
Andy Wingo
|
2f45cfcb9c
free-ref, free-set take immediate parameters
|
7 lat temu |
|
Andy Wingo
|
c54c151eb6
$primcall has a "param" member
|
7 lat temu |
|
Andy Wingo
|
c119623e45
Simplify $branch to always take a $primcall
|
7 lat temu |
|
Andy Wingo
|
c3240d09b2
Unbox indexes of vectors, strings, and structs
|
9 lat temu |
|
Andy Wingo
|
92ed7f6989
Fix miscompilation of closures allocated as vectors
|
9 lat temu |
|
Andy Wingo
|
4aabc205cc
Add missing files
|
10 lat temu |
|
Andy Wingo
|
420423f9a0
Remove CPS optimization passes and closure conversion
|
10 lat temu |
|
Andy Wingo
|
50fcdfece3
Remove "free" field of $fun
|
10 lat temu |
|
Andy Wingo
|
34ff3af9f0
Replace $letrec with $rec
|
10 lat temu |
|
Andy Wingo
|
a9ec16f9c5
Remove $void CPS expression type
|
10 lat temu |
|
Andy Wingo
|
92805e2197
Add $branch expression type
|
11 lat temu |
|
Andy Wingo
|
c4aa51bae8
Remove debugging code in closure-conversion
|
11 lat temu |
|
Andy Wingo
|
fcb31f2953
Closure conversion eliminates self-references introduced by fixpoint
|
11 lat temu |
|
Andy Wingo
|
2920554a1e
Refactor to closure-conversion
|
11 lat temu |
