summaryrefslogtreecommitdiff
path: root/module/language/cps/contification.scm
AgeCommit message (Expand)AuthorFilesLines
2023-08-17Add new $calli expression type.Andy Wingo1-2/+10
2023-06-22Contification uses 'cons primcallAndy Wingo1-13/+4
2021-11-15Allow callk to continue to kargsAndy Wingo1-2/+7
2021-04-26Allow contification for $callkAndy Wingo1-36/+132
2021-04-26Fix CPS optimizations to allow callk in front halfAndy Wingo1-1/+1
2021-04-21Allow $kargs as entry of $kfunAndy Wingo1-3/+8
2020-08-12Add new pass to optimize branch chains to table dispatchAndy Wingo1-31/+0
2020-08-12Add $switch CPS term kindAndy Wingo1-2/+6
2019-06-07Add support no closure in $callkAndy Wingo1-2/+2
2018-10-03Rename $closure to $const-funAndy Wingo1-1/+1
2018-04-10Add $code CPS expression typeAndy Wingo1-1/+1
2018-01-07Expand pair-related primcallsAndy Wingo1-3/+14
2018-01-03$primcall always continues to $kargsAndy Wingo1-8/+3
2018-01-03$throw is a new kind of CPS termAndy Wingo1-2/+5
2018-01-03$prompt is now its own kind of CPS term.Andy Wingo1-10/+7
2018-01-03$branch is now a distinct CPS term typeAndy Wingo1-6/+16
2017-12-27Contification also inlines "elide-values" passAndy Wingo1-40/+76
2017-11-05$primcall has a "param" memberAndy Wingo1-3/+3
2017-10-29Simplify $branch to always take a $primcallAndy Wingo1-3/+1
2017-03-09Remove contification restriction in case-lambdaAndy Wingo1-30/+6
2015-10-28Replace return primcalls with $valuesAndy Wingo1-5/+2
2015-07-22Add missing filesAndy Wingo1-0/+475
2015-07-16Remove CPS optimization passes and closure conversionAndy Wingo1-414/+0
2015-04-01Remove "free" field of $funAndy Wingo1-7/+7
2015-04-01Replace $letrec with $recAndy Wingo1-80/+83
2014-04-11Root higher-order CPS term is always $kfun $contAndy Wingo1-5/+3
2014-04-11compute-dfg takes a $kfun $cont, not a $funAndy Wingo1-1/+3
2014-04-10Rename $kentry to $kfunAndy Wingo1-8/+8
2014-04-10src and meta are fields of $kentry, not $funAndy Wingo1-12/+13
2014-03-31Use Tree-IL-like case-lambda clause chaining in CPSAndy Wingo1-23/+38
2014-03-31lookup-cont takes a DFG as its argumentAndy Wingo1-6/+5
2013-12-02Rename "RTL" to "bytecode"Andy Wingo1-1/+1
2013-11-26Contification converges more quicklyAndy Wingo1-10/+47
2013-11-25Compute-contification also visits bodyAndy Wingo1-3/+6
2013-11-08Fix arity selection in compute-contificationAndy Wingo1-5/+9
2013-11-07Source information goes on the $continue, not the $cont.Andy Wingo1-36/+36
2013-11-01Revert "Compile-time debugging"Andy Wingo1-4/+2
2013-11-01Fix contification of non-recursive closuresAndy Wingo1-15/+18
2013-10-31Compile-time debuggingAndy Wingo1-2/+4
2013-10-22Contify returns via calls to "values"Andy Wingo1-88/+98
2013-10-21Fix contification bugsAndy Wingo1-170/+215
2013-10-21More robust contificationAndy Wingo1-82/+97
2013-10-10DFG refactor to allow dominator tree constructionAndy Wingo1-2/+2
2013-10-04Fix nested contification bugsAndy Wingo1-3/+6
2013-10-04Contify functions in the scope of their continuation.Andy Wingo1-48/+80
2013-10-04dfg: variable-free-in?, add variable-bound-in?Andy Wingo1-1/+7
2013-08-31Add contification passAndy Wingo1-0/+238