summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJari Vetoniemi <mailroxas@gmail.com>2018-09-26 19:36:42 +0300
committerJari Vetoniemi <mailroxas@gmail.com>2018-09-26 19:36:42 +0300
commit8a981e9aa73c06132cfff1b2a67b8e5e39e98856 (patch)
tree32d948d17851f0b4f4a3cd81e49a19d5409d5e2a /src
parent96e460d047cc199b27e2e35042a5789cce9d1e91 (diff)
New makefile
Diffstat (limited to 'src')
-rw-r--r--src/bin/fspec-info.c10
-rw-r--r--src/compiler/native.c151
2 files changed, 161 insertions, 0 deletions
diff --git a/src/bin/fspec-info.c b/src/bin/fspec-info.c
new file mode 100644
index 0000000..c65fb6a
--- /dev/null
+++ b/src/bin/fspec-info.c
@@ -0,0 +1,10 @@
+#include <colm/colm.h>
+
+int
+main(int argc, const char **argv)
+{
+ struct colm_program *prg = colm_new_program(&colm_object);
+ colm_set_debug(prg, 0);
+ colm_run_program(prg, argc, argv);
+ return colm_delete_program(prg);
+}
diff --git a/src/compiler/native.c b/src/compiler/native.c
new file mode 100644
index 0000000..c24ba3a
--- /dev/null
+++ b/src/compiler/native.c
@@ -0,0 +1,151 @@
+#include <colm/tree.h>
+#include <colm/bytecode.h>
+#include <stdlib.h>
+#include <stdint.h>
+#include <string.h>
+#include <limits.h>
+#include <assert.h>
+
+static inline void*
+ptr_from_value(value_t ptr)
+{
+ return (void*)(intptr_t)ptr;
+}
+
+static inline value_t
+value_from_ptr(void *ptr)
+{
+ return (value_t)(intptr_t*)ptr;
+}
+
+static inline tree_t*
+upref(program_t *prg, tree_t *tree)
+{
+ colm_tree_upref(prg, tree);
+ return tree;
+}
+
+struct op_stack {
+ uint16_t data[1024], index;
+};
+
+value_t
+c_op_stack_new(program_t *prg, tree_t **sp)
+{
+ assert(sizeof(intptr_t) <= sizeof(value_t));
+ return value_from_ptr(calloc(1, sizeof(struct op_stack)));
+}
+
+void
+c_op_stack_free(program_t *prg, tree_t **sp, value_t a)
+{
+ struct op_stack *stack = ptr_from_value(a);
+ free(stack);
+}
+
+str_t*
+c_op_stack_top(program_t *prg, tree_t **sp, value_t a)
+{
+ struct op_stack *stack = ptr_from_value(a);
+ union { uint16_t v; char op[2]; } convert;
+ assert(sizeof(convert) == sizeof(convert.v));
+
+ if (!stack->index)
+ return NULL;
+
+ convert.v = stack->data[stack->index - 1];
+ tree_t *s = construct_string(prg, string_alloc_full(prg, convert.op, 1 + (convert.op[1] != 0)));
+ return (str_t*)upref(prg, s);
+}
+
+value_t
+c_op_stack_push(program_t *prg, tree_t **sp, value_t a, str_t *b)
+{
+ union { uint16_t v; char op[2]; } convert = {0};
+ assert(sizeof(convert) == sizeof(convert.v));
+ assert((value_t)b->value->length <= sizeof(convert.op));
+ memcpy(convert.op, b->value->data, b->value->length);
+ colm_tree_downref(prg, sp, (tree_t*)b);
+
+ struct op_stack *stack = ptr_from_value(a);
+ if (stack->index >= sizeof(stack->data) / sizeof(stack->data[0]))
+ return 0;
+
+ stack->data[stack->index++] = convert.v;
+ return 1;
+}
+
+str_t*
+c_op_stack_pop(program_t *prg, tree_t **sp, value_t a)
+{
+ struct op_stack *stack = ptr_from_value(a);
+ str_t *r = c_op_stack_top(prg, sp, a);
+ --stack->index;
+ return r;
+}
+
+value_t
+c_strtoull(program_t *prg, tree_t **sp, str_t *a, value_t b)
+{
+ char buf[24] = {0};
+ if ((value_t)a->value->length >= sizeof(buf))
+ return -1;
+
+ memcpy(buf, a->value->data, a->value->length);
+ colm_tree_downref(prg, sp, (tree_t*)a);
+ return strtoull(buf, NULL, b);
+}
+
+value_t
+c_modulo(program_t *prg, tree_t **sp, value_t a, value_t b)
+{
+ assert(b != 0);
+ return (long)a % (long)b;
+}
+
+value_t
+c_bitnot(program_t *prg, tree_t **sp, value_t a)
+{
+ return ~a;
+}
+
+value_t
+c_bitand(program_t *prg, tree_t **sp, value_t a, value_t b)
+{
+ return a & b;
+}
+
+value_t
+c_bitor(program_t *prg, tree_t **sp, value_t a, value_t b)
+{
+ return a | b;
+}
+
+value_t
+c_bitxor(program_t *prg, tree_t **sp, value_t a, value_t b)
+{
+ return a ^ b;
+}
+
+value_t
+c_shiftr(program_t *prg, tree_t **sp, value_t a, value_t b)
+{
+ assert(b < sizeof(a) * CHAR_BIT);
+ return a >> b;
+}
+
+value_t
+c_shiftl(program_t *prg, tree_t **sp, value_t a, value_t b)
+{
+ assert(b < sizeof(a) * CHAR_BIT);
+ return a << b;
+}
+
+value_t
+c_subscript(program_t *prg, tree_t **sp, str_t *a, value_t b)
+{
+ assert((value_t)a->value->length > b);
+ const value_t v = a->value->data[b];
+ colm_tree_downref(prg, sp, (tree_t*)a);
+ return v;
+}