Andy Wingo 5fbd4b8f9e Better support for unboxed signed arithmetic ... * module/language/cps/primitives.scm (*macro-instruction-arities*): Declare new u64->s64, s64->u64, sadd, ssub, smul, sadd/immediate, ssub/immediate, smul/immediate, slsh, and slsh/immediate primcalls that don't have corresponding VM instructions. * module/language/cps/effects-analysis.scm: The new instructions are effect-free. * module/language/cps/reify-primitives.scm (wrap-unary, wrap-binary): (wrap-binary/exp, reify-primitives): Add horrible code that turns e.g. sadd into a series of s64->u64, uadd, and then u64->s64. This way we keep our ability to do range inference on unboxed signed arithmetic, but we still bottom out to the same instructions for both unboxed signed and unboxed unsigned arithmetic. * module/language/cps/types.scm: Add type inferrers for new instructions. Remove type checkers for some effect-free primitives. * module/language/cps/compile-bytecode.scm (compile-function): Add pseudo-emitter for u64->s64 and s64->u64 no-ops.		2017-11-20 18:36:00 +01:00
..
brainfuck	Fix brainfuck comment	2013-12-02 19:03:50 +01:00
bytecode	Rename "RTL" to "bytecode"	2013-12-02 21:31:47 +01:00
cps	Better support for unboxed signed arithmetic	2017-11-20 18:36:00 +01:00
ecmascript	Fix tree-il code generation for ECMAscript `new' expression.	2016-10-25 23:39:30 +02:00
elisp	Use make-struct/no-tail instead of make-struct	2017-09-20 22:07:18 +02:00
scheme	Merge remote-tracking branch 'origin/stable-2.0'	2013-08-11 22:46:22 -04:00
tree-il	Convert "ash" to "lsh"/"rsh" when lowering to CPS	2017-11-11 22:08:14 +01:00
value	Add 'for-humans?' flag to <language> specifications.	2013-01-27 10:16:40 -05:00
bytecode.scm	Add support for comparisons against integer immediates	2017-11-15 14:18:39 +01:00
cps.scm	$primcall has a "param" member	2017-11-05 15:00:16 +01:00
tree-il.scm	Use make-struct/no-tail instead of make-struct	2017-09-20 22:07:18 +02:00