update br_table validation rule + enforce module validity in spectest-interp (#1895)

13 files changed, 13 insertions, 13 deletions

diff --git a/test/spec/memory64/address.txt b/test/spec/memory64/address.txt
index da234e60..bcd0a55d 100644
--- a/test/spec/memory64/address.txt
+++ b/test/spec/memory64/address.txt
@@ -55,5 +55,5 @@ out/test/spec/memory64/address.wast:606: assert_trap passed: out of bounds memor
 out/test/spec/memory64/address.wast:607: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
 out/test/spec/memory64/address.wast:609: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536
 out/test/spec/memory64/address.wast:610: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
-256/256 tests passed.
+260/260 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/address64.txt b/test/spec/memory64/address64.txt
index 361f3a07..1e2de06a 100644
--- a/test/spec/memory64/address64.txt
+++ b/test/spec/memory64/address64.txt
@@ -34,5 +34,5 @@ out/test/spec/memory64/address64.wast:535: assert_trap passed: out of bounds mem
 out/test/spec/memory64/address64.wast:579: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536
 out/test/spec/memory64/address64.wast:581: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536
 out/test/spec/memory64/address64.wast:582: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
-238/238 tests passed.
+242/242 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/align64.txt b/test/spec/memory64/align64.txt
index 9ecd69cd..dc10a797 100644
--- a/test/spec/memory64/align64.txt
+++ b/test/spec/memory64/align64.txt
@@ -298,5 +298,5 @@ out/test/spec/memory64/align64.wast:452: assert_invalid passed:
   out/test/spec/memory64/align64/align64.105.wasm:000002a: error: alignment must not be larger than natural alignment (8)
   000002a: error: OnStoreExpr callback failed
 out/test/spec/memory64/align64.wast:864: assert_trap passed: out of bounds memory access: access at 65532+8 >= max value 65536
-131/131 tests passed.
+156/156 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/binary-leb128.txt b/test/spec/memory64/binary-leb128.txt
index 70d479dd..0cf6adb8 100644
--- a/test/spec/memory64/binary-leb128.txt
+++ b/test/spec/memory64/binary-leb128.txt
@@ -116,5 +116,5 @@ out/test/spec/memory64/binary-leb128.wast:955: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
 out/test/spec/memory64/binary-leb128.wast:987: assert_malformed passed:
   0000019: error: unable to read u32 leb128: opcode
-57/57 tests passed.
+83/83 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/binary.txt b/test/spec/memory64/binary.txt
index 9684aa25..d35ab503 100644
--- a/test/spec/memory64/binary.txt
+++ b/test/spec/memory64/binary.txt
@@ -179,5 +179,5 @@ out/test/spec/memory64/binary.wast:945: assert_malformed passed:
   0000025: error: OnBlockExpr callback failed
 out/test/spec/memory64/binary.wast:980: assert_malformed passed:
   0000017: error: multiple Start sections
-88/88 tests passed.
+105/105 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/endianness64.txt b/test/spec/memory64/endianness64.txt
index 245df153..1e6c73dc 100644
--- a/test/spec/memory64/endianness64.txt
+++ b/test/spec/memory64/endianness64.txt
@@ -2,5 +2,5 @@
 ;;; STDIN_FILE: third_party/testsuite/proposals/memory64/endianness64.wast
 ;;; ARGS*: --enable-memory64
 (;; STDOUT ;;;
-68/68 tests passed.
+69/69 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/float_memory64.txt b/test/spec/memory64/float_memory64.txt
index dff015ca..827e334f 100644
--- a/test/spec/memory64/float_memory64.txt
+++ b/test/spec/memory64/float_memory64.txt
@@ -26,5 +26,5 @@ reset() =>
 f64.store() =>
 reset() =>
 i64.store() =>
-84/84 tests passed.
+90/90 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/load64.txt b/test/spec/memory64/load64.txt
index 41e51756..1467ad7a 100644
--- a/test/spec/memory64/load64.txt
+++ b/test/spec/memory64/load64.txt
@@ -192,5 +192,5 @@ out/test/spec/memory64/load64.wast:551: assert_invalid passed:
 out/test/spec/memory64/load64.wast:560: assert_invalid passed:
   out/test/spec/memory64/load64/load64.59.wasm:000001f: error: type mismatch in i32.load, expected [i64] but got []
   000001f: error: OnLoadExpr callback failed
-96/96 tests passed.
+97/97 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/memory.txt b/test/spec/memory64/memory.txt
index 13d403a8..cf889bfb 100644
--- a/test/spec/memory64/memory.txt
+++ b/test/spec/memory64/memory.txt
@@ -79,5 +79,5 @@ out/test/spec/memory64/memory.wast:239: assert_malformed passed:
   out/test/spec/memory64/memory/memory.33.wat:1:32: error: redefinition of memory "$foo"
   (import "" "" (memory $foo 1))(import "" "" (memory $foo 1))
                                  ^^^^^^
-69/69 tests passed.
+79/79 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/memory64.txt b/test/spec/memory64/memory64.txt
index 8b895750..0de99839 100644
--- a/test/spec/memory64/memory64.txt
+++ b/test/spec/memory64/memory64.txt
@@ -35,5 +35,5 @@ out/test/spec/memory64/memory64.wast:43: assert_invalid passed:
 out/test/spec/memory64/memory64.wast:49: assert_invalid passed:
   out/test/spec/memory64/memory64/memory64.18.wasm:000000e: error: max pages (0) must be >= initial pages (1)
   000000e: error: OnMemory callback failed
-57/57 tests passed.
+65/65 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/memory_grow64.txt b/test/spec/memory64/memory_grow64.txt
index 1ffee956..ea097b08 100644
--- a/test/spec/memory64/memory_grow64.txt
+++ b/test/spec/memory64/memory_grow64.txt
@@ -8,5 +8,5 @@ out/test/spec/memory64/memory_grow64.wast:17: assert_trap passed: out of bounds
 out/test/spec/memory64/memory_grow64.wast:18: assert_trap passed: out of bounds memory access: access at 65536+4 >= max value 0
 out/test/spec/memory64/memory_grow64.wast:24: assert_trap passed: out of bounds memory access: access at 65536+4 >= max value 65536
 out/test/spec/memory64/memory_grow64.wast:25: assert_trap passed: out of bounds memory access: access at 65536+4 >= max value 65536
-45/45 tests passed.
+49/49 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/memory_redundancy64.txt b/test/spec/memory64/memory_redundancy64.txt
index 0bfbb8b0..ecd39e47 100644
--- a/test/spec/memory64/memory_redundancy64.txt
+++ b/test/spec/memory64/memory_redundancy64.txt
@@ -5,5 +5,5 @@
 zero_everything() =>
 zero_everything() =>
 zero_everything() =>
-7/7 tests passed.
+8/8 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/memory64/memory_trap64.txt b/test/spec/memory64/memory_trap64.txt
index 9836fd56..7ac3d133 100644
--- a/test/spec/memory64/memory_trap64.txt
+++ b/test/spec/memory64/memory_trap64.txt
@@ -168,5 +168,5 @@ out/test/spec/memory64/memory_trap64.wast:262: assert_trap passed: out of bounds
 out/test/spec/memory64/memory_trap64.wast:263: assert_trap passed: out of bounds memory access: access at 18446744073709551614+4 >= max value 65536
 out/test/spec/memory64/memory_trap64.wast:264: assert_trap passed: out of bounds memory access: access at 18446744073709551613+4 >= max value 65536
 out/test/spec/memory64/memory_trap64.wast:265: assert_trap passed: out of bounds memory access: access at 18446744073709551612+4 >= max value 65536
-170/170 tests passed.
+172/172 tests passed.
 ;;; STDOUT ;;)