diff options
| author | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2024-09-07 00:04:38 +0200 |
|---|---|---|
| committer | Xavier Del Campo Romero <xavi92@disroot.org> | 2025-11-06 14:38:40 +0100 |
| commit | 6d9d80362f9932bbc87e162b8ef7df06c73e27e1 (patch) | |
| tree | e3e228c63fe26f07503f226de7fb5086b3dc2286 /src/interp/routines | |
| download | nanowasm-6d9d80362f9932bbc87e162b8ef7df06c73e27e1.tar.gz | |
First commit
Diffstat (limited to 'src/interp/routines')
| -rw-r--r-- | src/interp/routines/CMakeLists.txt | 13 | ||||
| -rw-r--r-- | src/interp/routines/execute.c | 83 | ||||
| -rw-r--r-- | src/interp/routines/find_export.c | 229 | ||||
| -rw-r--r-- | src/interp/routines/full.c | 63 | ||||
| -rw-r--r-- | src/interp/routines/limited.c | 54 |
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; +} |
