 Andy Wingo
|
dc4fe9741f
Add new $calli expression type.
|
4 vuotta sitten |
|
Andy Wingo
|
26b43f35c5
DCE ignores setters to dead objects
|
2 vuotta sitten |
|
Andy Wingo
|
5809279b99
Fix bugs introduced when allowing $kfun -> $kargs
|
4 vuotta sitten |
|
Andy Wingo
|
8aacaad96a
Allow $kargs as entry of $kfun
|
4 vuotta sitten |
|
Andy Wingo
|
cd5ab6377b
Add $switch CPS term kind
|
4 vuotta sitten |
|
Andy Wingo
|
73a769fc2b
Add support no closure in $callk
|
6 vuotta sitten |
|
Andy Wingo
|
f6c07e4eb2
Add compiler support for eliding closure bindings
|
6 vuotta sitten |
|
Andy Wingo
|
39729e8448
Rename $closure to $const-fun
|
6 vuotta sitten |
|
Andy Wingo
|
9f98b4a5b1
Add $code CPS expression type
|
7 vuotta sitten |
|
Andy Wingo
|
24f998e4d2
Lower box, box-ref, box-set! primcalls
|
7 vuotta sitten |
|
Andy Wingo
|
abfe04835b
Remove special optimizer and backend support for pairs
|
7 vuotta sitten |
|
Andy Wingo
|
6e100c9ba6
CPS pass now expects exploded vector primitives
|
7 vuotta sitten |
|
Andy Wingo
|
ad55ee83c3
$throw is a new kind of CPS term
|
7 vuotta sitten |
|
Andy Wingo
|
ee15ca1455
$prompt is now its own kind of CPS term.
|
7 vuotta sitten |
|
Andy Wingo
|
afb0a92d50
$branch is now a distinct CPS term type
|
7 vuotta sitten |
|
Andy Wingo
|
52e28fd19e
Fix DCE over primcall setters with params
|
7 vuotta sitten |
|
Andy Wingo
|
8d30643751
DCE of branches punches through dead terms
|
7 vuotta sitten |
|
Andy Wingo
|
a3173d1758
DCE eliminates effect-free branches to the same continuation
|
7 vuotta sitten |
|
Andy Wingo
|
c54c151eb6
$primcall has a "param" member
|
7 vuotta sitten |
|
Andy Wingo
|
c119623e45
Simplify $branch to always take a $primcall
|
7 vuotta sitten |
|
Andy Wingo
|
b40fac1e98
Factor out compute-effects/elide-type-checks from dce.scm
|
10 vuotta sitten |
|
Andy Wingo
|
4aabc205cc
Add missing files
|
10 vuotta sitten |
|
Andy Wingo
|
420423f9a0
Remove CPS optimization passes and closure conversion
|
10 vuotta sitten |
|
Andy Wingo
|
50fcdfece3
Remove "free" field of $fun
|
10 vuotta sitten |
|
Andy Wingo
|
34ff3af9f0
Replace $letrec with $rec
|
10 vuotta sitten |
|
Andy Wingo
|
a9ec16f9c5
Remove $void CPS expression type
|
10 vuotta sitten |
|
Andy Wingo
|
0ad455ca6b
Remove size limit in elide-type-checks
|
11 vuotta sitten |
|
Andy Wingo
|
ec412d7562
Rewrite type inference pass to use namesets
|
11 vuotta sitten |
|
Andy Wingo
|
59258f7cad
Remove $kif
|
11 vuotta sitten |
|
Andy Wingo
|
92805e2197
Add $branch expression type
|
11 vuotta sitten |
