Andy Wingo
8ac8e2dfeb
Add contification pass
...
* module/Makefile.am:
* module/language/cps/contification.scm: New pass.
* module/language/cps/compile-rtl.scm (optimize): Wire it into the
compiler.
2013-08-31 09:40:56 +02:00
Andy Wingo
6e8ad82335
Add CPS -> RTL compiler
...
* module/Makefile.am:
* module/language/cps/compile-rtl.scm:
* module/language/cps/dfg.scm:
* module/language/cps/slot-allocation.scm: New modules.
* module/language/cps/spec.scm: Register the compiler.
* test-suite/Makefile.am:
* test-suite/tests/rtl-compilation.test: Add tests.
2013-08-31 09:40:56 +02:00
Andy Wingo
934e6b9515
Add pass to reify primcalls without corresponding VM ops
...
* module/Makefile.am:
* module/language/cps/reify-primitives.scm: New pass.
2013-08-31 09:40:56 +02:00
Andy Wingo
026b561154
Add arity-adapting module
...
* module/Makefile.am:
* module/language/cps/arities.scm: New module. Adapts call and return
arities, especially for primcalls.
2013-08-31 09:40:56 +02:00
Andy Wingo
045392f1b2
Add CPS primitives info module
...
* module/Makefile.am:
* module/language/cps/primitives.scm: New file.
2013-08-31 09:40:56 +02:00
Andy Wingo
4b8de65e9d
Add closure conversion
...
* module/Makefile.am
* module/language/cps/closure-conversion.scm: New module, implementing a
closure conversion pass.
2013-08-31 09:40:56 +02:00
Andy Wingo
4fefc3a867
(compile foo #:to 'cps)
...
* module/language/tree-il/compile-cps.scm: New module implementing CPS
conversion of Tree-IL.
* module/Makefile.am:
* module/language/tree-il/spec.scm:
* module/language/cps/spec.scm: Integrate CPS in the build and language
system.
2013-08-31 09:40:56 +02:00
Andy Wingo
80b01fd086
Add CPS language
...
* module/Makefile.am:
* module/language/cps.scm:
* module/language/cps/verify.scm: Add CPS language.
* .dir-locals.el: Add indentation rules for some CPS forms.
2013-08-31 09:40:56 +02:00
