From dfbe869e2421e6db03fd14c6fbfc0838e5e1988b Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Thu, 12 Nov 2015 21:44:24 +0100 Subject: Add low-level support for unboxed 64-bit unsigned ints * libguile/frames.c (enum stack_item_representation) * libguile/frames.c (scm_to_stack_item_representation): (scm_frame_local_ref, scm_frame_local_set_x): Support 'u64 slots. * libguile/frames.h (union scm_vm_stack_element): Add as_u64 member. * libguile/vm-engine.c (SP_REF_U64, SP_SET_U64): New helpers. (scm->u64, u64->scm): New instructions. * module/language/cps/cse.scm (compute-equivalent-subexpressions): Scalar replacement for u64->scm and scm->u64. * module/language/cps/effects-analysis.scm (scm->u64, u64->scm): Add cases. * module/language/cps/slot-allocation.scm (compute-var-representations): (allocate-slots): Represent the result of scm->u64 as a "u64" slot. * module/language/cps/types.scm (&u64): New type. (scm->u64, u64->scm): Add support for these ops. * module/system/vm/assembler.scm (write-arities): * module/system/vm/debug.scm (arity-definitions): Support u64 representations. --- libguile/frames.c | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'libguile/frames.c') diff --git a/libguile/frames.c b/libguile/frames.c index 2eae45fcd..e70b25212 100644 --- a/libguile/frames.c +++ b/libguile/frames.c @@ -241,7 +241,8 @@ SCM_DEFINE (scm_frame_num_locals, "frame-num-locals", 1, 0, 0, enum stack_item_representation { STACK_ITEM_SCM = 0, - STACK_ITEM_F64 = 1 + STACK_ITEM_F64 = 1, + STACK_ITEM_U64 = 2 }; static enum stack_item_representation @@ -251,6 +252,8 @@ scm_to_stack_item_representation (SCM x, const char *subr, int pos) return STACK_ITEM_SCM; if (scm_is_eq (x, scm_from_latin1_symbol ("f64"))) return STACK_ITEM_F64; + if (scm_is_eq (x, scm_from_latin1_symbol ("u64"))) + return STACK_ITEM_U64; scm_wrong_type_arg (subr, pos, x); return 0; /* Not reached. */ @@ -281,6 +284,8 @@ SCM_DEFINE (scm_frame_local_ref, "frame-local-ref", 3, 0, 0, return item->as_scm; case STACK_ITEM_F64: return scm_from_double (item->as_f64); + case STACK_ITEM_U64: + return scm_from_uint64 (item->as_u64); default: abort(); } @@ -318,6 +323,9 @@ SCM_DEFINE (scm_frame_local_set_x, "frame-local-set!", 4, 0, 0, case STACK_ITEM_F64: item->as_f64 = scm_to_double (val); break; + case STACK_ITEM_U64: + item->as_u64 = scm_to_uint64 (val); + break; default: abort(); } -- cgit v1.2.3