13 files changed, 73 insertions, 1 deletions
diff --git a/test/wasm2c/spec/float_literals.txt b/test/wasm2c/spec/float_literals.txt
index ad0e888b..dd264769 100644
--- a/test/wasm2c/spec/float_literals.txt
+++ b/test/wasm2c/spec/float_literals.txt
@@ -1,5 +1,5 @@
 ;;; TOOL: run-spec-wasm2c
 ;;; STDIN_FILE: third_party/testsuite/float_literals.wast
 (;; STDOUT ;;;
-83/83 tests passed.
+99/99 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/call_indirect.txt b/test/wasm2c/spec/memory64/call_indirect.txt
new file mode 100644
index 00000000..ece6a066
--- /dev/null
+++ b/test/wasm2c/spec/memory64/call_indirect.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/call_indirect.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+135/135 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/memory_copy.txt b/test/wasm2c/spec/memory64/memory_copy.txt
new file mode 100644
index 00000000..e8f4dc3f
--- /dev/null
+++ b/test/wasm2c/spec/memory64/memory_copy.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory_copy.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+8676/8676 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/memory_fill.txt b/test/wasm2c/spec/memory64/memory_fill.txt
new file mode 100644
index 00000000..f5ceee98
--- /dev/null
+++ b/test/wasm2c/spec/memory64/memory_fill.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory_fill.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+40/40 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/memory_init.txt b/test/wasm2c/spec/memory64/memory_init.txt
new file mode 100644
index 00000000..f3b768dd
--- /dev/null
+++ b/test/wasm2c/spec/memory64/memory_init.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory_init.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+280/280 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table.txt b/test/wasm2c/spec/memory64/table.txt
new file mode 100644
index 00000000..a553dd52
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+0/0 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_copy.txt b/test/wasm2c/spec/memory64/table_copy.txt
new file mode 100644
index 00000000..b0480243
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_copy.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_copy.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+1663/1663 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_fill.txt b/test/wasm2c/spec/memory64/table_fill.txt
new file mode 100644
index 00000000..a4344686
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_fill.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_fill.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+70/70 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_get.txt b/test/wasm2c/spec/memory64/table_get.txt
new file mode 100644
index 00000000..4281fb24
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_get.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_get.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+10/10 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_grow.txt b/test/wasm2c/spec/memory64/table_grow.txt
new file mode 100644
index 00000000..c97a1864
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_grow.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_grow.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+59/59 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_init.txt b/test/wasm2c/spec/memory64/table_init.txt
new file mode 100644
index 00000000..a7b617de
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_init.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_init.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+752/752 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_set.txt b/test/wasm2c/spec/memory64/table_set.txt
new file mode 100644
index 00000000..7a9c8c09
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_set.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_set.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+20/20 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_size.txt b/test/wasm2c/spec/memory64/table_size.txt
new file mode 100644
index 00000000..2cc1217f
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_size.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_size.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+37/37 tests passed.
+;;; STDOUT ;;)