From f25b015e5b668028c34974bbb22faa4105c26690 Mon Sep 17 00:00:00 2001 From: Xavier Del Campo Romero Date: Sun, 26 Nov 2023 22:43:30 +0100 Subject: First commit --- src/op/variable_access/CMakeLists.txt | 14 ++++ src/op/variable_access/get_global.c | 100 +++++++++++++++++++++++++++ src/op/variable_access/get_local.c | 112 ++++++++++++++++++++++++++++++ src/op/variable_access/set_global.c | 38 +++++++++++ src/op/variable_access/set_local.c | 124 ++++++++++++++++++++++++++++++++++ src/op/variable_access/tee_local.c | 38 +++++++++++ 6 files changed, 426 insertions(+) create mode 100644 src/op/variable_access/CMakeLists.txt create mode 100644 src/op/variable_access/get_global.c create mode 100644 src/op/variable_access/get_local.c create mode 100644 src/op/variable_access/set_global.c create mode 100644 src/op/variable_access/set_local.c create mode 100644 src/op/variable_access/tee_local.c (limited to 'src/op/variable_access') diff --git a/src/op/variable_access/CMakeLists.txt b/src/op/variable_access/CMakeLists.txt new file mode 100644 index 0000000..314b5bf --- /dev/null +++ b/src/op/variable_access/CMakeLists.txt @@ -0,0 +1,14 @@ +# 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 + get_global.c + get_local.c + set_global.c + set_local.c + tee_local.c +) diff --git a/src/op/variable_access/get_global.c b/src/op/variable_access/get_global.c new file mode 100644 index 0000000..d38f2d0 --- /dev/null +++ b/src/op/variable_access/get_global.c @@ -0,0 +1,100 @@ +/* + * 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 +#include +#include +#include +#include +#include +#include + +static int get_i32(struct nw_interp *const i, const void *const src) +{ + return interp_stack_push(i, src, sizeof (int32_t)); +} + +static int get_i64(struct nw_interp *const i, const void *const src) +{ + return interp_stack_push(i, src, sizeof (int64_t)); +} + +static int get_f32(struct nw_interp *const i, const void *const src) +{ + return interp_stack_push(i, src, sizeof (float)); +} + +static int get_f64(struct nw_interp *const i, const void *const src) +{ + return interp_stack_push(i, src, sizeof (double)); +} + +static int get_global(struct nw_interp *const i, const varuint32 global_index) +{ + struct nw_gframe *gfr; + varuint32 idx; + + for (idx = global_index, gfr = i->gfp; gfr; gfr = gfr->next) + if (idx == global_index) + break; + + if (!gfr) + { + LOG("%s: cannot access global variable %lu\n", __func__, + (unsigned long)global_index); + i->exception = "global variable index out of bounds"; + return -1; + } + + static int (*const get[])(struct nw_interp *, const void *) = + { + [VALUE_TYPE_I32] = get_i32, + [VALUE_TYPE_I64] = get_i64, + [VALUE_TYPE_F32] = get_f32, + [VALUE_TYPE_F64] = get_f64, + }; + + if (get[gfr->type](i, gfr + 1)) + { + LOG("%s: get type %s failed\n", __func__, value_type_tostr(gfr->type)); + return -1; + } + + return 0; +} + +static int op(struct nw_interp *const i, FILE *const f) +{ + varuint32 global_index; + + if (varuint32_read(f, &global_index)) + { + LOG("%s: varuint32_read failed\n", __func__); + return 1; + } + else if (i && get_global(i, global_index)) + { + LOG("%s: get_global failed\n", __func__); + return -1; + } + + return 0; +} + +int op_get_global(struct nw_interp *const i) +{ + return op(i, i->f); +} + +int check_get_global(FILE *const f) +{ + return op(NULL, f); +} diff --git a/src/op/variable_access/get_local.c b/src/op/variable_access/get_local.c new file mode 100644 index 0000000..745a2e7 --- /dev/null +++ b/src/op/variable_access/get_local.c @@ -0,0 +1,112 @@ +/* + * 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 +#include +#include +#include +#include +#include +#include + +static int get_i32(struct nw_interp *const i, const void *const data, + const varuint32 idx) +{ + const int32_t *const src = (const int32_t *)data + idx; + + return interp_stack_push(i, src, sizeof (*src)); +} + +static int get_i64(struct nw_interp *const i, const void *const data, + const varuint32 idx) +{ + const int64_t *const src = (const int64_t *)data + idx; + + return interp_stack_push(i, src, sizeof (*src)); +} + +static int get_f32(struct nw_interp *const i, const void *const data, + const varuint32 idx) +{ + const float *const src = (const float *)data + idx; + + return interp_stack_push(i, src, sizeof (*src)); +} + +static int get_f64(struct nw_interp *const i, const void *const data, + const varuint32 idx) +{ + const double *const src = (const double *)data + idx; + + return interp_stack_push(i, src, sizeof (*src)); +} + +static int get_local(const varuint32 local_index, struct nw_interp *const i) +{ + struct nw_frame *fr; + varuint32 idx; + + for (idx = local_index, fr = i->fp; fr; fr = fr->next) + if (idx < fr->n_locals) + break; + + if (!fr) + { + LOG("%s: cannot access local variable %lu\n", __func__, + (unsigned long)local_index); + i->exception = "local variable index out of bounds"; + return -1; + } + + static int (*const get[])(struct nw_interp *, const void *, varuint32) = + { + [VALUE_TYPE_I32] = get_i32, + [VALUE_TYPE_I64] = get_i64, + [VALUE_TYPE_F32] = get_f32, + [VALUE_TYPE_F64] = get_f64, + }; + + if (get[fr->local_type](i, fr + 1, idx)) + { + LOG("%s: get type %d failed\n", __func__, fr->local_type); + return -1; + } + + return 0; +} + +static int op(struct nw_interp *const i, FILE *const f) +{ + varuint32 local_index; + + if (varuint32_read(f, &local_index)) + { + LOG("%s: varuint32_read failed\n", __func__); + return 1; + } + else if (i && get_local(local_index, i)) + { + LOG("%s: get_local failed\n", __func__); + return -1; + } + + return 0; +} + +int op_get_local(struct nw_interp *const i) +{ + return op(i, i->f); +} + +int check_get_local(FILE *const f) +{ + return op(NULL, f); +} diff --git a/src/op/variable_access/set_global.c b/src/op/variable_access/set_global.c new file mode 100644 index 0000000..d1229c5 --- /dev/null +++ b/src/op/variable_access/set_global.c @@ -0,0 +1,38 @@ +/* + * 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 +#include +#include +#include + +static int op(struct nw_interp *const i, FILE *const f) +{ + varuint32 global_index; + + if (varuint32_read(f, &global_index)) + { + LOG("%s: varuint32_read failed\n", __func__); + return 1; + } + + return 0; +} + +int op_set_global(struct nw_interp *const i) +{ + return op(i, i->f); +} + +int check_set_global(FILE *const f) +{ + return op(NULL, f); +} diff --git a/src/op/variable_access/set_local.c b/src/op/variable_access/set_local.c new file mode 100644 index 0000000..8cf6440 --- /dev/null +++ b/src/op/variable_access/set_local.c @@ -0,0 +1,124 @@ +/* + * 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 +#include +#include +#include +#include +#include +#include + +static int set_i32(struct nw_interp *const i, void *const data, + const varuint32 idx) +{ + const void *const stackptr = (const char *)i->cfg.stack.buf + i->stack_i; + const int32_t *const src = (const int32_t *)stackptr - 1; + int32_t *const dst = (int32_t *)data + idx; + + *dst = *src; + return 0; +} + +static int set_i64(struct nw_interp *const i, void *const data, + const varuint32 idx) +{ + const void *const stackptr = (const char *)i->cfg.stack.buf + i->stack_i; + const int64_t *const src = (const int64_t *)stackptr - 1; + int64_t *const dst = (int64_t *)data + idx; + + *dst = *src; + return 0; +} + +static int set_f32(struct nw_interp *const i, void *const data, + const varuint32 idx) +{ + const void *const stackptr = (const char *)i->cfg.stack.buf + i->stack_i; + const float *const src = (const float *)stackptr - 1; + float *const dst = (float *)data + idx; + + *dst = *src; + return 0; +} + +static int set_f64(struct nw_interp *const i, void *const data, + const varuint32 idx) +{ + const void *const stackptr = (const char *)i->cfg.stack.buf + i->stack_i; + const double *const src = (const double *)stackptr - 1; + double *const dst = (double *)data + idx; + + *dst = *src; + return 0; +} + +static int set_local(const varuint32 local_index, struct nw_interp *const i) +{ + struct nw_frame *fr; + varuint32 idx; + + for (idx = local_index, fr = i->fp; fr; fr = fr->next) + if (idx < fr->n_locals) + break; + + if (!fr) + { + LOG("%s: cannot access local variable %lu\n", __func__, + (unsigned long)local_index); + i->exception = "local variable index out of bounds"; + return -1; + } + + static int (*const set[])(struct nw_interp *, void *, varuint32) = + { + [VALUE_TYPE_I32] = set_i32, + [VALUE_TYPE_I64] = set_i64, + [VALUE_TYPE_F32] = set_f32, + [VALUE_TYPE_F64] = set_f64, + }; + + if (set[fr->local_type](i, fr + 1, idx)) + { + LOG("%s: set type %d failed\n", __func__, fr->local_type); + return -1; + } + + return 0; +} + +static int op(struct nw_interp *const i, FILE *const f) +{ + varuint32 local_index; + + if (varuint32_read(f, &local_index)) + { + LOG("%s: varuint32_read failed\n", __func__); + return 1; + } + else if (i && set_local(local_index, i)) + { + LOG("%s: set_local failed\n", __func__); + return -1; + } + + return 0; +} + +int op_set_local(struct nw_interp *const i) +{ + return op(i, i->f); +} + +int check_set_local(FILE *const f) +{ + return op(NULL, f); +} diff --git a/src/op/variable_access/tee_local.c b/src/op/variable_access/tee_local.c new file mode 100644 index 0000000..00d7832 --- /dev/null +++ b/src/op/variable_access/tee_local.c @@ -0,0 +1,38 @@ +/* + * 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 +#include +#include +#include + +static int op(struct nw_interp *const i, FILE *const f) +{ + varuint32 local_index; + + if (varuint32_read(f, &local_index)) + { + LOG("%s: varuint32_read failed\n", __func__); + return 1; + } + + return 0; +} + +int op_tee_local(struct nw_interp *const i) +{ + return op(i, i->f); +} + +int check_tee_local(FILE *const f) +{ + return op(NULL, f); +} -- cgit v1.2.3