summaryrefslogtreecommitdiff
path: root/test/wasm2c/spec/memory64/imports.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/wasm2c/spec/memory64/imports.txt')
-rw-r--r--test/wasm2c/spec/memory64/imports.txt19
1 files changed, 19 insertions, 0 deletions
diff --git a/test/wasm2c/spec/memory64/imports.txt b/test/wasm2c/spec/memory64/imports.txt
new file mode 100644
index 00000000..7cefbce0
--- /dev/null
+++ b/test/wasm2c/spec/memory64/imports.txt
@@ -0,0 +1,19 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/imports.wast
+;;; ARGS*: --enable-memory64 --enable-exceptions --enable-multi-memory
+(;; STDOUT ;;;
+spectest.print_i32(13)
+spectest.print_i32_f32(14 42)
+spectest.print_i32(13)
+spectest.print_i32(13)
+spectest.print_f32(13)
+spectest.print_i32(13)
+spectest.print_i64(24)
+spectest.print_f64_f64(25 53)
+spectest.print_i64(24)
+spectest.print_f64(24)
+spectest.print_f64(24)
+spectest.print_f64(24)
+spectest.print_i32(13)
+34/34 tests passed.
+;;; STDOUT ;;)