Andy Wingo
|
5c76381625
Allow callk to continue to kargs
|
3 年之前 |
Andy Wingo
|
b7822d9e4a
Allow contification for $callk
|
4 年之前 |
Andy Wingo
|
2b58c49e59
Fix CPS optimizations to allow callk in front half
|
4 年之前 |
Andy Wingo
|
8aacaad96a
Allow $kargs as entry of $kfun
|
4 年之前 |
Andy Wingo
|
03998db647
Add new pass to optimize branch chains to table dispatch
|
4 年之前 |
Andy Wingo
|
cd5ab6377b
Add $switch CPS term kind
|
4 年之前 |
Andy Wingo
|
73a769fc2b
Add support no closure in $callk
|
6 年之前 |
Andy Wingo
|
39729e8448
Rename $closure to $const-fun
|
6 年之前 |
Andy Wingo
|
9f98b4a5b1
Add $code CPS expression type
|
7 年之前 |
Andy Wingo
|
49fa4980bb
Expand pair-related primcalls
|
7 年之前 |
Andy Wingo
|
118f516a8b
$primcall always continues to $kargs
|
7 年之前 |
Andy Wingo
|
ad55ee83c3
$throw is a new kind of CPS term
|
7 年之前 |
Andy Wingo
|
ee15ca1455
$prompt is now its own kind of CPS term.
|
7 年之前 |
Andy Wingo
|
afb0a92d50
$branch is now a distinct CPS term type
|
7 年之前 |
Andy Wingo
|
cf1611ef38
Contification also inlines "elide-values" pass
|
7 年之前 |
Andy Wingo
|
c54c151eb6
$primcall has a "param" member
|
7 年之前 |
Andy Wingo
|
c119623e45
Simplify $branch to always take a $primcall
|
7 年之前 |
Andy Wingo
|
7cdfaaada9
Remove contification restriction in case-lambda
|
8 年之前 |
Andy Wingo
|
2f08838cd6
Replace return primcalls with $values
|
9 年之前 |
Andy Wingo
|
4aabc205cc
Add missing files
|
10 年之前 |
Andy Wingo
|
420423f9a0
Remove CPS optimization passes and closure conversion
|
10 年之前 |
Andy Wingo
|
50fcdfece3
Remove "free" field of $fun
|
10 年之前 |
Andy Wingo
|
34ff3af9f0
Replace $letrec with $rec
|
10 年之前 |
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
|
8320f50431
Rename $kentry to $kfun
|
11 年之前 |
Andy Wingo
|
24b611e81c
src and meta are fields of $kentry, not $fun
|
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
|
691697de09
Rename "RTL" to "bytecode"
|
11 年之前 |