diff options
| author | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2023-11-26 22:43:30 +0100 |
|---|---|---|
| committer | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2024-04-21 01:51:24 +0200 |
| commit | f25b015e5b668028c34974bbb22faa4105c26690 (patch) | |
| tree | 28f2b08c17b3585d06694ad74004d0617eadb785 /src/op/call | |
| download | nanowasm-sync-f25b015e5b668028c34974bbb22faa4105c26690.tar.gz | |
First commit
Diffstat (limited to 'src/op/call')
| -rw-r--r-- | src/op/call/CMakeLists.txt | 11 | ||||
| -rw-r--r-- | src/op/call/call.c | 79 | ||||
| -rw-r--r-- | src/op/call/call_indirect.c | 49 |
3 files changed, 139 insertions, 0 deletions
diff --git a/src/op/call/CMakeLists.txt b/src/op/call/CMakeLists.txt new file mode 100644 index 0000000..527f35d --- /dev/null +++ b/src/op/call/CMakeLists.txt @@ -0,0 +1,11 @@ +# 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/. + +target_sources(${PROJECT_NAME} PRIVATE + call.c + call_indirect.c +) diff --git a/src/op/call/call.c b/src/op/call/call.c new file mode 100644 index 0000000..19355ca --- /dev/null +++ b/src/op/call/call.c @@ -0,0 +1,79 @@ +/* + * 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 <nw/log.h> +#include <nw/ops.h> +#include <nanowasm/nw.h> +#include <nw/interp.h> +#include <nw/search.h> +#include <nw/sections.h> +#include <nw/types.h> +#include <errno.h> +#include <stdio.h> +#include <string.h> + +static int call(struct nw_interp *const i, const varuint32 function_index) +{ + FILE *const f = i->f; + const struct nw_mod *const m = i->cfg.m; + struct nw_frame fr = {0}; + struct search_fn fn; + + /* TODO: treat import functions. */ + if (search_fn(function_index, m, f, &fn)) + { + LOG("%s: search_fn failed\n", __func__); + return -1; + } + else if (section_type_push(f, m, fn.index, &fr)) + { + LOG("%s: section_type_push failed\n", __func__); + return -1; + } + else if (section_code_push(f, fn.start, &fr)) + { + LOG("%s: section_code_push failed\n", __func__); + return -1; + } + else if (interp_push(i, &fr)) + { + LOG("%s: interp_push failed\n", __func__); + return -1; + } + + return 0; +} + +static int op(struct nw_interp *const i, FILE *const f) +{ + varuint32 function_index; + + if (varuint32_read(f, &function_index)) + { + LOG("%s: varuint32_read failed\n", __func__); + return -1; + } + else if (i && call(i, function_index)) + { + LOG("%s: call failed\n", __func__); + return -1; + } + + return 0; +} + +int op_call(struct nw_interp *const i) +{ + return op(i, i->f); +} + +int check_call(FILE *const f) +{ + return op(NULL, f); +} diff --git a/src/op/call/call_indirect.c b/src/op/call/call_indirect.c new file mode 100644 index 0000000..bae8a57 --- /dev/null +++ b/src/op/call/call_indirect.c @@ -0,0 +1,49 @@ +/* + * 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 <nw/log.h> +#include <nw/ops.h> +#include <nanowasm/nw.h> +#include <nw/types.h> +#include <stdio.h> + +static int op(struct nw_interp *const i, FILE *const f) +{ + varuint32 type_index; + varuint1 reserved; + + if (varuint32_read(f, &type_index)) + { + LOG("%s: varuint32_read failed\n", __func__); + return 1; + } + else if (varuint1_read(f, &reserved)) + { + LOG("%s: varuint1_read failed\n", __func__); + return 1; + } + else if (reserved) + { + LOG("%s: unexpected non-zero reserved value %u\n", + __func__, (unsigned)reserved); + return 1; + } + + return 0; +} + +int op_call_indirect(struct nw_interp *const i) +{ + return op(i, i->f); +} + +int check_call_indirect(FILE *const f) +{ + return op(NULL, f); +} |
