Andy Wingo 1d4b4ec39c Add support for comparing u64 values with SCM values ... * libguile/vm-engine.c (BR_U64_SCM_COMPARISON): New helper. (br-if-u64-<=-scm, br-if-u64-<-scm, br-if-u64-=-scm) (br-if-u64->-scm, br-if-u64->=-scm): New instructions, to compare an untagged u64 with a tagged SCM. Avoids many u64->scm operations. * module/language/cps/compile-bytecode.scm (compile-function): * module/language/cps/effects-analysis.scm: * module/language/cps/type-fold.scm: * module/system/vm/assembler.scm: * module/system/vm/disassembler.scm (code-annotation, compute-labels): * module/language/cps/primitives.scm (*branching-primcall-arities*): Add support for new opcodes. * module/language/cps/specialize-numbers.scm (specialize-u64-scm-comparison): New helper. * module/language/cps/specialize-numbers.scm (specialize-operations): Specialize u64 comparisons. * module/language/cps/types.scm (true-comparison-restrictions): New helper. (define-comparison-inferrer): Use the new helper. Add support for u64-<-scm et al.		2015-12-03 09:01:24 +01:00
..
base	(system base types) knows about variables	2015-02-17 10:58:29 +01:00
repl	Remove frame->module	2015-12-01 11:30:54 +01:00
vm	Add support for comparing u64 values with SCM values	2015-12-03 09:01:24 +01:00
foreign-object.scm	Add #:static-slot-allocation?	2015-02-06 13:25:17 +01:00
foreign.scm	Merge commit 'f6ddf827f8'	2014-02-07 14:51:42 +01:00
xref.scm	rtl-program? -> program?	2013-11-19 19:11:40 +01:00