aboutsummaryrefslogtreecommitdiff
path: root/src/interp/routines
diff options
context:
space:
mode:
authorXavier Del Campo Romero <xavi.dcr@tutanota.com>2024-09-07 00:04:38 +0200
committerXavier Del Campo Romero <xavi92@disroot.org>2025-11-06 14:38:40 +0100
commit6d9d80362f9932bbc87e162b8ef7df06c73e27e1 (patch)
treee3e228c63fe26f07503f226de7fb5086b3dc2286 /src/interp/routines
downloadnanowasm-6d9d80362f9932bbc87e162b8ef7df06c73e27e1.tar.gz
First commit
Diffstat (limited to 'src/interp/routines')
-rw-r--r--src/interp/routines/CMakeLists.txt13
-rw-r--r--src/interp/routines/execute.c83
-rw-r--r--src/interp/routines/find_export.c229
-rw-r--r--src/interp/routines/full.c63
-rw-r--r--src/interp/routines/limited.c54
5 files changed, 442 insertions, 0 deletions
diff --git a/src/interp/routines/CMakeLists.txt b/src/interp/routines/CMakeLists.txt
new file mode 100644
index 0000000..b27172b
--- /dev/null
+++ b/src/interp/routines/CMakeLists.txt
@@ -0,0 +1,13 @@
+# nanowasm, a tiny WebAssembly/Wasm interpreter
+# Copyright (C) 2023-2025 Xavier Del Campo Romero
+#
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
+target_sources(${PROJECT_NAME} PRIVATE
+ execute.c
+ find_export.c
+ full.c
+ limited.c
+)
diff --git a/src/interp/routines/execute.c b/src/interp/routines/execute.c
new file mode 100644
index 0000000..49711ae
--- /dev/null
+++ b/src/interp/routines/execute.c
@@ -0,0 +1,83 @@
+/*
+ * nanowasm, a tiny WebAssembly/Wasm interpreter
+ * Copyright (C) 2023-2025 Xavier Del Campo Romero
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+
+#include <nw/interp.h>
+#include <nw/io.h>
+#include <nw/log.h>
+#include <nw/opcodes.h>
+#include <nw/ops.h>
+#include <nw/routines.h>
+
+static enum nw_state execute(struct nw_interp *const i)
+{
+ struct nw_i_sm_b *const b = &i->sm.bytecode;
+
+#ifdef NW_LOG
+ nwp_log("opcode: %s, pc=%#lx\n", nwp_op_tostr(b->op), b->pc);
+#endif
+ b->f(i);
+ i->fr.prev_op = b->op;
+ return NW_AGAIN;
+}
+
+static enum nw_state repeat(struct nw_interp *const i)
+{
+ struct nw_i_sm_b *const b = &i->sm.bytecode;
+ struct nw_next *const next = &b->next;
+ const enum nw_state n = next->fn(next->user, next);
+
+ if (n)
+ return n;
+
+ return execute(i);
+}
+
+static enum nw_state exec_pc(struct nw_interp *const i)
+{
+ struct nw_i_sm_b *const b = &i->sm.bytecode;
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ const long pc = b->pc;
+
+ if (cfg->pc)
+ {
+ const enum nw_state n = cfg->pc(pc, &b->next, cfg->user);
+
+ if (n == NW_FATAL)
+ {
+ static const char *const exc = "pc callback failed";
+
+ i->exception = exc;
+#ifdef NW_LOG
+ nwp_log("%s, pc: %ld\n", exc, pc);
+#endif
+ return NW_FATAL;
+ }
+ else if (n)
+ {
+ i->next = repeat;
+ return n;
+ }
+ }
+
+ return execute(i);
+}
+
+enum nw_state nwp_execute(struct nw_interp *const i)
+{
+ struct nw_i_sm_b *const b = &i->sm.bytecode;
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ const enum nw_state n = cfg->tell(&b->pc, cfg->user);
+
+ if (n)
+ return n;
+
+ b->pc -= sizeof b->op;
+ i->next = exec_pc;
+ return NW_AGAIN;
+}
diff --git a/src/interp/routines/find_export.c b/src/interp/routines/find_export.c
new file mode 100644
index 0000000..effa8d1
--- /dev/null
+++ b/src/interp/routines/find_export.c
@@ -0,0 +1,229 @@
+/*
+ * nanowasm, a tiny WebAssembly/Wasm interpreter
+ * Copyright (C) 2023-2025 Xavier Del Campo Romero
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+
+#include <nanowasm/nw.h>
+#include <nanowasm/types.h>
+#include <nw/interp.h>
+#include <nw/io.h>
+#include <nw/log.h>
+#include <nw/routines.h>
+#include <string.h>
+
+static enum nw_state entry_loop(struct nw_interp *i);
+
+static enum nw_state get_index(struct nw_interp *const i)
+{
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ struct nw_i_sm_exp *const e = &i->sm.export;
+ struct nw_sm_leb128 *const l = &e->leb128;
+ const enum nw_state n = nwp_varuint32(cfg, l, &e->index, cfg->user);
+
+ if (n)
+ return n;
+
+ i->next = e->next;
+ return NW_AGAIN;
+}
+
+static enum nw_state get_kind(struct nw_interp *const i)
+{
+ unsigned char kind;
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ struct nw_i_sm_exp *const e = &i->sm.export;
+ struct nw_sm_io io = {0};
+ enum nw_state n;
+
+ io.buf = &kind;
+ io.n = sizeof kind;
+
+ if ((n = nwp_io_read(cfg, &io, cfg->user)))
+ return n;
+ else if (kind >= NW_KINDS)
+ {
+ static const char *const exc = "invalid export kind";
+
+ i->exception = exc;
+#ifdef NW_LOG
+ nwp_log("%s: %#x\n", exc, (unsigned)kind);
+#endif
+ return NW_FATAL;
+ }
+
+ e->kind = kind;
+ i->next = get_index;
+ return NW_AGAIN;
+}
+
+static enum nw_state skip_index(struct nw_interp *const i)
+{
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ struct nw_i_sm_exp *const e = &i->sm.export;
+ struct nw_sm_leb128 *const l = &e->leb128;
+ nw_varuint32 index;
+ const enum nw_state n = nwp_varuint32(cfg, l, &index, cfg->user);
+
+ if (n)
+ return n;
+
+ e->entry_i++;
+ i->next = entry_loop;
+ return NW_AGAIN;
+}
+
+static enum nw_state skip_kind(struct nw_interp *const i)
+{
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ unsigned char b;
+ struct nw_sm_io io = {0};
+ enum nw_state n;
+
+ io.buf = &b;
+ io.n = sizeof b;
+
+ if ((n = nwp_io_read(cfg, &io, cfg->user)))
+ return n;
+
+ i->next = skip_index;
+ return NW_AGAIN;
+}
+
+static enum nw_state skip_field_str(struct nw_interp *const i)
+{
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ const struct nw_i_sm_exp *const e = &i->sm.export;
+ const long offset = e->offset + (e->len - e->len_i);
+ const enum nw_state n = cfg->seek(offset, cfg->user);
+
+ if (n)
+ return n;
+
+ i->next = skip_kind;
+ return NW_AGAIN;
+}
+
+static enum nw_state tell(struct nw_interp *const i)
+{
+ struct nw_i_sm_exp *const e = &i->sm.export;
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ const enum nw_state n = cfg->tell(&e->offset, cfg->user);
+
+ if (n)
+ return n;
+
+ i->next = skip_field_str;
+ return NW_AGAIN;
+}
+
+static enum nw_state compare(struct nw_interp *const i)
+{
+ unsigned char b;
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ struct nw_i_sm_exp *const e = &i->sm.export;
+ struct nw_sm_io io = {0};
+ enum nw_state n;
+
+ io.buf = &b;
+ io.n = sizeof b;
+
+ if ((n = nwp_io_read(cfg, &io, cfg->user)))
+ return n;
+ else if (b != e->sym[e->len_i++])
+ i->next = tell;
+ else if (e->len_i >= e->len)
+ i->next = get_kind;
+
+ return NW_AGAIN;
+}
+
+static enum nw_state get_len(struct nw_interp *const i)
+{
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ struct nw_i_sm_exp *const e = &i->sm.export;
+ struct nw_sm_leb128 *const l = &e->leb128;
+ const enum nw_state n = nwp_varuint32(cfg, l, &e->len, cfg->user);
+
+ if (n)
+ return n;
+ else if (e->len != strlen(e->sym))
+ i->next = skip_field_str;
+ else
+ i->next = compare;
+
+ return NW_AGAIN;
+}
+
+static enum nw_state entry_loop(struct nw_interp *const i)
+{
+ struct nw_i_sm_exp *const e = &i->sm.export;
+
+ if (e->entry_i >= e->count)
+ {
+ static const char *const exc = "failed to find symbol";
+
+ i->exception = exc;
+#ifdef NW_LOG
+ nwp_log("%s: %s\n", exc, e->sym);
+#endif
+ return NW_FATAL;
+ }
+
+ e->len_i = 0;
+ i->next = get_len;
+ return NW_AGAIN;
+}
+
+static enum nw_state get_count(struct nw_interp *const i)
+{
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ struct nw_i_sm_exp *const e = &i->sm.export;
+ struct nw_sm_leb128 *const l = &e->leb128;
+ const enum nw_state n = nwp_varuint32(cfg, l, &e->count, cfg->user);
+
+ if (n)
+ return n;
+
+ i->next = entry_loop;
+ return NW_AGAIN;
+}
+
+static enum nw_state seek(struct nw_interp *const i)
+{
+ const struct nw_mod *const m = i->cfg.m;
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ const long offset = m->sections[NW_SECTION_EXPORT];
+ enum nw_state n;
+
+ if (!offset)
+ {
+ static const char *const exc = "section not found";
+
+ i->exception = exc;
+#ifdef NW_LOG
+ nwp_log("%s: %s\n", exc, "export");
+#endif
+ return NW_FATAL;
+ }
+ else if ((n = cfg->seek(offset, cfg->user)))
+ return n;
+
+ i->next = get_count;
+ return NW_AGAIN;
+}
+
+void nwp_find_export(struct nw_interp *const i, const char *const sym,
+ enum nw_state (*const next)(struct nw_interp *))
+{
+ const struct nw_i_sm_exp e = {0};
+ struct nw_i_sm_exp *const pe = &i->sm.export;
+
+ *pe = e;
+ pe->sym = sym;
+ pe->next = next;
+ i->next = seek;
+}
diff --git a/src/interp/routines/full.c b/src/interp/routines/full.c
new file mode 100644
index 0000000..c00f11f
--- /dev/null
+++ b/src/interp/routines/full.c
@@ -0,0 +1,63 @@
+/*
+ * nanowasm, a tiny WebAssembly/Wasm interpreter
+ * Copyright (C) 2023-2025 Xavier Del Campo Romero
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+
+#include <nw/interp.h>
+#include <nw/io.h>
+#include <nw/log.h>
+#include <nw/opcodes.h>
+#include <nw/ops.h>
+#include <nw/routines.h>
+
+static enum nw_state tell(struct nw_interp *const i)
+{
+ long offset;
+ struct nw_i_sm_b *const b = &i->sm.bytecode;
+ static const char *const exc = "invalid opcode";
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ const enum nw_state n = cfg->tell(&offset, cfg->user);
+
+ if (n)
+ return n;
+
+ offset -= sizeof b->op;
+
+#ifdef NW_LOG
+ nwp_log("%s: %#x, offset=%#lx\n", exc, (unsigned)b->op, offset);
+#endif
+ i->exception = exc;
+ return NW_FATAL;
+}
+
+static enum nw_state get_bytecode(struct nw_interp *const i)
+{
+ struct nw_i_sm_b *const b = &i->sm.bytecode;
+ const struct nw_io_cfg *const cfg = &i->cfg.io;
+ const enum nw_state n = nwp_io_read(cfg, &b->io, cfg->user);
+
+ if (n)
+ return n;
+ else if (b->op >= nwp_ops.n || !(b->f = nwp_ops.ops[b->op]))
+ {
+ i->next = tell;
+ return NW_AGAIN;
+ }
+
+ i->next = nwp_execute;
+ return NW_AGAIN;
+}
+
+void nwp_interp_full(struct nw_interp *const i)
+{
+ struct nw_i_sm_b *const pb = &i->sm.bytecode, b = {0};
+
+ b.io.buf = &pb->op;
+ b.io.n = sizeof pb->op;
+ *pb = b;
+ i->next = get_bytecode;
+}
diff --git a/src/interp/routines/limited.c b/src/interp/routines/limited.c
new file mode 100644
index 0000000..dc18ded
--- /dev/null
+++ b/src/interp/routines/limited.c
@@ -0,0 +1,54 @@
+/*
+ * nanowasm, a tiny WebAssembly/Wasm interpreter
+ * Copyright (C) 2023-2025 Xavier Del Campo Romero
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+
+#include <nanowasm/nw.h>
+#include <nanowasm/types.h>
+#include <nw/interp.h>
+#include <nw/io.h>
+#include <nw/log.h>
+#include <nw/routines.h>
+#include <stddef.h>
+
+static enum nw_state get_bytecode(struct nw_interp *const in)
+{
+ const struct nw_io_cfg *const cfg = &in->cfg.io;
+ struct nw_i_sm_b *const b = &in->sm.bytecode;
+ const struct nwp_interp_set *const set = in->set;
+ static const char *const exc = "invalid opcode";
+ const enum nw_state n = nwp_io_read(cfg, &b->io, cfg->user);
+ size_t i;
+
+ if (n)
+ return n;
+
+ for (i = 0; i < set->n; i++)
+ if (b->op == set->opcodes[i])
+ {
+ b->f = nwp_ops.ops[b->op];
+ in->next = nwp_execute;
+ return NW_AGAIN;
+ }
+
+#ifdef NW_LOG
+ nwp_log("%s: %#x\n", exc, (unsigned)b->op);
+#endif
+ in->exception = exc;
+ return NW_FATAL;
+}
+
+void nwp_interp_limited(struct nw_interp *const i)
+{
+ struct nw_i_sm_b *const b = &i->sm.bytecode;
+ struct nw_sm_io io = {0};
+
+ io.buf = &b->op;
+ io.n = sizeof b->op;
+ b->io = io;
+ i->next = get_bytecode;
+}