First commit

6 files changed, 426 insertions, 0 deletions

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 <nw/log.h>
+#include <nw/interp.h>
+#include <nw/ops.h>
+#include <nanowasm/nw.h>
+#include <nw/types.h>
+#include <stddef.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+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 <nw/log.h>
+#include <nw/ops.h>
+#include <nanowasm/nw.h>
+#include <nw/types.h>
+#include <nw/interp.h>
+#include <stddef.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+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 <nw/log.h>
+#include <nw/ops.h>
+#include <nanowasm/nw.h>
+#include <nw/types.h>
+#include <stddef.h>
+#include <stdio.h>
+
+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 <nw/log.h>
+#include <nw/ops.h>
+#include <nanowasm/nw.h>
+#include <nw/types.h>
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdio.h>
+#include <stdint.h>
+#include <string.h>
+
+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 <nw/log.h>
+#include <nw/ops.h>
+#include <nanowasm/nw.h>
+#include <nw/types.h>
+#include <stddef.h>
+#include <stdio.h>
+
+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);
+}