From 144b7fe1415ff97497fa4ea3b95e8dd6b95d069e Mon Sep 17 00:00:00 2001 From: Xavier Del Campo Romero Date: Sat, 7 Sep 2024 00:04:38 +0200 Subject: First commit --- src/op/check/block.c | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 src/op/check/block.c (limited to 'src/op/check/block.c') diff --git a/src/op/check/block.c b/src/op/check/block.c new file mode 100644 index 0000000..c58c0f6 --- /dev/null +++ b/src/op/check/block.c @@ -0,0 +1,34 @@ +/* + * nanowasm, a tiny WebAssembly/Wasm interpreter + * Copyright (C) 2023-2024 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 +#include +#include + +static enum nw_state get_type(struct nw_mod *const m) +{ + nw_varint7 type; + const struct nw_io_cfg *const cfg = &m->cfg.io; + struct nw_sm_c *const c = &m->sm.code; + struct nw_sm_leb128 *const l = &c->leb128; + const enum nw_state n = nwp_varint7(cfg, l, &type); + + if (n) + return n; + + /* TODO: check block type. */ + c->fn.blocks++; + m->next = m->sm.code.next; + return NW_AGAIN; +} + +void nwp_op_check_block(struct nw_mod *const m) +{ + m->next = get_type; +} -- cgit v1.2.3