diff options
Diffstat (limited to 'src/routines/unary.c')
| -rw-r--r-- | src/routines/unary.c | 86 |
1 files changed, 86 insertions, 0 deletions
diff --git a/src/routines/unary.c b/src/routines/unary.c new file mode 100644 index 0000000..d65f8aa --- /dev/null +++ b/src/routines/unary.c @@ -0,0 +1,86 @@ +/* + * 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 <nw/io.h> +#include <nw/interp.h> +#include <nw/log.h> +#include <nw/routines.h> +#include <nw/stack.h> +#include <nw/types.h> + +static enum nw_state push(struct nw_interp *const i) +{ + struct nw_i_sm_unary *const u = &i->sm.unary; + const enum nw_state n = nwp_stack_push(i, &u->io); + + if (n) + return n; + + i->push_type = u->type; + nwp_interp_resume(i); + return NW_AGAIN; +} + +static enum nw_state pop(struct nw_interp *const i) +{ + struct nw_i_sm_unary *const u = &i->sm.unary; + const enum nw_state n = nwp_stack_pop(i, &u->io); + size_t sz; + + if (n) + return n; + else if (u->op(&u->in, &u->out)) + { + static const char *const exc = "unary operation failed"; + + i->exception = exc; +#ifdef NW_LOG + nwp_log("%s\n", exc); +#endif + return NW_FATAL; + } + else if (nwp_type_sz(u->type, &sz)) + { + static const char *const exc = "invalid type"; + + i->exception = exc; +#ifdef NW_LOG + nwp_log("%s: %d\n", exc, u->type); +#endif + return NW_FATAL; + } + else + { + struct nw_sm_io io = {0}; + + io.buf = &u->out; + io.n = sz; + u->io = io; + } + + i->next = push; + return NW_AGAIN; +} + +void nwp_unary(struct nw_interp *const i, const enum nw_type t, + int (*const op)(const union nw_value *, union nw_value *)) +{ + const struct nw_i_sm_unary u = {0}; + struct nw_i_sm_unary *const pu = &i->sm.unary; + size_t sz; + + *pu = u; + pu->type = t; + pu->op = op; + nwp_type_sz(t, &sz); + pu->io.buf = &pu->in; + pu->io.n = sz; + i->next = pop; +} |
