Andy Wingo b3ae2b5068 Add VM and compiler support for calls to known procedures ... * module/language/cps.scm ($callk): New expression type, for calls to known labels. Part of "low CPS". * module/language/cps/arities.scm: * module/language/cps/closure-conversion.scm: * module/language/cps/compile-bytecode.scm: * module/language/cps/dce.scm: * module/language/cps/dfg.scm: * module/language/cps/effects-analysis.scm: * module/language/cps/simplify.scm: * module/language/cps/slot-allocation.scm: * module/language/cps/verify.scm: Adapt call sites. * libguile/vm-engine.c (call-label, tail-call-label): New instructions. Renumber the rest; this is an ABI change. * libguile/_scm.h (SCM_OBJCODE_MINOR_VERSION): * module/system/vm/assembler.scm (*bytecode-minor-version*): Bump. * doc/ref/compiler.texi (CPS in Guile): Document $callk.		2014-02-02 23:19:22 +01:00
..
base	Rename "RTL" to "bytecode"	2013-12-02 21:31:47 +01:00
repl	Merge branch 'stable-2.0'	2014-01-14 01:30:56 -05:00
vm	Add VM and compiler support for calls to known procedures	2014-02-02 23:19:22 +01:00
foreign.scm	Merge remote-tracking branch 'origin/stable-2.0'	2013-02-18 17:59:38 +01:00
xref.scm	rtl-program? -> program?	2013-11-19 19:11:40 +01:00