summaryrefslogtreecommitdiff
path: root/test/wasm2c/spec
diff options
context:
space:
mode:
Diffstat (limited to 'test/wasm2c/spec')
-rw-r--r--test/wasm2c/spec/exception-handling/imports.txt2
-rw-r--r--test/wasm2c/spec/float_exprs.txt2
-rw-r--r--test/wasm2c/spec/float_misc.txt2
-rw-r--r--test/wasm2c/spec/imports.txt2
-rw-r--r--test/wasm2c/spec/memory.txt2
-rw-r--r--test/wasm2c/spec/memory64/binary0.txt6
-rw-r--r--test/wasm2c/spec/memory64/imports.txt19
-rw-r--r--test/wasm2c/spec/memory64/memory.txt2
-rw-r--r--test/wasm2c/spec/memory64/table.txt78
-rw-r--r--test/wasm2c/spec/memory64/table_copy_mixed.txt6
-rw-r--r--test/wasm2c/spec/memory64/table_grow.txt2
-rw-r--r--test/wasm2c/spec/memory_grow.txt2
-rw-r--r--test/wasm2c/spec/multi-memory/align.txt6
-rw-r--r--test/wasm2c/spec/multi-memory/imports.txt2
-rw-r--r--test/wasm2c/spec/multi-memory/memory.txt2
-rw-r--r--test/wasm2c/spec/multi-memory/memory_grow.txt2
-rw-r--r--test/wasm2c/spec/table_grow.txt2
17 files changed, 126 insertions, 13 deletions
diff --git a/test/wasm2c/spec/exception-handling/imports.txt b/test/wasm2c/spec/exception-handling/imports.txt
index 8934d77a..d3a3c170 100644
--- a/test/wasm2c/spec/exception-handling/imports.txt
+++ b/test/wasm2c/spec/exception-handling/imports.txt
@@ -15,5 +15,5 @@ spectest.print_f64(24)
spectest.print_f64(24)
spectest.print_f64(24)
spectest.print_i32(13)
-37/37 tests passed.
+34/34 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/float_exprs.txt b/test/wasm2c/spec/float_exprs.txt
index e0f92791..930dbced 100644
--- a/test/wasm2c/spec/float_exprs.txt
+++ b/test/wasm2c/spec/float_exprs.txt
@@ -2,5 +2,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/float_exprs.wast
(;; STDOUT ;;;
-794/794 tests passed.
+819/819 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/float_misc.txt b/test/wasm2c/spec/float_misc.txt
index f7f9b23c..c7d340ed 100644
--- a/test/wasm2c/spec/float_misc.txt
+++ b/test/wasm2c/spec/float_misc.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/float_misc.wast
(;; STDOUT ;;;
-440/440 tests passed.
+470/470 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/imports.txt b/test/wasm2c/spec/imports.txt
index 11bb6ed0..d7edf299 100644
--- a/test/wasm2c/spec/imports.txt
+++ b/test/wasm2c/spec/imports.txt
@@ -14,5 +14,5 @@ spectest.print_f64(24)
spectest.print_f64(24)
spectest.print_f64(24)
spectest.print_i32(13)
-37/37 tests passed.
+34/34 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory.txt b/test/wasm2c/spec/memory.txt
index e5a4da1c..08b6e49d 100644
--- a/test/wasm2c/spec/memory.txt
+++ b/test/wasm2c/spec/memory.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/memory.wast
(;; STDOUT ;;;
-45/45 tests passed.
+53/53 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/binary0.txt b/test/wasm2c/spec/memory64/binary0.txt
new file mode 100644
index 00000000..f49c0662
--- /dev/null
+++ b/test/wasm2c/spec/memory64/binary0.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/binary0.wast
+;;; ARGS*: --enable-memory64 --enable-multi-memory
+(;; STDOUT ;;;
+0/0 tests passed.
+;;; STDOUT ;;)
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 ;;)
diff --git a/test/wasm2c/spec/memory64/memory.txt b/test/wasm2c/spec/memory64/memory.txt
index 5260807c..0f06b345 100644
--- a/test/wasm2c/spec/memory64/memory.txt
+++ b/test/wasm2c/spec/memory64/memory.txt
@@ -2,5 +2,5 @@
;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
-45/45 tests passed.
+53/53 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table.txt b/test/wasm2c/spec/memory64/table.txt
index a553dd52..190e16b1 100644
--- a/test/wasm2c/spec/memory64/table.txt
+++ b/test/wasm2c/spec/memory64/table.txt
@@ -1,6 +1,82 @@
;;; TOOL: run-spec-wasm2c
-;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table.wast
;;; ARGS*: --enable-memory64
+;; memory64 table.wast from last commit before wasm-3.0 merge
+
+(module (table 0 funcref))
+(module (table 1 funcref))
+(module (table 0 0 funcref))
+(module (table 0 1 funcref))
+(module (table 1 256 funcref))
+(module (table 0 65536 funcref))
+(module (table 0 0xffff_ffff funcref))
+
+(module (table 0 funcref) (table 0 funcref))
+(module (table (import "spectest" "table") 0 funcref) (table 0 funcref))
+
+(assert_invalid
+ (module (table 1 0 funcref))
+ "size minimum must not be greater than maximum"
+)
+(assert_invalid
+ (module (table 0xffff_ffff 0 funcref))
+ "size minimum must not be greater than maximum"
+)
+
+(assert_invalid
+ (module quote "(table 0x1_0000_0000 funcref)")
+ "table size must be at most 2^32-1"
+)
+(assert_invalid
+ (module quote "(table 0x1_0000_0000 0x1_0000_0000 funcref)")
+ "table size must be at most 2^32-1"
+)
+(assert_invalid
+ (module quote "(table 0 0x1_0000_0000 funcref)")
+ "table size must be at most 2^32-1"
+)
+
+;; Same as above but with i64 index types
+
+(module (table i64 0 funcref))
+(module (table i64 1 funcref))
+(module (table i64 0 0 funcref))
+(module (table i64 0 1 funcref))
+(module (table i64 1 256 funcref))
+(module (table i64 0 65536 funcref))
+(module (table i64 0 0xffff_ffff funcref))
+
+(module (table i64 0 funcref) (table i64 0 funcref))
+(module (table (import "spectest" "table64") i64 0 funcref) (table i64 0 funcref))
+
+(assert_invalid
+ (module (table i64 1 0 funcref))
+ "size minimum must not be greater than maximum"
+)
+(assert_invalid
+ (module (table i64 0xffff_ffff 0 funcref))
+ "size minimum must not be greater than maximum"
+)
+
+;; Elem segments with no table
+
+(assert_invalid (module (elem (i32.const 0))) "unknown table")
+(assert_invalid (module (elem (i32.const 0) $f) (func $f)) "unknown table")
+
+;; Duplicate table identifiers
+
+(assert_malformed (module quote
+ "(table $foo 1 funcref)"
+ "(table $foo 1 funcref)")
+ "duplicate table")
+(assert_malformed (module quote
+ "(import \"\" \"\" (table $foo 1 funcref))"
+ "(table $foo 1 funcref)")
+ "duplicate table")
+(assert_malformed (module quote
+ "(import \"\" \"\" (table $foo 1 funcref))"
+ "(import \"\" \"\" (table $foo 1 funcref))")
+ "duplicate table")
+
(;; STDOUT ;;;
0/0 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_copy_mixed.txt b/test/wasm2c/spec/memory64/table_copy_mixed.txt
new file mode 100644
index 00000000..e6d651f2
--- /dev/null
+++ b/test/wasm2c/spec/memory64/table_copy_mixed.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_copy_mixed.wast
+;;; ARGS*: --enable-memory64
+(;; STDOUT ;;;
+0/0 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory64/table_grow.txt b/test/wasm2c/spec/memory64/table_grow.txt
index c97a1864..545d8d42 100644
--- a/test/wasm2c/spec/memory64/table_grow.txt
+++ b/test/wasm2c/spec/memory64/table_grow.txt
@@ -2,5 +2,5 @@
;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_grow.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
-59/59 tests passed.
+62/62 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory_grow.txt b/test/wasm2c/spec/memory_grow.txt
index 8381ed4e..60112aeb 100644
--- a/test/wasm2c/spec/memory_grow.txt
+++ b/test/wasm2c/spec/memory_grow.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/memory_grow.wast
(;; STDOUT ;;;
-84/84 tests passed.
+87/87 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/multi-memory/align.txt b/test/wasm2c/spec/multi-memory/align.txt
new file mode 100644
index 00000000..44bf3901
--- /dev/null
+++ b/test/wasm2c/spec/multi-memory/align.txt
@@ -0,0 +1,6 @@
+;;; TOOL: run-spec-wasm2c
+;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/align.wast
+;;; ARGS*: --enable-multi-memory
+(;; STDOUT ;;;
+48/48 tests passed.
+;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/multi-memory/imports.txt b/test/wasm2c/spec/multi-memory/imports.txt
index b31cef7b..35aab146 100644
--- a/test/wasm2c/spec/multi-memory/imports.txt
+++ b/test/wasm2c/spec/multi-memory/imports.txt
@@ -14,5 +14,5 @@ spectest.print_f64(24)
spectest.print_f64(24)
spectest.print_f64(24)
spectest.print_i32(13)
-37/37 tests passed.
+34/34 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/multi-memory/memory.txt b/test/wasm2c/spec/multi-memory/memory.txt
index 57013cc7..454d48c8 100644
--- a/test/wasm2c/spec/multi-memory/memory.txt
+++ b/test/wasm2c/spec/multi-memory/memory.txt
@@ -2,5 +2,5 @@
;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/memory.wast
;;; ARGS*: --enable-multi-memory
(;; STDOUT ;;;
-45/45 tests passed.
+53/53 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/multi-memory/memory_grow.txt b/test/wasm2c/spec/multi-memory/memory_grow.txt
index 3731de5d..7af15912 100644
--- a/test/wasm2c/spec/multi-memory/memory_grow.txt
+++ b/test/wasm2c/spec/multi-memory/memory_grow.txt
@@ -2,5 +2,5 @@
;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/memory_grow.wast
;;; ARGS*: --enable-multi-memory
(;; STDOUT ;;;
-131/131 tests passed.
+134/134 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/table_grow.txt b/test/wasm2c/spec/table_grow.txt
index 23ebed3f..327af02d 100644
--- a/test/wasm2c/spec/table_grow.txt
+++ b/test/wasm2c/spec/table_grow.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/table_grow.wast
(;; STDOUT ;;;
-38/38 tests passed.
+41/41 tests passed.
;;; STDOUT ;;)
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 22:23:14 +0000