From 1d1130d4c3f77b07dc8f24c34b2865833bf15b8f Mon Sep 17 00:00:00 2001
From: Alex Shinn <ashinn@users.noreply.github.com>
Date: Mon, 2 Aug 2010 00:52:22 +0900
Subject: [PATCH] adding efficient type-of operator
---
lib/chibi/ast.c | 22 ++++++++++++++++++++++
lib/chibi/ast.module | 2 +-
2 files changed, 23 insertions(+), 1 deletion(-)
diff --git a/lib/chibi/ast.c b/lib/chibi/ast.c
index c3c58feb..32cbc1e7 100644
--- a/lib/chibi/ast.c
+++ b/lib/chibi/ast.c
@@ -116,6 +116,27 @@ static sexp sexp_get_opcode_variadic_p (sexp ctx sexp_api_params(self, n), sexp
return sexp_make_boolean(sexp_opcode_variadic_p(op));
}
+static sexp sexp_type_of (sexp ctx sexp_api_params(self, n), sexp x) {
+ if (sexp_pointerp(x))
+ return sexp_object_type(ctx, x);
+ else if (sexp_fixnump(x))
+ return sexp_type_by_index(ctx, SEXP_FIXNUM);
+ else if (sexp_booleanp(x))
+ return sexp_type_by_index(ctx, SEXP_BOOLEAN);
+ else if (sexp_charp(x))
+ return sexp_type_by_index(ctx, SEXP_CHAR);
+#if SEXP_USE_HUFF_SYMS
+ else if (sexp_symbolp(x))
+ return sexp_type_by_index(ctx, SEXP_SYMBOL);
+#endif
+#if SEXP_USE_IMMEDIATE_FLONUMS
+ else if (sexp_flonump(x))
+ return sexp_type_by_index(ctx, SEXP_FLONUM);
+#endif
+ else
+ return sexp_type_by_index(ctx, SEXP_OBJECT);
+}
+
static sexp sexp_analyze_op (sexp ctx sexp_api_params(self, n), sexp x, sexp e) {
sexp ctx2 = ctx;
if (sexp_envp(e)) {
@@ -216,6 +237,7 @@ sexp sexp_init_library (sexp ctx sexp_api_params(self, n), sexp env) {
sexp_define_foreign(ctx, env, "opcode-return-type", 1, sexp_get_opcode_ret_type);
sexp_define_foreign(ctx, env, "opcode-param-type", 2, sexp_get_opcode_param_type);
sexp_define_foreign(ctx, env, "optimize", 1, sexp_optimize);
+ sexp_define_foreign(ctx, env, "type-of", 1, sexp_type_of);
return SEXP_VOID;
}
diff --git a/lib/chibi/ast.module b/lib/chibi/ast.module
index ee10d2cc..711da431 100644
--- a/lib/chibi/ast.module
+++ b/lib/chibi/ast.module
@@ -1,7 +1,7 @@
(define-module (chibi ast)
(export
- analyze optimize env-cell ast->sexp macroexpand
+ analyze optimize env-cell ast->sexp macroexpand type-of
<object> <opcode> <procedure> <bytecode> <macro> <env>
<number> <bignum> <flonum> <integer> <char> <boolean>
<symbol> <string> <byte-vector> <vector> <pair>