1 files changed, 29 insertions, 0 deletions
diff --git a/src/op/f64_const.c b/src/op/f64_const.c
new file mode 100644
index 0000000..01c3401
--- /dev/null
+++ b/src/op/f64_const.c
@@ -0,0 +1,29 @@
+#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)
+{
+    varuint64 value;
+
+    if (varuint64_read(f, &value))
+    {
+        fprintf(stderr, "%s: varuint64_read failed\n", __func__);
+        return -1;
+    }
+
+    return 0;
+}
+
+int op_f64_const(struct interp *const i)
+{
+    return op(i->cfg.f, i);
+}
+
+int check_f64_const(FILE *const f)
+{
+    return op(f, NULL);
+}