From 52c18e60929b64285d4bb333f87482d954c9b2e0 Mon Sep 17 00:00:00 2001
From: Xavier Del Campo Romero <xavi.dcr@tutanota.com>
Date: Sun, 26 Nov 2023 22:43:30 +0100
Subject: First commit

---
 src/op/current_memory.c | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 src/op/current_memory.c

(limited to 'src/op/current_memory.c')

diff --git a/src/op/current_memory.c b/src/op/current_memory.c
new file mode 100644
index 0000000..4c1f26a
--- /dev/null
+++ b/src/op/current_memory.c
@@ -0,0 +1,35 @@
+#include <ops.h>
+#include <interp.h>
+#include <interp_private.h>
+#include <wasm_types.h>
+#include <stddef.h>
+#include <stdio.h>
+
+static int op(FILE *const f, struct interp *const i)
+{
+    varuint1 reserved;
+
+    if (varuint1_read(f, &reserved))
+    {
+        fprintf(stderr, "%s: varuint1_read failed\n", __func__);
+        return 1;
+    }
+    else if (reserved)
+    {
+        fprintf(stderr, "%s: unexpected non-zero reserved value %u\n",
+            __func__, (unsigned)reserved);
+        return 1;
+    }
+
+    return 0;
+}
+
+int op_current_memory(struct interp *const i)
+{
+    return op(i->cfg.f, i);
+}
+
+int check_current_memory(FILE *const f)
+{
+    return op(f, NULL);
+}
-- 
cgit v1.2.3