summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/tools/spectest-interp.cc7
-rw-r--r--src/type-checker.cc2
-rw-r--r--test/regress/regress-34.txt2
-rw-r--r--test/spec/address.txt2
-rw-r--r--test/spec/align.txt2
-rw-r--r--test/spec/binary-leb128.txt2
-rw-r--r--test/spec/binary.txt2
-rw-r--r--test/spec/block.txt2
-rw-r--r--test/spec/br.txt2
-rw-r--r--test/spec/br_if.txt2
-rw-r--r--test/spec/br_table.txt2
-rw-r--r--test/spec/bulk.txt2
-rw-r--r--test/spec/call.txt2
-rw-r--r--test/spec/call_indirect.txt2
-rw-r--r--test/spec/comments.txt2
-rw-r--r--test/spec/const.txt2
-rw-r--r--test/spec/conversions.txt2
-rw-r--r--test/spec/custom.txt2
-rw-r--r--test/spec/data.txt2
-rw-r--r--test/spec/elem.txt2
-rw-r--r--test/spec/endianness.txt2
-rw-r--r--test/spec/exception-handling/binary.txt2
-rw-r--r--test/spec/exception-handling/exports.txt2
-rw-r--r--test/spec/exception-handling/imports.txt2
-rw-r--r--test/spec/exception-handling/rethrow.txt2
-rw-r--r--test/spec/exception-handling/tag.txt2
-rw-r--r--test/spec/exception-handling/throw.txt2
-rw-r--r--test/spec/exception-handling/try_catch.txt2
-rw-r--r--test/spec/exception-handling/try_delegate.txt2
-rw-r--r--test/spec/exports.txt2
-rw-r--r--test/spec/extended-const/data.txt2
-rw-r--r--test/spec/extended-const/elem.txt2
-rw-r--r--test/spec/extended-const/global.txt2
-rw-r--r--test/spec/f32.txt2
-rw-r--r--test/spec/f32_bitwise.txt2
-rw-r--r--test/spec/f32_cmp.txt2
-rw-r--r--test/spec/f64.txt2
-rw-r--r--test/spec/f64_bitwise.txt2
-rw-r--r--test/spec/f64_cmp.txt2
-rw-r--r--test/spec/fac.txt2
-rw-r--r--test/spec/float_exprs.txt2
-rw-r--r--test/spec/float_literals.txt2
-rw-r--r--test/spec/float_memory.txt2
-rw-r--r--test/spec/float_misc.txt2
-rw-r--r--test/spec/forward.txt2
-rw-r--r--test/spec/func.txt2
-rw-r--r--test/spec/func_ptrs.txt2
-rw-r--r--test/spec/global.txt2
-rw-r--r--test/spec/i32.txt2
-rw-r--r--test/spec/i64.txt2
-rw-r--r--test/spec/if.txt2
-rw-r--r--test/spec/imports.txt2
-rw-r--r--test/spec/inline-module.txt2
-rw-r--r--test/spec/int_exprs.txt2
-rw-r--r--test/spec/int_literals.txt2
-rw-r--r--test/spec/labels.txt2
-rw-r--r--test/spec/left-to-right.txt2
-rw-r--r--test/spec/linking.txt2
-rw-r--r--test/spec/load.txt2
-rw-r--r--test/spec/local_get.txt2
-rw-r--r--test/spec/local_set.txt2
-rw-r--r--test/spec/local_tee.txt2
-rw-r--r--test/spec/loop.txt2
-rw-r--r--test/spec/memory.txt2
-rw-r--r--test/spec/memory64/address.txt2
-rw-r--r--test/spec/memory64/address64.txt2
-rw-r--r--test/spec/memory64/align64.txt2
-rw-r--r--test/spec/memory64/binary-leb128.txt2
-rw-r--r--test/spec/memory64/binary.txt2
-rw-r--r--test/spec/memory64/endianness64.txt2
-rw-r--r--test/spec/memory64/float_memory64.txt2
-rw-r--r--test/spec/memory64/load64.txt2
-rw-r--r--test/spec/memory64/memory.txt2
-rw-r--r--test/spec/memory64/memory64.txt2
-rw-r--r--test/spec/memory64/memory_grow64.txt2
-rw-r--r--test/spec/memory64/memory_redundancy64.txt2
-rw-r--r--test/spec/memory64/memory_trap64.txt2
-rw-r--r--test/spec/memory_copy.txt2
-rw-r--r--test/spec/memory_fill.txt2
-rw-r--r--test/spec/memory_grow.txt2
-rw-r--r--test/spec/memory_init.txt2
-rw-r--r--test/spec/memory_redundancy.txt2
-rw-r--r--test/spec/memory_size.txt2
-rw-r--r--test/spec/memory_trap.txt2
-rw-r--r--test/spec/multi-memory/binary.txt2
-rw-r--r--test/spec/multi-memory/data.txt2
-rw-r--r--test/spec/multi-memory/imports.txt2
-rw-r--r--test/spec/multi-memory/load.txt2
-rw-r--r--test/spec/multi-memory/memory-multi.txt2
-rw-r--r--test/spec/multi-memory/memory.txt2
-rw-r--r--test/spec/multi-memory/memory_grow.txt2
-rw-r--r--test/spec/multi-memory/memory_size.txt2
-rw-r--r--test/spec/multi-memory/store.txt2
-rw-r--r--test/spec/names.txt2
-rw-r--r--test/spec/nop.txt2
-rw-r--r--test/spec/ref_func.txt4
-rw-r--r--test/spec/ref_is_null.txt2
-rw-r--r--test/spec/ref_null.txt2
-rw-r--r--test/spec/return.txt2
-rw-r--r--test/spec/select.txt2
-rw-r--r--test/spec/simd_address.txt2
-rw-r--r--test/spec/simd_align.txt2
-rw-r--r--test/spec/simd_bit_shift.txt2
-rw-r--r--test/spec/simd_bitwise.txt2
-rw-r--r--test/spec/simd_boolean.txt2
-rw-r--r--test/spec/simd_const.txt2
-rw-r--r--test/spec/simd_conversions.txt2
-rw-r--r--test/spec/simd_f32x4.txt2
-rw-r--r--test/spec/simd_f32x4_arith.txt2
-rw-r--r--test/spec/simd_f32x4_cmp.txt2
-rw-r--r--test/spec/simd_f32x4_pmin_pmax.txt2
-rw-r--r--test/spec/simd_f32x4_rounding.txt2
-rw-r--r--test/spec/simd_f64x2.txt2
-rw-r--r--test/spec/simd_f64x2_arith.txt2
-rw-r--r--test/spec/simd_f64x2_cmp.txt2
-rw-r--r--test/spec/simd_f64x2_pmin_pmax.txt2
-rw-r--r--test/spec/simd_f64x2_rounding.txt2
-rw-r--r--test/spec/simd_i16x8_arith.txt2
-rw-r--r--test/spec/simd_i16x8_arith2.txt2
-rw-r--r--test/spec/simd_i16x8_cmp.txt2
-rw-r--r--test/spec/simd_i16x8_extadd_pairwise_i8x16.txt2
-rw-r--r--test/spec/simd_i16x8_extmul_i8x16.txt2
-rw-r--r--test/spec/simd_i16x8_q15mulr_sat_s.txt2
-rw-r--r--test/spec/simd_i16x8_sat_arith.txt2
-rw-r--r--test/spec/simd_i32x4_arith.txt2
-rw-r--r--test/spec/simd_i32x4_arith2.txt2
-rw-r--r--test/spec/simd_i32x4_cmp.txt2
-rw-r--r--test/spec/simd_i32x4_dot_i16x8.txt2
-rw-r--r--test/spec/simd_i32x4_extadd_pairwise_i16x8.txt2
-rw-r--r--test/spec/simd_i32x4_extmul_i16x8.txt2
-rw-r--r--test/spec/simd_i32x4_trunc_sat_f32x4.txt2
-rw-r--r--test/spec/simd_i32x4_trunc_sat_f64x2.txt2
-rw-r--r--test/spec/simd_i64x2_arith.txt2
-rw-r--r--test/spec/simd_i64x2_arith2.txt2
-rw-r--r--test/spec/simd_i64x2_cmp.txt2
-rw-r--r--test/spec/simd_i64x2_extmul_i32x4.txt2
-rw-r--r--test/spec/simd_i8x16_arith.txt2
-rw-r--r--test/spec/simd_i8x16_arith2.txt2
-rw-r--r--test/spec/simd_i8x16_cmp.txt2
-rw-r--r--test/spec/simd_i8x16_sat_arith.txt2
-rw-r--r--test/spec/simd_int_to_int_extend.txt2
-rw-r--r--test/spec/simd_lane.txt2
-rw-r--r--test/spec/simd_load.txt2
-rw-r--r--test/spec/simd_load16_lane.txt2
-rw-r--r--test/spec/simd_load32_lane.txt2
-rw-r--r--test/spec/simd_load64_lane.txt2
-rw-r--r--test/spec/simd_load8_lane.txt2
-rw-r--r--test/spec/simd_load_extend.txt2
-rw-r--r--test/spec/simd_load_splat.txt2
-rw-r--r--test/spec/simd_load_zero.txt2
-rw-r--r--test/spec/simd_splat.txt2
-rw-r--r--test/spec/simd_store.txt2
-rw-r--r--test/spec/simd_store16_lane.txt2
-rw-r--r--test/spec/simd_store32_lane.txt2
-rw-r--r--test/spec/simd_store64_lane.txt2
-rw-r--r--test/spec/simd_store8_lane.txt2
-rw-r--r--test/spec/skip-stack-guard-page.txt2
-rw-r--r--test/spec/stack.txt2
-rw-r--r--test/spec/start.txt2
-rw-r--r--test/spec/store.txt2
-rw-r--r--test/spec/switch.txt2
-rw-r--r--test/spec/table.txt2
-rw-r--r--test/spec/table_copy.txt2
-rw-r--r--test/spec/table_fill.txt2
-rw-r--r--test/spec/table_get.txt2
-rw-r--r--test/spec/table_grow.txt2
-rw-r--r--test/spec/table_init.txt2
-rw-r--r--test/spec/table_set.txt2
-rw-r--r--test/spec/table_size.txt2
-rw-r--r--test/spec/traps.txt2
-rw-r--r--test/spec/type.txt2
-rw-r--r--test/spec/unreachable.txt2
-rw-r--r--test/spec/unreached-valid.txt13
-rw-r--r--test/spec/unwind.txt2
-rw-r--r--test/spectest-interp-assert-failure.txt2
-rw-r--r--test/spectest-interp-error-count.txt2
176 files changed, 180 insertions, 190 deletions
diff --git a/src/tools/spectest-interp.cc b/src/tools/spectest-interp.cc
index 97044010..45775268 100644
--- a/src/tools/spectest-interp.cc
+++ b/src/tools/spectest-interp.cc
@@ -1274,7 +1274,7 @@ wabt::Result CommandRunner::Run(const Script& script) {
for (const CommandPtr& command : script.commands) {
switch (command->type) {
case CommandType::Module:
- OnModuleCommand(cast<ModuleCommand>(command.get()));
+ TallyCommand(OnModuleCommand(cast<ModuleCommand>(command.get())));
break;
case CommandType::Action:
@@ -1282,7 +1282,10 @@ wabt::Result CommandRunner::Run(const Script& script) {
break;
case CommandType::Register:
- OnRegisterCommand(cast<RegisterCommand>(command.get()));
+ if (Failed(OnRegisterCommand(cast<RegisterCommand>(command.get())))) {
+ PrintError(command->line, "invalid register command");
+ return wabt::Result::Error;
+ }
break;
case CommandType::AssertMalformed:
diff --git a/src/type-checker.cc b/src/type-checker.cc
index eb23446f..7282c5b2 100644
--- a/src/type-checker.cc
+++ b/src/type-checker.cc
@@ -491,7 +491,7 @@ Result TypeChecker::OnBrTableTarget(Index depth) {
if (br_table_sig_ == nullptr) {
br_table_sig_ = &label_sig;
} else {
- if (*br_table_sig_ != label_sig) {
+ if (br_table_sig_->size() != label_sig.size()) {
result |= Result::Error;
PrintError("br_table labels have inconsistent types: expected %s, got %s",
TypesToString(*br_table_sig_).c_str(),
diff --git a/test/regress/regress-34.txt b/test/regress/regress-34.txt
index b965fdcb..a3abb767 100644
--- a/test/regress/regress-34.txt
+++ b/test/regress/regress-34.txt
@@ -10,5 +10,5 @@ out/test/regress/regress-34.txt:5: assert_malformed passed:
out/test/regress/regress-34/regress-34.1.wat:1:25: error: invalid literal "0x100"
(func (v128.const i8x16 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100...
^^^^^
-1/1 tests passed.
+2/2 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/address.txt b/test/spec/address.txt
index d641fca3..15da67df 100644
--- a/test/spec/address.txt
+++ b/test/spec/address.txt
@@ -54,5 +54,5 @@ out/test/spec/address.wast:606: assert_trap passed: out of bounds memory access:
out/test/spec/address.wast:607: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
out/test/spec/address.wast:609: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536
out/test/spec/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/align.txt b/test/spec/align.txt
index 1ea9b877..447bdede 100644
--- a/test/spec/align.txt
+++ b/test/spec/align.txt
@@ -297,5 +297,5 @@ out/test/spec/align.wast:452: assert_invalid passed:
out/test/spec/align/align.105.wasm:000002a: error: alignment must not be larger than natural alignment (8)
000002a: error: OnStoreExpr callback failed
out/test/spec/align.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/binary-leb128.txt b/test/spec/binary-leb128.txt
index 8e316f2d..0ea154e2 100644
--- a/test/spec/binary-leb128.txt
+++ b/test/spec/binary-leb128.txt
@@ -115,5 +115,5 @@ out/test/spec/binary-leb128.wast:956: assert_malformed passed:
000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/binary-leb128.wast:988: 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/binary.txt b/test/spec/binary.txt
index f11d7e18..eb353856 100644
--- a/test/spec/binary.txt
+++ b/test/spec/binary.txt
@@ -281,5 +281,5 @@ out/test/spec/binary.wast:1772: assert_malformed passed:
0000025: error: OnBlockExpr callback failed
out/test/spec/binary.wast:1807: assert_malformed passed:
0000017: error: multiple Start sections
-139/139 tests passed.
+172/172 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/block.txt b/test/spec/block.txt
index 27a51f4f..14008354 100644
--- a/test/spec/block.txt
+++ b/test/spec/block.txt
@@ -529,5 +529,5 @@ out/test/spec/block.wast:1489: assert_malformed passed:
out/test/spec/block/block.170.wat:1:20: error: mismatching label "$a" != "$l"
(func block $a end $l)
^^
-222/222 tests passed.
+223/223 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/br.txt b/test/spec/br.txt
index dfa12a6c..c541dcd0 100644
--- a/test/spec/br.txt
+++ b/test/spec/br.txt
@@ -61,5 +61,5 @@ out/test/spec/br.wast:651: assert_invalid passed:
out/test/spec/br.wast:655: assert_invalid passed:
out/test/spec/br/br.20.wasm:0000016: error: invalid depth: 268435457 (max 0)
000001d: error: OnBrExpr callback failed
-96/96 tests passed.
+97/97 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/br_if.txt b/test/spec/br_if.txt
index 90d7310d..b7d57d2d 100644
--- a/test/spec/br_if.txt
+++ b/test/spec/br_if.txt
@@ -90,5 +90,5 @@ out/test/spec/br_if.wast:658: assert_invalid passed:
out/test/spec/br_if.wast:662: assert_invalid passed:
out/test/spec/br_if/br_if.29.wasm:000001f: error: invalid depth: 268435457 (max 0)
000001f: error: OnBrIfExpr callback failed
-117/117 tests passed.
+118/118 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/br_table.txt b/test/spec/br_table.txt
index c377421c..e26997bb 100644
--- a/test/spec/br_table.txt
+++ b/test/spec/br_table.txt
@@ -73,5 +73,5 @@ out/test/spec/br_table.wast:1630: assert_invalid passed:
out/test/spec/br_table.wast:1636: assert_invalid passed:
out/test/spec/br_table/br_table.24.wasm:0000024: error: invalid depth: 268435457 (max 1)
0000024: error: OnBrTableExpr callback failed
-173/173 tests passed.
+174/174 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/bulk.txt b/test/spec/bulk.txt
index c6fdb3d0..e2a11b30 100644
--- a/test/spec/bulk.txt
+++ b/test/spec/bulk.txt
@@ -57,5 +57,5 @@ copy(i32:10, i32:0, i32:0) =>
copy(i32:0, i32:10, i32:0) =>
out/test/spec/bulk.wast:348: assert_trap passed: out of bounds table access: table.copy out of bounds
out/test/spec/bulk.wast:350: assert_trap passed: out of bounds table access: table.copy out of bounds
-104/104 tests passed.
+117/117 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/call.txt b/test/spec/call.txt
index 657e03d8..f68e26d7 100644
--- a/test/spec/call.txt
+++ b/test/spec/call.txt
@@ -56,5 +56,5 @@ out/test/spec/call.wast:512: assert_invalid passed:
out/test/spec/call.wast:516: assert_invalid passed:
0000000: error: function variable out of range: 1012321300 (max 1)
000001d: error: OnCallExpr callback failed
-90/90 tests passed.
+91/91 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/call_indirect.txt b/test/spec/call_indirect.txt
index fa9d5745..b52ef5d4 100644
--- a/test/spec/call_indirect.txt
+++ b/test/spec/call_indirect.txt
@@ -150,5 +150,5 @@ out/test/spec/call_indirect.wast:1004: assert_invalid passed:
out/test/spec/call_indirect.wast:1015: assert_invalid passed:
0000000: error: function variable out of range: 0 (max 0)
0000018: error: OnElemSegmentElemExpr_RefFunc callback failed
-167/167 tests passed.
+169/169 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/comments.txt b/test/spec/comments.txt
index b09588fc..85f19f5f 100644
--- a/test/spec/comments.txt
+++ b/test/spec/comments.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/comments.wast
(;; STDOUT ;;;
-0/0 tests passed.
+4/4 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/const.txt b/test/spec/const.txt
index 21bf11aa..87841b33 100644
--- a/test/spec/const.txt
+++ b/test/spec/const.txt
@@ -305,5 +305,5 @@ out/test/spec/const.wast:432: assert_malformed passed:
out/test/spec/const/const.177.wat:1:18: error: invalid literal "nan:0x10_0000_0000_0000"
(func (f64.const nan:0x10_0000_0000_0000) drop)
^^^^^^^^^^^^^^^^^^^^^^^
-376/376 tests passed.
+778/778 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/conversions.txt b/test/spec/conversions.txt
index e0565e99..f8f4f263 100644
--- a/test/spec/conversions.txt
+++ b/test/spec/conversions.txt
@@ -143,5 +143,5 @@ out/test/spec/conversions.wast:701: assert_invalid passed:
out/test/spec/conversions.wast:702: assert_invalid passed:
out/test/spec/conversions/conversions.25.wasm:000001b: error: type mismatch in f64.reinterpret_i64, expected [i64] but got [i32]
000001b: error: OnConvertExpr callback failed
-618/618 tests passed.
+619/619 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/custom.txt b/test/spec/custom.txt
index bf8552e4..929e1e44 100644
--- a/test/spec/custom.txt
+++ b/test/spec/custom.txt
@@ -17,5 +17,5 @@ out/test/spec/custom.wast:115: assert_malformed passed:
000000a: error: invalid section size: extends past end
out/test/spec/custom.wast:123: assert_malformed passed:
0000013: error: data segment count does not equal count in DataCount section
-8/8 tests passed.
+11/11 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/data.txt b/test/spec/data.txt
index 94640877..b0836b54 100644
--- a/test/spec/data.txt
+++ b/test/spec/data.txt
@@ -58,5 +58,5 @@ out/test/spec/data.wast:474: assert_invalid passed:
out/test/spec/data.wast:483: assert_invalid passed:
out/test/spec/data/data.57.wasm:000002d: error: initializer expression cannot reference a mutable global
000002d: error: OnGlobalGetExpr callback failed
-33/33 tests passed.
+58/58 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/elem.txt b/test/spec/elem.txt
index 6f8053dc..f4a7075d 100644
--- a/test/spec/elem.txt
+++ b/test/spec/elem.txt
@@ -63,5 +63,5 @@ out/test/spec/elem.wast:504: assert_invalid passed:
0000017: error: expected ref.null or ref.func in passive element segment
0000018: error: expected END opcode after element expression
out/test/spec/elem.wast:561: assert_trap passed: uninitialized table element
-47/47 tests passed.
+73/73 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/endianness.txt b/test/spec/endianness.txt
index 6b1f4827..70b2659c 100644
--- a/test/spec/endianness.txt
+++ b/test/spec/endianness.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/endianness.wast
(;; STDOUT ;;;
-68/68 tests passed.
+69/69 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/binary.txt b/test/spec/exception-handling/binary.txt
index 9e18bfb6..42c4ed2c 100644
--- a/test/spec/exception-handling/binary.txt
+++ b/test/spec/exception-handling/binary.txt
@@ -282,5 +282,5 @@ out/test/spec/exception-handling/binary.wast:1772: assert_malformed passed:
0000025: error: OnBlockExpr callback failed
out/test/spec/exception-handling/binary.wast:1807: assert_malformed passed:
0000017: error: multiple Start sections
-139/139 tests passed.
+172/172 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/exports.txt b/test/spec/exception-handling/exports.txt
index 7cea1021..85ec2dc4 100644
--- a/test/spec/exception-handling/exports.txt
+++ b/test/spec/exception-handling/exports.txt
@@ -98,5 +98,5 @@ out/test/spec/exception-handling/exports.wast:236: assert_invalid passed:
out/test/spec/exception-handling/exports.wast:240: assert_invalid passed:
out/test/spec/exception-handling/exports/exports.87.wasm:000001e: error: duplicate export "a"
000001e: error: OnExport callback failed
-41/41 tests passed.
+97/97 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/imports.txt b/test/spec/exception-handling/imports.txt
index 9abd3f4c..a4a164df 100644
--- a/test/spec/exception-handling/imports.txt
+++ b/test/spec/exception-handling/imports.txt
@@ -251,5 +251,5 @@ out/test/spec/exception-handling/imports.wast:699: assert_malformed passed:
^^^^^^
out/test/spec/exception-handling/imports.wast:709: assert_unlinkable passed:
error: invalid import "not wasm.overloaded"
-131/131 tests passed.
+185/185 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/rethrow.txt b/test/spec/exception-handling/rethrow.txt
index aca05127..98e0b30c 100644
--- a/test/spec/exception-handling/rethrow.txt
+++ b/test/spec/exception-handling/rethrow.txt
@@ -18,5 +18,5 @@ out/test/spec/exception-handling/rethrow.wast:94: assert_invalid passed:
out/test/spec/exception-handling/rethrow.wast:95: assert_invalid passed:
out/test/spec/exception-handling/rethrow/rethrow.3.wasm:000001b: error: rethrow not in try catch block
000001b: error: OnRethrowExpr callback failed
-15/15 tests passed.
+16/16 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/tag.txt b/test/spec/exception-handling/tag.txt
index e07a0539..e9074639 100644
--- a/test/spec/exception-handling/tag.txt
+++ b/test/spec/exception-handling/tag.txt
@@ -5,5 +5,5 @@
out/test/spec/exception-handling/tag.wast:19: assert_invalid passed:
out/test/spec/exception-handling/tag/tag.2.wasm:0000014: error: Tag signature must have 0 results.
0000014: error: OnTagType callback failed
-1/1 tests passed.
+3/3 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/throw.txt b/test/spec/exception-handling/throw.txt
index dfd7306c..422ce191 100644
--- a/test/spec/exception-handling/throw.txt
+++ b/test/spec/exception-handling/throw.txt
@@ -16,5 +16,5 @@ out/test/spec/exception-handling/throw.wast:48: assert_invalid passed:
out/test/spec/exception-handling/throw.wast:50: assert_invalid passed:
out/test/spec/exception-handling/throw/throw.3.wasm:0000024: error: type mismatch in throw, expected [i32] but got [i64]
0000024: error: OnThrowExpr callback failed
-10/10 tests passed.
+11/11 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/try_catch.txt b/test/spec/exception-handling/try_catch.txt
index 4048b9f9..36ddf106 100644
--- a/test/spec/exception-handling/try_catch.txt
+++ b/test/spec/exception-handling/try_catch.txt
@@ -33,5 +33,5 @@ out/test/spec/exception-handling/try_catch.wast:236: assert_invalid passed:
out/test/spec/exception-handling/try_catch.wast:241: assert_invalid passed:
out/test/spec/exception-handling/try_catch/try_catch.10.wasm:000001d: error: type mismatch at end of try catch, expected [] but got [i32]
000001d: error: OnEndExpr callback failed
-35/35 tests passed.
+38/38 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exception-handling/try_delegate.txt b/test/spec/exception-handling/try_delegate.txt
index 10b93449..128a9d7f 100644
--- a/test/spec/exception-handling/try_delegate.txt
+++ b/test/spec/exception-handling/try_delegate.txt
@@ -26,5 +26,5 @@ out/test/spec/exception-handling/try_delegate.wast:159: assert_malformed passed:
out/test/spec/exception-handling/try_delegate.wast:164: assert_invalid passed:
out/test/spec/exception-handling/try_delegate/try_delegate.5.wasm:000001b: error: invalid depth: 2 (max 1)
000001b: error: OnDelegateExpr callback failed
-20/20 tests passed.
+21/21 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/exports.txt b/test/spec/exports.txt
index c5504f83..9ed1dafd 100644
--- a/test/spec/exports.txt
+++ b/test/spec/exports.txt
@@ -94,5 +94,5 @@ out/test/spec/exports.wast:232: assert_invalid passed:
out/test/spec/exports.wast:236: assert_invalid passed:
out/test/spec/exports/exports.86.wasm:000001e: error: duplicate export "a"
000001e: error: OnExport callback failed
-40/40 tests passed.
+96/96 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/extended-const/data.txt b/test/spec/extended-const/data.txt
index 1479beaa..679359a1 100644
--- a/test/spec/extended-const/data.txt
+++ b/test/spec/extended-const/data.txt
@@ -59,5 +59,5 @@ out/test/spec/extended-const/data.wast:506: assert_invalid passed:
out/test/spec/extended-const/data.wast:515: assert_invalid passed:
out/test/spec/extended-const/data/data.61.wasm:000002d: error: initializer expression cannot reference a mutable global
000002d: error: OnGlobalGetExpr callback failed
-33/33 tests passed.
+62/62 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/extended-const/elem.txt b/test/spec/extended-const/elem.txt
index 51e40d59..9748217a 100644
--- a/test/spec/extended-const/elem.txt
+++ b/test/spec/extended-const/elem.txt
@@ -64,5 +64,5 @@ out/test/spec/extended-const/elem.wast:504: assert_invalid passed:
0000022: error: expected ref.null or ref.func in passive element segment
0000023: error: expected END opcode after element expression
out/test/spec/extended-const/elem.wast:562: assert_trap passed: uninitialized table element
-47/47 tests passed.
+73/73 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/extended-const/global.txt b/test/spec/extended-const/global.txt
index 83d7ec54..64692cc4 100644
--- a/test/spec/extended-const/global.txt
+++ b/test/spec/extended-const/global.txt
@@ -137,5 +137,5 @@ out/test/spec/extended-const/global.wast:633: assert_malformed passed:
out/test/spec/extended-const/global/global.49.wat:1:34: error: redefinition of global "$foo"
(import "" "" (global $foo i32))(import "" "" (global $foo i32))
^^^^^^
-107/107 tests passed.
+112/112 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/f32.txt b/test/spec/f32.txt
index 2c6cf998..45c7e678 100644
--- a/test/spec/f32.txt
+++ b/test/spec/f32.txt
@@ -43,5 +43,5 @@ out/test/spec/f32.wast:2541: assert_malformed passed:
out/test/spec/f32/f32.13.wat:1:31: error: invalid literal "nan:canonical"
(func (result f32) (f32.const nan:canonical))
^^^^^^^^^^^^^
-2513/2513 tests passed.
+2514/2514 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/f32_bitwise.txt b/test/spec/f32_bitwise.txt
index 0b2bcd23..3a437688 100644
--- a/test/spec/f32_bitwise.txt
+++ b/test/spec/f32_bitwise.txt
@@ -10,5 +10,5 @@ out/test/spec/f32_bitwise.wast:375: assert_invalid passed:
out/test/spec/f32_bitwise.wast:376: assert_invalid passed:
out/test/spec/f32_bitwise/f32_bitwise.3.wasm:000001b: error: type mismatch in f32.neg, expected [f32] but got [i64]
000001b: error: OnUnaryExpr callback failed
-363/363 tests passed.
+364/364 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/f32_cmp.txt b/test/spec/f32_cmp.txt
index 3a2ae1a7..20cc425b 100644
--- a/test/spec/f32_cmp.txt
+++ b/test/spec/f32_cmp.txt
@@ -20,5 +20,5 @@ out/test/spec/f32_cmp.wast:2421: assert_invalid passed:
out/test/spec/f32_cmp.wast:2422: assert_invalid passed:
out/test/spec/f32_cmp/f32_cmp.6.wasm:0000024: error: type mismatch in f32.ne, expected [f32, f32] but got [i64, f64]
0000024: error: OnCompareExpr callback failed
-2406/2406 tests passed.
+2407/2407 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/f64.txt b/test/spec/f64.txt
index 6ba29760..61465b99 100644
--- a/test/spec/f64.txt
+++ b/test/spec/f64.txt
@@ -43,5 +43,5 @@ out/test/spec/f64.wast:2541: assert_malformed passed:
out/test/spec/f64/f64.13.wat:1:31: error: invalid literal "nan:canonical"
(func (result f64) (f64.const nan:canonical))
^^^^^^^^^^^^^
-2513/2513 tests passed.
+2514/2514 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/f64_bitwise.txt b/test/spec/f64_bitwise.txt
index 2fd59ee2..9859ce41 100644
--- a/test/spec/f64_bitwise.txt
+++ b/test/spec/f64_bitwise.txt
@@ -10,5 +10,5 @@ out/test/spec/f64_bitwise.wast:375: assert_invalid passed:
out/test/spec/f64_bitwise.wast:376: assert_invalid passed:
out/test/spec/f64_bitwise/f64_bitwise.3.wasm:000001b: error: type mismatch in f64.neg, expected [f64] but got [i64]
000001b: error: OnUnaryExpr callback failed
-363/363 tests passed.
+364/364 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/f64_cmp.txt b/test/spec/f64_cmp.txt
index 69e97fe8..9ea9050a 100644
--- a/test/spec/f64_cmp.txt
+++ b/test/spec/f64_cmp.txt
@@ -20,5 +20,5 @@ out/test/spec/f64_cmp.wast:2421: assert_invalid passed:
out/test/spec/f64_cmp.wast:2422: assert_invalid passed:
out/test/spec/f64_cmp/f64_cmp.6.wasm:0000020: error: type mismatch in f64.ne, expected [f64, f64] but got [i64, f32]
0000020: error: OnCompareExpr callback failed
-2406/2406 tests passed.
+2407/2407 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/fac.txt b/test/spec/fac.txt
index 122d107b..ff2cc938 100644
--- a/test/spec/fac.txt
+++ b/test/spec/fac.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/fac.wast
(;; STDOUT ;;;
-7/7 tests passed.
+8/8 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/float_exprs.txt b/test/spec/float_exprs.txt
index 871dbca5..54662d41 100644
--- a/test/spec/float_exprs.txt
+++ b/test/spec/float_exprs.txt
@@ -11,5 +11,5 @@ init(i32:8, f64:15.200000) =>
init(i32:16, f64:15.300000) =>
init(i32:24, f64:15.400000) =>
run(i32:32, f64:3.000000) =>
-804/804 tests passed.
+900/900 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/float_literals.txt b/test/spec/float_literals.txt
index b8f8f05c..65f0e891 100644
--- a/test/spec/float_literals.txt
+++ b/test/spec/float_literals.txt
@@ -305,5 +305,5 @@ out/test/spec/float_literals.wast:505: assert_malformed passed:
out/test/spec/float_literals/float_literals.77.wat:1:24: error: unexpected token "0x1.0p_+1", expected a numeric literal (e.g. 123, -45, 6.7e8).
(global f64 (f64.const 0x1.0p_+1))
^^^^^^^^^
-159/159 tests passed.
+161/161 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/float_memory.txt b/test/spec/float_memory.txt
index 21deb04b..cd550d01 100644
--- a/test/spec/float_memory.txt
+++ b/test/spec/float_memory.txt
@@ -25,5 +25,5 @@ reset() =>
f64.store() =>
reset() =>
i64.store() =>
-84/84 tests passed.
+90/90 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/float_misc.txt b/test/spec/float_misc.txt
index f5700ac1..aa11bb90 100644
--- a/test/spec/float_misc.txt
+++ b/test/spec/float_misc.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/float_misc.wast
(;; STDOUT ;;;
-440/440 tests passed.
+441/441 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/forward.txt b/test/spec/forward.txt
index d65b2e8c..22380c48 100644
--- a/test/spec/forward.txt
+++ b/test/spec/forward.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/forward.wast
(;; STDOUT ;;;
-4/4 tests passed.
+5/5 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/func.txt b/test/spec/func.txt
index 3c914bd8..86950dff 100644
--- a/test/spec/func.txt
+++ b/test/spec/func.txt
@@ -243,5 +243,5 @@ out/test/spec/func.wast:960: assert_malformed passed:
out/test/spec/func/func.75.wat:1:31: error: redefinition of local "$foo"
(func (local $foo i32) (local $foo i32))
^^^^
-168/168 tests passed.
+172/172 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/func_ptrs.txt b/test/spec/func_ptrs.txt
index 57fc4e41..a9d38b2f 100644
--- a/test/spec/func_ptrs.txt
+++ b/test/spec/func_ptrs.txt
@@ -30,5 +30,5 @@ out/test/spec/func_ptrs.wast:80: assert_trap passed: undefined table index
out/test/spec/func_ptrs.wast:89: assert_trap passed: undefined table index
out/test/spec/func_ptrs.wast:90: assert_trap passed: undefined table index
out/test/spec/func_ptrs.wast:91: assert_trap passed: undefined table index
-33/33 tests passed.
+36/36 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/global.txt b/test/spec/global.txt
index 15b35e2a..259caabc 100644
--- a/test/spec/global.txt
+++ b/test/spec/global.txt
@@ -136,5 +136,5 @@ out/test/spec/global.wast:621: assert_malformed passed:
out/test/spec/global/global.49.wat:1:34: error: redefinition of global "$foo"
(import "" "" (global $foo i32))(import "" "" (global $foo i32))
^^^^^^
-103/103 tests passed.
+108/108 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/i32.txt b/test/spec/i32.txt
index 5c47cda2..c3d8baea 100644
--- a/test/spec/i32.txt
+++ b/test/spec/i32.txt
@@ -260,5 +260,5 @@ out/test/spec/i32.wast:975: assert_invalid passed:
out/test/spec/i32.wast:976: assert_invalid passed:
out/test/spec/i32/i32.83.wasm:0000020: error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32]
0000020: error: OnCompareExpr callback failed
-459/459 tests passed.
+460/460 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/i64.txt b/test/spec/i64.txt
index f3ba8e12..b2255721 100644
--- a/test/spec/i64.txt
+++ b/test/spec/i64.txt
@@ -98,5 +98,5 @@ out/test/spec/i64.wast:484: assert_invalid passed:
out/test/spec/i64.wast:485: assert_invalid passed:
out/test/spec/i64/i64.29.wasm:0000020: error: type mismatch in i64.ne, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
-415/415 tests passed.
+416/416 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/if.txt b/test/spec/if.txt
index aeb1caf4..da97f9c7 100644
--- a/test/spec/if.txt
+++ b/test/spec/if.txt
@@ -400,5 +400,5 @@ out/test/spec/if.wast:1548: assert_malformed passed:
out/test/spec/if/if.115.wat:1:37: error: mismatching label "$a" != "$l"
(func i32.const 0 if $a else $l end $l)
^^
-238/238 tests passed.
+239/239 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/imports.txt b/test/spec/imports.txt
index 45e63222..1ee20c62 100644
--- a/test/spec/imports.txt
+++ b/test/spec/imports.txt
@@ -238,5 +238,5 @@ out/test/spec/imports.wast:667: assert_malformed passed:
^^^^^^
out/test/spec/imports.wast:677: assert_unlinkable passed:
error: invalid import "not wasm.overloaded"
-125/125 tests passed.
+179/179 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/inline-module.txt b/test/spec/inline-module.txt
index 194333c5..c644c5f9 100644
--- a/test/spec/inline-module.txt
+++ b/test/spec/inline-module.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/inline-module.wast
(;; STDOUT ;;;
-0/0 tests passed.
+1/1 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/int_exprs.txt b/test/spec/int_exprs.txt
index 92fa96a4..a4e8349a 100644
--- a/test/spec/int_exprs.txt
+++ b/test/spec/int_exprs.txt
@@ -15,5 +15,5 @@ out/test/spec/int_exprs.wast:198: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:199: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:349: assert_trap passed: integer overflow
out/test/spec/int_exprs.wast:350: assert_trap passed: integer overflow
-89/89 tests passed.
+108/108 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/int_literals.txt b/test/spec/int_literals.txt
index 062f5bc1..6d01d825 100644
--- a/test/spec/int_literals.txt
+++ b/test/spec/int_literals.txt
@@ -81,5 +81,5 @@ out/test/spec/int_literals.wast:149: assert_malformed passed:
out/test/spec/int_literals/int_literals.20.wat:1:24: error: unexpected token "0xff__ffff", expected a numeric literal (e.g. 123, -45, 6.7e8).
(global i64 (i64.const 0xff__ffff))
^^^^^^^^^^
-50/50 tests passed.
+51/51 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/labels.txt b/test/spec/labels.txt
index 8bbdb72a..dee92b5c 100644
--- a/test/spec/labels.txt
+++ b/test/spec/labels.txt
@@ -10,5 +10,5 @@ out/test/spec/labels.wast:322: assert_invalid passed:
out/test/spec/labels.wast:326: assert_invalid passed:
out/test/spec/labels/labels.3.wasm:0000023: error: type mismatch at end of block, expected [] but got [f32]
0000023: error: OnEndExpr callback failed
-28/28 tests passed.
+29/29 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/left-to-right.txt b/test/spec/left-to-right.txt
index 8ded6620..ef183140 100644
--- a/test/spec/left-to-right.txt
+++ b/test/spec/left-to-right.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/left-to-right.wast
(;; STDOUT ;;;
-95/95 tests passed.
+96/96 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/linking.txt b/test/spec/linking.txt
index d9d8fb5f..1f002d07 100644
--- a/test/spec/linking.txt
+++ b/test/spec/linking.txt
@@ -43,5 +43,5 @@ out/test/spec/linking.wast:307: assert_unlinkable passed:
error: type mismatch in imported table, expected funcref but got externref.
out/test/spec/linking.wast:385: assert_unlinkable passed:
error: invalid import "Mm.tab"
-102/102 tests passed.
+123/123 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/load.txt b/test/spec/load.txt
index e1fe4afb..f509d0cf 100644
--- a/test/spec/load.txt
+++ b/test/spec/load.txt
@@ -191,5 +191,5 @@ out/test/spec/load.wast:551: assert_invalid passed:
out/test/spec/load.wast:560: assert_invalid passed:
out/test/spec/load/load.59.wasm:000001f: error: type mismatch in i32.load, expected [i32] but got []
000001f: error: OnLoadExpr callback failed
-96/96 tests passed.
+97/97 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/local_get.txt b/test/spec/local_get.txt
index 47fa4ec4..80b208b7 100644
--- a/test/spec/local_get.txt
+++ b/test/spec/local_get.txt
@@ -49,5 +49,5 @@ out/test/spec/local_get.wast:219: assert_invalid passed:
out/test/spec/local_get.wast:223: assert_invalid passed:
0000000: error: local variable out of range (max 3)
0000021: error: OnLocalGetExpr callback failed
-35/35 tests passed.
+36/36 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/local_set.txt b/test/spec/local_set.txt
index dd0884ac..d38e41bd 100644
--- a/test/spec/local_set.txt
+++ b/test/spec/local_set.txt
@@ -100,5 +100,5 @@ out/test/spec/local_set.wast:355: assert_invalid passed:
out/test/spec/local_set.wast:359: assert_invalid passed:
0000000: error: local variable out of range (max 3)
0000023: error: OnLocalSetExpr callback failed
-52/52 tests passed.
+53/53 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/local_tee.txt b/test/spec/local_tee.txt
index 2f85da6c..d3e02d05 100644
--- a/test/spec/local_tee.txt
+++ b/test/spec/local_tee.txt
@@ -124,5 +124,5 @@ out/test/spec/local_tee.wast:633: assert_invalid passed:
out/test/spec/local_tee.wast:637: assert_invalid passed:
0000000: error: local variable out of range (max 3)
0000023: error: OnLocalTeeExpr callback failed
-96/96 tests passed.
+97/97 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/loop.txt b/test/spec/loop.txt
index 2c60893c..dab5f2d8 100644
--- a/test/spec/loop.txt
+++ b/test/spec/loop.txt
@@ -145,5 +145,5 @@ out/test/spec/loop.wast:783: assert_malformed passed:
out/test/spec/loop/loop.42.wat:1:19: error: mismatching label "$a" != "$l"
(func loop $a end $l)
^^
-119/119 tests passed.
+120/120 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory.txt b/test/spec/memory.txt
index d95d60e3..af187645 100644
--- a/test/spec/memory.txt
+++ b/test/spec/memory.txt
@@ -78,5 +78,5 @@ out/test/spec/memory.wast:239: assert_malformed passed:
out/test/spec/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/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 ;;)
diff --git a/test/spec/memory_copy.txt b/test/spec/memory_copy.txt
index 10c45fbf..0f14b443 100644
--- a/test/spec/memory_copy.txt
+++ b/test/spec/memory_copy.txt
@@ -227,5 +227,5 @@ out/test/spec/memory_copy.wast:4885: assert_trap passed: out of bounds memory ac
test() =>
out/test/spec/memory_copy.wast:4897: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
-4417/4417 tests passed.
+4450/4450 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory_fill.txt b/test/spec/memory_fill.txt
index e100653e..e21a8586 100644
--- a/test/spec/memory_fill.txt
+++ b/test/spec/memory_fill.txt
@@ -204,5 +204,5 @@ out/test/spec/memory_fill.wast:615: assert_invalid passed:
out/test/spec/memory_fill.wast:638: assert_trap passed: out of bounds memory access: memory.fill out of bounds
out/test/spec/memory_fill.wast:660: assert_trap passed: out of bounds memory access: memory.fill out of bounds
out/test/spec/memory_fill.wast:682: assert_trap passed: out of bounds memory access: memory.fill out of bounds
-89/89 tests passed.
+100/100 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory_grow.txt b/test/spec/memory_grow.txt
index eb84d23c..2e376acf 100644
--- a/test/spec/memory_grow.txt
+++ b/test/spec/memory_grow.txt
@@ -30,5 +30,5 @@ out/test/spec/memory_grow.wast:363: assert_invalid passed:
out/test/spec/memory_grow.wast:372: assert_invalid passed:
out/test/spec/memory_grow/memory_grow.11.wasm:0000022: error: type mismatch in implicit return, expected [f32] but got [i32]
0000022: error: EndFunctionBody callback failed
-91/91 tests passed.
+96/96 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory_init.txt b/test/spec/memory_init.txt
index dc455722..ed128c56 100644
--- a/test/spec/memory_init.txt
+++ b/test/spec/memory_init.txt
@@ -223,5 +223,5 @@ out/test/spec/memory_init.wast:879: assert_trap passed: out of bounds memory acc
out/test/spec/memory_init.wast:902: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/memory_init.wast:925: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/memory_init.wast:948: assert_trap passed: out of bounds memory access: memory.init out of bounds
-216/216 tests passed.
+240/240 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory_redundancy.txt b/test/spec/memory_redundancy.txt
index cf9a97d2..c1c46396 100644
--- a/test/spec/memory_redundancy.txt
+++ b/test/spec/memory_redundancy.txt
@@ -4,5 +4,5 @@
zero_everything() =>
zero_everything() =>
zero_everything() =>
-7/7 tests passed.
+8/8 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory_size.txt b/test/spec/memory_size.txt
index 1b53f56d..f7cb8383 100644
--- a/test/spec/memory_size.txt
+++ b/test/spec/memory_size.txt
@@ -7,5 +7,5 @@ out/test/spec/memory_size.wast:69: assert_invalid passed:
out/test/spec/memory_size.wast:78: assert_invalid passed:
out/test/spec/memory_size/memory_size.5.wasm:0000020: error: type mismatch in implicit return, expected [f32] but got [i32]
0000020: error: EndFunctionBody callback failed
-38/38 tests passed.
+42/42 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory_trap.txt b/test/spec/memory_trap.txt
index 3117773a..a1bdf66e 100644
--- a/test/spec/memory_trap.txt
+++ b/test/spec/memory_trap.txt
@@ -171,5 +171,5 @@ out/test/spec/memory_trap.wast:275: assert_trap passed: out of bounds memory acc
out/test/spec/memory_trap.wast:277: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536
out/test/spec/memory_trap.wast:279: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536
out/test/spec/memory_trap.wast:281: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536
-180/180 tests passed.
+182/182 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/binary.txt b/test/spec/multi-memory/binary.txt
index fc4b7db2..bb0b906e 100644
--- a/test/spec/multi-memory/binary.txt
+++ b/test/spec/multi-memory/binary.txt
@@ -262,5 +262,5 @@ out/test/spec/multi-memory/binary.wast:1581: assert_malformed passed:
0000025: error: OnBlockExpr callback failed
out/test/spec/multi-memory/binary.wast:1616: assert_malformed passed:
0000017: error: multiple Start sections
-129/129 tests passed.
+162/162 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/data.txt b/test/spec/multi-memory/data.txt
index 978e7803..67c1ea3c 100644
--- a/test/spec/multi-memory/data.txt
+++ b/test/spec/multi-memory/data.txt
@@ -59,5 +59,5 @@ out/test/spec/multi-memory/data.wast:475: assert_invalid passed:
out/test/spec/multi-memory/data.wast:484: assert_invalid passed:
out/test/spec/multi-memory/data/data.57.wasm:000002d: error: initializer expression cannot reference a mutable global
000002d: error: OnGlobalGetExpr callback failed
-33/33 tests passed.
+58/58 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/imports.txt b/test/spec/multi-memory/imports.txt
index d6738043..cf68830c 100644
--- a/test/spec/multi-memory/imports.txt
+++ b/test/spec/multi-memory/imports.txt
@@ -230,5 +230,5 @@ out/test/spec/multi-memory/imports.wast:654: assert_malformed passed:
^^^^^^
out/test/spec/multi-memory/imports.wast:664: assert_unlinkable passed:
error: invalid import "not wasm.overloaded"
-122/122 tests passed.
+176/176 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/load.txt b/test/spec/multi-memory/load.txt
index 59e78864..7974f807 100644
--- a/test/spec/multi-memory/load.txt
+++ b/test/spec/multi-memory/load.txt
@@ -192,5 +192,5 @@ out/test/spec/multi-memory/load.wast:615: assert_invalid passed:
out/test/spec/multi-memory/load.wast:624: assert_invalid passed:
out/test/spec/multi-memory/load/load.62.wasm:000001f: error: type mismatch in i32.load, expected [i32] but got []
000001f: error: OnLoadExpr callback failed
-113/113 tests passed.
+117/117 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/memory-multi.txt b/test/spec/multi-memory/memory-multi.txt
index f66109d9..4fbdd4bb 100644
--- a/test/spec/multi-memory/memory-multi.txt
+++ b/test/spec/multi-memory/memory-multi.txt
@@ -2,5 +2,5 @@
;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/memory-multi.wast
;;; ARGS*: --enable-multi-memory
(;; STDOUT ;;;
-4/4 tests passed.
+7/7 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/memory.txt b/test/spec/multi-memory/memory.txt
index 2a6eaad4..eb3c7172 100644
--- a/test/spec/multi-memory/memory.txt
+++ b/test/spec/multi-memory/memory.txt
@@ -71,5 +71,5 @@ out/test/spec/multi-memory/memory.wast:236: assert_malformed passed:
out/test/spec/multi-memory/memory/memory.31.wat:1:32: error: redefinition of memory "$foo"
(import "" "" (memory $foo 1))(import "" "" (memory $foo 1))
^^^^^^
-67/67 tests passed.
+77/77 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/memory_grow.txt b/test/spec/multi-memory/memory_grow.txt
index 7238d086..8cf6e02c 100644
--- a/test/spec/multi-memory/memory_grow.txt
+++ b/test/spec/multi-memory/memory_grow.txt
@@ -36,5 +36,5 @@ out/test/spec/multi-memory/memory_grow.wast:499: assert_invalid passed:
out/test/spec/multi-memory/memory_grow.wast:508: assert_invalid passed:
out/test/spec/multi-memory/memory_grow/memory_grow.16.wasm:0000022: error: type mismatch in implicit return, expected [f32] but got [i32]
0000022: error: EndFunctionBody callback failed
-140/140 tests passed.
+148/148 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/memory_size.txt b/test/spec/multi-memory/memory_size.txt
index dc74a1cf..77efb7cc 100644
--- a/test/spec/multi-memory/memory_size.txt
+++ b/test/spec/multi-memory/memory_size.txt
@@ -8,5 +8,5 @@ out/test/spec/multi-memory/memory_size.wast:95: assert_invalid passed:
out/test/spec/multi-memory/memory_size.wast:104: assert_invalid passed:
out/test/spec/multi-memory/memory_size/memory_size.7.wasm:0000020: error: type mismatch in implicit return, expected [f32] but got [i32]
0000020: error: EndFunctionBody callback failed
-42/42 tests passed.
+48/48 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/store.txt b/test/spec/multi-memory/store.txt
index e556d2e9..41df5709 100644
--- a/test/spec/multi-memory/store.txt
+++ b/test/spec/multi-memory/store.txt
@@ -191,5 +191,5 @@ out/test/spec/multi-memory/store.wast:564: assert_invalid passed:
out/test/spec/multi-memory/store.wast:565: assert_invalid passed:
out/test/spec/multi-memory/store/store.64.wasm:0000023: error: type mismatch in f64.store, expected [i32, f64] but got [i32, i64]
0000023: error: OnStoreExpr callback failed
-101/101 tests passed.
+108/108 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/names.txt b/test/spec/names.txt
index d9a5d961..e098a0ad 100644
--- a/test/spec/names.txt
+++ b/test/spec/names.txt
@@ -3,5 +3,5 @@
(;; STDOUT ;;;
called host spectest.print_i32(i32:42) =>
called host spectest.print_i32(i32:123) =>
-482/482 tests passed.
+486/486 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/nop.txt b/test/spec/nop.txt
index 261d1b95..6bba45f7 100644
--- a/test/spec/nop.txt
+++ b/test/spec/nop.txt
@@ -13,5 +13,5 @@ out/test/spec/nop.wast:420: assert_invalid passed:
out/test/spec/nop.wast:424: assert_invalid passed:
out/test/spec/nop/nop.4.wasm:000001a: error: type mismatch in implicit return, expected [f64] but got []
000001a: error: EndFunctionBody callback failed
-87/87 tests passed.
+88/88 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/ref_func.txt b/test/spec/ref_func.txt
index 4bc1a16a..cce2c710 100644
--- a/test/spec/ref_func.txt
+++ b/test/spec/ref_func.txt
@@ -1,7 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/ref_func.wast
-(;; STDERR ;;;
-;;; STDERR ;;)
(;; STDOUT ;;;
set-g() =>
set-f() =>
@@ -14,5 +12,5 @@ out/test/spec/ref_func.wast:109: assert_invalid passed:
out/test/spec/ref_func.wast:113: assert_invalid passed:
0000000: error: function 0 is not declared in any elem sections
000001e: error: EndModule callback failed
-13/13 tests passed.
+16/16 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/ref_is_null.txt b/test/spec/ref_is_null.txt
index d8d3d761..0a6744a8 100644
--- a/test/spec/ref_is_null.txt
+++ b/test/spec/ref_is_null.txt
@@ -8,5 +8,5 @@ out/test/spec/ref_is_null.wast:52: assert_invalid passed:
000001b: error: OnRefIsNullExpr callback failed
out/test/spec/ref_is_null.wast:56: assert_invalid passed:
0000018: error: OnRefIsNullExpr callback failed
-15/15 tests passed.
+16/16 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/ref_null.txt b/test/spec/ref_null.txt
index 11f3068d..376cf3f5 100644
--- a/test/spec/ref_null.txt
+++ b/test/spec/ref_null.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/ref_null.wast
(;; STDOUT ;;;
-2/2 tests passed.
+3/3 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/return.txt b/test/spec/return.txt
index c081df23..d864fd76 100644
--- a/test/spec/return.txt
+++ b/test/spec/return.txt
@@ -61,5 +61,5 @@ out/test/spec/return.wast:472: assert_invalid passed:
out/test/spec/return.wast:476: assert_invalid passed:
out/test/spec/return/return.20.wasm:000001b: error: type mismatch in return, expected [f64] but got [i64]
000001b: error: OnReturnExpr callback failed
-83/83 tests passed.
+84/84 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/select.txt b/test/spec/select.txt
index b5643fb8..e27917ff 100644
--- a/test/spec/select.txt
+++ b/test/spec/select.txt
@@ -87,5 +87,5 @@ out/test/spec/select.wast:504: assert_invalid passed:
out/test/spec/select.wast:511: assert_invalid passed:
out/test/spec/select/select.28.wasm:0000020: error: type mismatch in implicit return, expected [i32] but got [i64]
0000020: error: EndFunctionBody callback failed
-146/146 tests passed.
+147/147 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_address.txt b/test/spec/simd_address.txt
index 4a2ac5c7..004df5cb 100644
--- a/test/spec/simd_address.txt
+++ b/test/spec/simd_address.txt
@@ -29,5 +29,5 @@ out/test/spec/simd_address.wast:152: assert_malformed passed:
out/test/spec/simd_address/simd_address.6.wat:1:29: error: offset must be less than or equal to 0xffffffff
(memory 1)(func (v128.store offset=4294967296 (i32.const 0) (v128.const i32x4...
^^^^^^^^^^^^^^^^^
-46/46 tests passed.
+49/49 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_align.txt b/test/spec/simd_align.txt
index 77d2f523..b0db45c2 100644
--- a/test/spec/simd_align.txt
+++ b/test/spec/simd_align.txt
@@ -209,5 +209,5 @@ out/test/spec/simd_align.wast:303: assert_malformed passed:
out/test/spec/simd_align/simd_align.89.wat:1:51: error: alignment must be power-of-two
(memory 1) (func (result v128) (v128.load64_splat align=7 (i32.const 0)))
^^^^^^^
-54/54 tests passed.
+100/100 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_bit_shift.txt b/test/spec/simd_bit_shift.txt
index 571b1580..524b6507 100644
--- a/test/spec/simd_bit_shift.txt
+++ b/test/spec/simd_bit_shift.txt
@@ -133,5 +133,5 @@ out/test/spec/simd_bit_shift.wast:1090: assert_invalid passed:
out/test/spec/simd_bit_shift.wast:1098: assert_invalid passed:
out/test/spec/simd_bit_shift/simd_bit_shift.40.wasm:000001b: error: type mismatch in i64x2.shr_s, expected [v128, i32] but got []
000001b: error: OnBinaryExpr callback failed
-250/250 tests passed.
+252/252 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_bitwise.txt b/test/spec/simd_bitwise.txt
index 42623b6f..8c1f6258 100644
--- a/test/spec/simd_bitwise.txt
+++ b/test/spec/simd_bitwise.txt
@@ -85,5 +85,5 @@ out/test/spec/simd_bitwise.wast:798: assert_invalid passed:
out/test/spec/simd_bitwise.wast:806: assert_invalid passed:
out/test/spec/simd_bitwise/simd_bitwise.29.wasm:000001a: error: type mismatch in v128.bitselect, expected [v128, v128, v128] but got []
000001a: error: OnTernaryExpr callback failed
-167/167 tests passed.
+169/169 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_boolean.txt b/test/spec/simd_boolean.txt
index 1f4327d8..9f853cd1 100644
--- a/test/spec/simd_boolean.txt
+++ b/test/spec/simd_boolean.txt
@@ -53,5 +53,5 @@ out/test/spec/simd_boolean.wast:1044: assert_invalid passed:
out/test/spec/simd_boolean.wast:1052: assert_invalid passed:
out/test/spec/simd_boolean/simd_boolean.17.wasm:000001b: error: type mismatch in i32x4.all_true, expected [v128] but got []
000001b: error: OnUnaryExpr callback failed
-275/275 tests passed.
+277/277 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_const.txt b/test/spec/simd_const.txt
index 43c42006..1a586cde 100644
--- a/test/spec/simd_const.txt
+++ b/test/spec/simd_const.txt
@@ -1759,5 +1759,5 @@ out/test/spec/simd_const.wast:1560: assert_malformed passed:
out/test/spec/simd_const/simd_const.485.wat:1:42: error: unexpected token 0x1.0p_+1.
(global v128 (v128.const f64x2 0x1.0p_+1 0x1.0p_+1))
^^^^^^^^^
-445/445 tests passed.
+757/757 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_conversions.txt b/test/spec/simd_conversions.txt
index dfe40910..bc43f234 100644
--- a/test/spec/simd_conversions.txt
+++ b/test/spec/simd_conversions.txt
@@ -175,5 +175,5 @@ out/test/spec/simd_conversions.wast:885: assert_invalid passed:
out/test/spec/simd_conversions.wast:893: assert_invalid passed:
out/test/spec/simd_conversions/simd_conversions.49.wasm:000001b: error: type mismatch in i16x8.narrow_i32x4_u, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-280/280 tests passed.
+282/282 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f32x4.txt b/test/spec/simd_f32x4.txt
index a7f37b3e..e139e6e4 100644
--- a/test/spec/simd_f32x4.txt
+++ b/test/spec/simd_f32x4.txt
@@ -57,5 +57,5 @@ out/test/spec/simd_f32x4.wast:2366: assert_invalid passed:
out/test/spec/simd_f32x4.wast:2374: assert_invalid passed:
out/test/spec/simd_f32x4/simd_f32x4.16.wasm:000001b: error: type mismatch in f32x4.max, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-788/788 tests passed.
+790/790 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f32x4_arith.txt b/test/spec/simd_f32x4_arith.txt
index f6f1e67d..1d0a8899 100644
--- a/test/spec/simd_f32x4_arith.txt
+++ b/test/spec/simd_f32x4_arith.txt
@@ -49,5 +49,5 @@ out/test/spec/simd_f32x4_arith.wast:5369: assert_invalid passed:
out/test/spec/simd_f32x4_arith.wast:5377: assert_invalid passed:
out/test/spec/simd_f32x4_arith/simd_f32x4_arith.17.wasm:000001b: error: type mismatch in f32x4.div, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-1819/1819 tests passed.
+1822/1822 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f32x4_cmp.txt b/test/spec/simd_f32x4_cmp.txt
index 81bcedfc..cd5aa308 100644
--- a/test/spec/simd_f32x4_cmp.txt
+++ b/test/spec/simd_f32x4_cmp.txt
@@ -79,5 +79,5 @@ out/test/spec/simd_f32x4_cmp.wast:8153: assert_invalid passed:
out/test/spec/simd_f32x4_cmp.wast:8161: assert_invalid passed:
out/test/spec/simd_f32x4_cmp/simd_f32x4_cmp.25.wasm:000001a: error: type mismatch in f32x4.ge, expected [v128, v128] but got []
000001a: error: OnCompareExpr callback failed
-2605/2605 tests passed.
+2607/2607 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f32x4_pmin_pmax.txt b/test/spec/simd_f32x4_pmin_pmax.txt
index 05ff3965..3364f9cd 100644
--- a/test/spec/simd_f32x4_pmin_pmax.txt
+++ b/test/spec/simd_f32x4_pmin_pmax.txt
@@ -51,5 +51,5 @@ out/test/spec/simd_f32x4_pmin_pmax.wast:11661: assert_invalid passed:
out/test/spec/simd_f32x4_pmin_pmax.wast:11669: assert_invalid passed:
out/test/spec/simd_f32x4_pmin_pmax/simd_f32x4_pmin_pmax.14.wasm:000001b: error: type mismatch in f32x4.pmax, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-3886/3886 tests passed.
+3887/3887 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f32x4_rounding.txt b/test/spec/simd_f32x4_rounding.txt
index 3b28a64b..4b7b6e1e 100644
--- a/test/spec/simd_f32x4_rounding.txt
+++ b/test/spec/simd_f32x4_rounding.txt
@@ -89,5 +89,5 @@ out/test/spec/simd_f32x4_rounding.wast:409: assert_invalid passed:
out/test/spec/simd_f32x4_rounding.wast:417: assert_invalid passed:
out/test/spec/simd_f32x4_rounding/simd_f32x4_rounding.24.wasm:000001a: error: type mismatch in f32x4.nearest, expected [v128] but got []
000001a: error: OnUnaryExpr callback failed
-200/200 tests passed.
+201/201 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f64x2.txt b/test/spec/simd_f64x2.txt
index 17c3521b..c30273bc 100644
--- a/test/spec/simd_f64x2.txt
+++ b/test/spec/simd_f64x2.txt
@@ -25,5 +25,5 @@ out/test/spec/simd_f64x2.wast:2418: assert_invalid passed:
out/test/spec/simd_f64x2.wast:2426: assert_invalid passed:
out/test/spec/simd_f64x2/simd_f64x2.8.wasm:000001b: error: type mismatch in f64x2.max, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-801/801 tests passed.
+803/803 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f64x2_arith.txt b/test/spec/simd_f64x2_arith.txt
index ed995dad..ef2df4f1 100644
--- a/test/spec/simd_f64x2_arith.txt
+++ b/test/spec/simd_f64x2_arith.txt
@@ -49,5 +49,5 @@ out/test/spec/simd_f64x2_arith.wast:5376: assert_invalid passed:
out/test/spec/simd_f64x2_arith.wast:5384: assert_invalid passed:
out/test/spec/simd_f64x2_arith/simd_f64x2_arith.17.wasm:000001b: error: type mismatch in f64x2.div, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-1822/1822 tests passed.
+1825/1825 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f64x2_cmp.txt b/test/spec/simd_f64x2_cmp.txt
index 6eeac0df..77c6cb08 100644
--- a/test/spec/simd_f64x2_cmp.txt
+++ b/test/spec/simd_f64x2_cmp.txt
@@ -79,5 +79,5 @@ out/test/spec/simd_f64x2_cmp.wast:8052: assert_invalid passed:
out/test/spec/simd_f64x2_cmp.wast:8060: assert_invalid passed:
out/test/spec/simd_f64x2_cmp/simd_f64x2_cmp.24.wasm:000001a: error: type mismatch in f64x2.ge, expected [v128, v128] but got []
000001a: error: OnCompareExpr callback failed
-2683/2683 tests passed.
+2685/2685 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f64x2_pmin_pmax.txt b/test/spec/simd_f64x2_pmin_pmax.txt
index 1fdcb4ef..4931760c 100644
--- a/test/spec/simd_f64x2_pmin_pmax.txt
+++ b/test/spec/simd_f64x2_pmin_pmax.txt
@@ -51,5 +51,5 @@ out/test/spec/simd_f64x2_pmin_pmax.wast:11661: assert_invalid passed:
out/test/spec/simd_f64x2_pmin_pmax.wast:11669: assert_invalid passed:
out/test/spec/simd_f64x2_pmin_pmax/simd_f64x2_pmin_pmax.14.wasm:000001b: error: type mismatch in f64x2.pmax, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-3886/3886 tests passed.
+3887/3887 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_f64x2_rounding.txt b/test/spec/simd_f64x2_rounding.txt
index 76455a39..6657b8dd 100644
--- a/test/spec/simd_f64x2_rounding.txt
+++ b/test/spec/simd_f64x2_rounding.txt
@@ -89,5 +89,5 @@ out/test/spec/simd_f64x2_rounding.wast:409: assert_invalid passed:
out/test/spec/simd_f64x2_rounding.wast:417: assert_invalid passed:
out/test/spec/simd_f64x2_rounding/simd_f64x2_rounding.24.wasm:000001b: error: type mismatch in f64x2.nearest, expected [v128] but got []
000001b: error: OnUnaryExpr callback failed
-200/200 tests passed.
+201/201 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i16x8_arith.txt b/test/spec/simd_i16x8_arith.txt
index 1cd7c10a..f787211c 100644
--- a/test/spec/simd_i16x8_arith.txt
+++ b/test/spec/simd_i16x8_arith.txt
@@ -34,5 +34,5 @@ out/test/spec/simd_i16x8_arith.wast:576: assert_invalid passed:
out/test/spec/simd_i16x8_arith.wast:584: assert_invalid passed:
out/test/spec/simd_i16x8_arith/simd_i16x8_arith.11.wasm:000001b: error: type mismatch in i16x8.mul, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-192/192 tests passed.
+194/194 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i16x8_arith2.txt b/test/spec/simd_i16x8_arith2.txt
index 92b4282c..101a227b 100644
--- a/test/spec/simd_i16x8_arith2.txt
+++ b/test/spec/simd_i16x8_arith2.txt
@@ -60,5 +60,5 @@ out/test/spec/simd_i16x8_arith2.wast:423: assert_invalid passed:
out/test/spec/simd_i16x8_arith2.wast:431: assert_invalid passed:
out/test/spec/simd_i16x8_arith2/simd_i16x8_arith2.19.wasm:000001b: error: type mismatch in i16x8.abs, expected [v128] but got []
000001b: error: OnUnaryExpr callback failed
-170/170 tests passed.
+172/172 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i16x8_cmp.txt b/test/spec/simd_i16x8_cmp.txt
index e22ad40b..25009ceb 100644
--- a/test/spec/simd_i16x8_cmp.txt
+++ b/test/spec/simd_i16x8_cmp.txt
@@ -91,5 +91,5 @@ out/test/spec/simd_i16x8_cmp.wast:1887: assert_invalid passed:
out/test/spec/simd_i16x8_cmp.wast:1895: assert_invalid passed:
out/test/spec/simd_i16x8_cmp/simd_i16x8_cmp.31.wasm:000001a: error: type mismatch in i16x8.ge_u, expected [v128, v128] but got []
000001a: error: OnCompareExpr callback failed
-463/463 tests passed.
+465/465 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i16x8_extadd_pairwise_i8x16.txt b/test/spec/simd_i16x8_extadd_pairwise_i8x16.txt
index cf2f5859..a3ac7d67 100644
--- a/test/spec/simd_i16x8_extadd_pairwise_i8x16.txt
+++ b/test/spec/simd_i16x8_extadd_pairwise_i8x16.txt
@@ -13,5 +13,5 @@ out/test/spec/simd_i16x8_extadd_pairwise_i8x16.wast:53: assert_invalid passed:
out/test/spec/simd_i16x8_extadd_pairwise_i8x16.wast:61: assert_invalid passed:
out/test/spec/simd_i16x8_extadd_pairwise_i8x16/simd_i16x8_extadd_pairwise_i8x16.4.wasm:000001a: error: type mismatch in i16x8.extadd_pairwise_i8x16_u, expected [v128] but got []
000001a: error: OnUnaryExpr callback failed
-20/20 tests passed.
+21/21 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i16x8_extmul_i8x16.txt b/test/spec/simd_i16x8_extmul_i8x16.txt
index b043d966..b22f1fe6 100644
--- a/test/spec/simd_i16x8_extmul_i8x16.txt
+++ b/test/spec/simd_i16x8_extmul_i8x16.txt
@@ -37,5 +37,5 @@ out/test/spec/simd_i16x8_extmul_i8x16.wast:389: assert_invalid passed:
out/test/spec/simd_i16x8_extmul_i8x16.wast:397: assert_invalid passed:
out/test/spec/simd_i16x8_extmul_i8x16/simd_i16x8_extmul_i8x16.12.wasm:000001b: error: type mismatch in i16x8.extmul_high_i8x16_u, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-116/116 tests passed.
+117/117 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i16x8_q15mulr_sat_s.txt b/test/spec/simd_i16x8_q15mulr_sat_s.txt
index 3b1a3296..66587cc5 100644
--- a/test/spec/simd_i16x8_q15mulr_sat_s.txt
+++ b/test/spec/simd_i16x8_q15mulr_sat_s.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_i16x8_q15mulr_sat_s.wast:95: assert_invalid passed:
out/test/spec/simd_i16x8_q15mulr_sat_s.wast:103: assert_invalid passed:
out/test/spec/simd_i16x8_q15mulr_sat_s/simd_i16x8_q15mulr_sat_s.3.wasm:000001b: error: type mismatch in i16x8.q15mulr_sat_s, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-29/29 tests passed.
+30/30 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i16x8_sat_arith.txt b/test/spec/simd_i16x8_sat_arith.txt
index fec99db6..a6ab4cbd 100644
--- a/test/spec/simd_i16x8_sat_arith.txt
+++ b/test/spec/simd_i16x8_sat_arith.txt
@@ -53,5 +53,5 @@ out/test/spec/simd_i16x8_sat_arith.wast:679: assert_invalid passed:
out/test/spec/simd_i16x8_sat_arith.wast:687: assert_invalid passed:
out/test/spec/simd_i16x8_sat_arith/simd_i16x8_sat_arith.16.wasm:000001b: error: type mismatch in i16x8.sub_sat_u, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-220/220 tests passed.
+222/222 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_arith.txt b/test/spec/simd_i32x4_arith.txt
index 6acfd025..bf826049 100644
--- a/test/spec/simd_i32x4_arith.txt
+++ b/test/spec/simd_i32x4_arith.txt
@@ -34,5 +34,5 @@ out/test/spec/simd_i32x4_arith.wast:576: assert_invalid passed:
out/test/spec/simd_i32x4_arith.wast:584: assert_invalid passed:
out/test/spec/simd_i32x4_arith/simd_i32x4_arith.11.wasm:000001b: error: type mismatch in i32x4.mul, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-192/192 tests passed.
+194/194 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_arith2.txt b/test/spec/simd_i32x4_arith2.txt
index 08b8c166..63686030 100644
--- a/test/spec/simd_i32x4_arith2.txt
+++ b/test/spec/simd_i32x4_arith2.txt
@@ -91,5 +91,5 @@ out/test/spec/simd_i32x4_arith2.wast:360: assert_invalid passed:
out/test/spec/simd_i32x4_arith2.wast:368: assert_invalid passed:
out/test/spec/simd_i32x4_arith2/simd_i32x4_arith2.26.wasm:000001b: error: type mismatch in i32x4.abs, expected [v128] but got []
000001b: error: OnUnaryExpr callback failed
-147/147 tests passed.
+149/149 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_cmp.txt b/test/spec/simd_i32x4_cmp.txt
index bdb4bcaf..03cf444d 100644
--- a/test/spec/simd_i32x4_cmp.txt
+++ b/test/spec/simd_i32x4_cmp.txt
@@ -131,5 +131,5 @@ out/test/spec/simd_i32x4_cmp.wast:1919: assert_malformed passed:
out/test/spec/simd_i32x4_cmp/simd_i32x4_cmp.41.wat:1:65: error: unexpected token "i4x32.ge_u", expected an instr.
...28) (param $y v128) (result v128) (i4x32.ge_u (local.get $x) (local.get $y)))
^^^^^^^^^^
-473/473 tests passed.
+475/475 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_dot_i16x8.txt b/test/spec/simd_i32x4_dot_i16x8.txt
index 8aa5484e..90d35a9e 100644
--- a/test/spec/simd_i32x4_dot_i16x8.txt
+++ b/test/spec/simd_i32x4_dot_i16x8.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_i32x4_dot_i16x8.wast:95: assert_invalid passed:
out/test/spec/simd_i32x4_dot_i16x8.wast:103: assert_invalid passed:
out/test/spec/simd_i32x4_dot_i16x8/simd_i32x4_dot_i16x8.3.wasm:000001b: error: type mismatch in i32x4.dot_i16x8_s, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-29/29 tests passed.
+30/30 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_extadd_pairwise_i16x8.txt b/test/spec/simd_i32x4_extadd_pairwise_i16x8.txt
index 943a6321..c08ba444 100644
--- a/test/spec/simd_i32x4_extadd_pairwise_i16x8.txt
+++ b/test/spec/simd_i32x4_extadd_pairwise_i16x8.txt
@@ -13,5 +13,5 @@ out/test/spec/simd_i32x4_extadd_pairwise_i16x8.wast:53: assert_invalid passed:
out/test/spec/simd_i32x4_extadd_pairwise_i16x8.wast:61: assert_invalid passed:
out/test/spec/simd_i32x4_extadd_pairwise_i16x8/simd_i32x4_extadd_pairwise_i16x8.4.wasm:000001a: error: type mismatch in i32x4.extadd_pairwise_i16x8_u, expected [v128] but got []
000001a: error: OnUnaryExpr callback failed
-20/20 tests passed.
+21/21 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_extmul_i16x8.txt b/test/spec/simd_i32x4_extmul_i16x8.txt
index 0bcfa2a9..0e9e6500 100644
--- a/test/spec/simd_i32x4_extmul_i16x8.txt
+++ b/test/spec/simd_i32x4_extmul_i16x8.txt
@@ -37,5 +37,5 @@ out/test/spec/simd_i32x4_extmul_i16x8.wast:389: assert_invalid passed:
out/test/spec/simd_i32x4_extmul_i16x8.wast:397: assert_invalid passed:
out/test/spec/simd_i32x4_extmul_i16x8/simd_i32x4_extmul_i16x8.12.wasm:000001b: error: type mismatch in i32x4.extmul_high_i16x8_u, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-116/116 tests passed.
+117/117 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_trunc_sat_f32x4.txt b/test/spec/simd_i32x4_trunc_sat_f32x4.txt
index b0ddfcd8..6a6f5583 100644
--- a/test/spec/simd_i32x4_trunc_sat_f32x4.txt
+++ b/test/spec/simd_i32x4_trunc_sat_f32x4.txt
@@ -13,5 +13,5 @@ out/test/spec/simd_i32x4_trunc_sat_f32x4.wast:224: assert_invalid passed:
out/test/spec/simd_i32x4_trunc_sat_f32x4.wast:232: assert_invalid passed:
out/test/spec/simd_i32x4_trunc_sat_f32x4/simd_i32x4_trunc_sat_f32x4.4.wasm:000001b: error: type mismatch in i32x4.trunc_sat_f32x4_u, expected [v128] but got []
000001b: error: OnConvertExpr callback failed
-106/106 tests passed.
+107/107 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i32x4_trunc_sat_f64x2.txt b/test/spec/simd_i32x4_trunc_sat_f64x2.txt
index 514c3fae..f578f5d6 100644
--- a/test/spec/simd_i32x4_trunc_sat_f64x2.txt
+++ b/test/spec/simd_i32x4_trunc_sat_f64x2.txt
@@ -13,5 +13,5 @@ out/test/spec/simd_i32x4_trunc_sat_f64x2.wast:224: assert_invalid passed:
out/test/spec/simd_i32x4_trunc_sat_f64x2.wast:232: assert_invalid passed:
out/test/spec/simd_i32x4_trunc_sat_f64x2/simd_i32x4_trunc_sat_f64x2.4.wasm:000001b: error: type mismatch in i32x4.trunc_sat_f64x2_u_zero, expected [v128] but got []
000001b: error: OnConvertExpr callback failed
-106/106 tests passed.
+107/107 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i64x2_arith.txt b/test/spec/simd_i64x2_arith.txt
index f86ea414..c1bbcdaa 100644
--- a/test/spec/simd_i64x2_arith.txt
+++ b/test/spec/simd_i64x2_arith.txt
@@ -34,5 +34,5 @@ out/test/spec/simd_i64x2_arith.wast:594: assert_invalid passed:
out/test/spec/simd_i64x2_arith.wast:602: assert_invalid passed:
out/test/spec/simd_i64x2_arith/simd_i64x2_arith.11.wasm:000001b: error: type mismatch in i64x2.mul, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-198/198 tests passed.
+200/200 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i64x2_arith2.txt b/test/spec/simd_i64x2_arith2.txt
index f3449ac3..86ed5b05 100644
--- a/test/spec/simd_i64x2_arith2.txt
+++ b/test/spec/simd_i64x2_arith2.txt
@@ -7,5 +7,5 @@ out/test/spec/simd_i64x2_arith2.wast:59: assert_invalid passed:
out/test/spec/simd_i64x2_arith2.wast:64: assert_invalid passed:
out/test/spec/simd_i64x2_arith2/simd_i64x2_arith2.2.wasm:000001b: error: type mismatch in i64x2.abs, expected [v128] but got []
000001b: error: OnUnaryExpr callback failed
-23/23 tests passed.
+25/25 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i64x2_cmp.txt b/test/spec/simd_i64x2_cmp.txt
index b426f6db..5add9a05 100644
--- a/test/spec/simd_i64x2_cmp.txt
+++ b/test/spec/simd_i64x2_cmp.txt
@@ -31,5 +31,5 @@ out/test/spec/simd_i64x2_cmp.wast:406: assert_invalid passed:
out/test/spec/simd_i64x2_cmp.wast:414: assert_invalid passed:
out/test/spec/simd_i64x2_cmp/simd_i64x2_cmp.10.wasm:000001b: error: type mismatch in i64x2.ne, expected [v128, v128] but got []
000001b: error: OnCompareExpr callback failed
-112/112 tests passed.
+113/113 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i64x2_extmul_i32x4.txt b/test/spec/simd_i64x2_extmul_i32x4.txt
index 2e7907f7..2100f639 100644
--- a/test/spec/simd_i64x2_extmul_i32x4.txt
+++ b/test/spec/simd_i64x2_extmul_i32x4.txt
@@ -37,5 +37,5 @@ out/test/spec/simd_i64x2_extmul_i32x4.wast:389: assert_invalid passed:
out/test/spec/simd_i64x2_extmul_i32x4.wast:397: assert_invalid passed:
out/test/spec/simd_i64x2_extmul_i32x4/simd_i64x2_extmul_i32x4.12.wasm:000001b: error: type mismatch in i64x2.extmul_high_i32x4_u, expected [v128, v128] but got []
000001b: error: OnBinaryExpr callback failed
-116/116 tests passed.
+117/117 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i8x16_arith.txt b/test/spec/simd_i8x16_arith.txt
index 70603c2f..b3c45090 100644
--- a/test/spec/simd_i8x16_arith.txt
+++ b/test/spec/simd_i8x16_arith.txt
@@ -25,5 +25,5 @@ out/test/spec/simd_i8x16_arith.wast:385: assert_invalid passed:
out/test/spec/simd_i8x16_arith.wast:393: assert_invalid passed:
out/test/spec/simd_i8x16_arith/simd_i8x16_arith.8.wasm:000001a: error: type mismatch in i8x16.sub, expected [v128, v128] but got []
000001a: error: OnBinaryExpr callback failed
-129/129 tests passed.
+131/131 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i8x16_arith2.txt b/test/spec/simd_i8x16_arith2.txt
index 621b0752..b2588d5e 100644
--- a/test/spec/simd_i8x16_arith2.txt
+++ b/test/spec/simd_i8x16_arith2.txt
@@ -82,5 +82,5 @@ out/test/spec/simd_i8x16_arith2.wast:477: assert_invalid passed:
out/test/spec/simd_i8x16_arith2.wast:485: assert_invalid passed:
out/test/spec/simd_i8x16_arith2/simd_i8x16_arith2.25.wasm:000001a: error: type mismatch in i8x16.popcnt, expected [v128] but got []
000001a: error: OnUnaryExpr callback failed
-209/209 tests passed.
+211/211 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i8x16_cmp.txt b/test/spec/simd_i8x16_cmp.txt
index e60b32f8..4d8c611e 100644
--- a/test/spec/simd_i8x16_cmp.txt
+++ b/test/spec/simd_i8x16_cmp.txt
@@ -91,5 +91,5 @@ out/test/spec/simd_i8x16_cmp.wast:1833: assert_invalid passed:
out/test/spec/simd_i8x16_cmp.wast:1841: assert_invalid passed:
out/test/spec/simd_i8x16_cmp/simd_i8x16_cmp.31.wasm:000001a: error: type mismatch in i8x16.ge_u, expected [v128, v128] but got []
000001a: error: OnCompareExpr callback failed
-443/443 tests passed.
+445/445 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_i8x16_sat_arith.txt b/test/spec/simd_i8x16_sat_arith.txt
index fcafc553..26089a85 100644
--- a/test/spec/simd_i8x16_sat_arith.txt
+++ b/test/spec/simd_i8x16_sat_arith.txt
@@ -85,5 +85,5 @@ out/test/spec/simd_i8x16_sat_arith.wast:655: assert_invalid passed:
out/test/spec/simd_i8x16_sat_arith.wast:663: assert_invalid passed:
out/test/spec/simd_i8x16_sat_arith/simd_i8x16_sat_arith.24.wasm:000001a: error: type mismatch in i8x16.sub_sat_u, expected [v128, v128] but got []
000001a: error: OnBinaryExpr callback failed
-212/212 tests passed.
+214/214 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_int_to_int_extend.txt b/test/spec/simd_int_to_int_extend.txt
index f955e949..7bb6688f 100644
--- a/test/spec/simd_int_to_int_extend.txt
+++ b/test/spec/simd_int_to_int_extend.txt
@@ -73,5 +73,5 @@ out/test/spec/simd_int_to_int_extend.wast:584: assert_invalid passed:
out/test/spec/simd_int_to_int_extend.wast:592: assert_invalid passed:
out/test/spec/simd_int_to_int_extend/simd_int_to_int_extend.24.wasm:000001b: error: type mismatch in i64x2.extend_low_i32x4_u, expected [v128] but got []
000001b: error: OnUnaryExpr callback failed
-252/252 tests passed.
+253/253 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_lane.txt b/test/spec/simd_lane.txt
index 0c3ccc6c..3d54d42f 100644
--- a/test/spec/simd_lane.txt
+++ b/test/spec/simd_lane.txt
@@ -917,5 +917,5 @@ out/test/spec/simd_lane.wast:1259: assert_malformed passed:
out/test/spec/simd_lane/simd_lane.200.wat:1:61: error: unexpected token ")", expected a natural number in range [0, 32).
(func $i8x16.shuffle-arg-empty (result v128) (i8x16.shuffle))
^
-463/463 tests passed.
+475/475 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load.txt b/test/spec/simd_load.txt
index 966f5920..85f60a92 100644
--- a/test/spec/simd_load.txt
+++ b/test/spec/simd_load.txt
@@ -37,5 +37,5 @@ out/test/spec/simd_load.wast:182: assert_invalid passed:
out/test/spec/simd_load.wast:186: assert_invalid passed:
out/test/spec/simd_load/simd_load.21.wasm:0000020: error: type mismatch in v128.load, expected [i32] but got []
0000020: error: OnLoadExpr callback failed
-25/25 tests passed.
+39/39 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load16_lane.txt b/test/spec/simd_load16_lane.txt
index 4163130b..286fe9cb 100644
--- a/test/spec/simd_load16_lane.txt
+++ b/test/spec/simd_load16_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_load16_lane.wast:201: assert_invalid passed:
out/test/spec/simd_load16_lane.wast:208: assert_invalid passed:
out/test/spec/simd_load16_lane/simd_load16_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (2)
0000027: error: OnSimdLoadLaneExpr callback failed
-35/35 tests passed.
+36/36 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load32_lane.txt b/test/spec/simd_load32_lane.txt
index 3e1857ed..f1106d01 100644
--- a/test/spec/simd_load32_lane.txt
+++ b/test/spec/simd_load32_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_load32_lane.wast:133: assert_invalid passed:
out/test/spec/simd_load32_lane.wast:140: assert_invalid passed:
out/test/spec/simd_load32_lane/simd_load32_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (4)
0000027: error: OnSimdLoadLaneExpr callback failed
-23/23 tests passed.
+24/24 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load64_lane.txt b/test/spec/simd_load64_lane.txt
index b5478d74..3d0b0f90 100644
--- a/test/spec/simd_load64_lane.txt
+++ b/test/spec/simd_load64_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_load64_lane.wast:87: assert_invalid passed:
out/test/spec/simd_load64_lane.wast:94: assert_invalid passed:
out/test/spec/simd_load64_lane/simd_load64_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (8)
0000027: error: OnSimdLoadLaneExpr callback failed
-15/15 tests passed.
+16/16 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load8_lane.txt b/test/spec/simd_load8_lane.txt
index 93c3ada8..e8775c83 100644
--- a/test/spec/simd_load8_lane.txt
+++ b/test/spec/simd_load8_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_load8_lane.wast:289: assert_invalid passed:
out/test/spec/simd_load8_lane.wast:296: assert_invalid passed:
out/test/spec/simd_load8_lane/simd_load8_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (1)
0000027: error: OnSimdLoadLaneExpr callback failed
-51/51 tests passed.
+52/52 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load_extend.txt b/test/spec/simd_load_extend.txt
index c71db0bb..8a172e4a 100644
--- a/test/spec/simd_load_extend.txt
+++ b/test/spec/simd_load_extend.txt
@@ -91,5 +91,5 @@ out/test/spec/simd_load_extend.wast:306: assert_malformed passed:
out/test/spec/simd_load_extend/simd_load_extend.18.wat:1:56: error: unexpected token ), expected EOF.
(memory 1) (func (drop (i64x2.load64x1_u (i32.const 0))))
^
-102/102 tests passed.
+104/104 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load_splat.txt b/test/spec/simd_load_splat.txt
index 70b516fd..fb07f9bd 100644
--- a/test/spec/simd_load_splat.txt
+++ b/test/spec/simd_load_splat.txt
@@ -85,5 +85,5 @@ out/test/spec/simd_load_splat.wast:247: assert_invalid passed:
out/test/spec/simd_load_splat.wast:255: assert_invalid passed:
out/test/spec/simd_load_splat/simd_load_splat.13.wasm:0000021: error: type mismatch in v128.load64_splat, expected [i32] but got []
0000021: error: OnLoadSplatExpr callback failed
-124/124 tests passed.
+126/126 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_load_zero.txt b/test/spec/simd_load_zero.txt
index c5fe4a94..e15857b0 100644
--- a/test/spec/simd_load_zero.txt
+++ b/test/spec/simd_load_zero.txt
@@ -59,5 +59,5 @@ out/test/spec/simd_load_zero.wast:124: assert_malformed passed:
out/test/spec/simd_load_zero/simd_load_zero.10.wat:1:56: error: unexpected token ), expected EOF.
(memory 1) (func (drop (i64x2.load64x1_u (i32.const 0))))
^
-37/37 tests passed.
+39/39 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_splat.txt b/test/spec/simd_splat.txt
index dbc2ff56..ea270a56 100644
--- a/test/spec/simd_splat.txt
+++ b/test/spec/simd_splat.txt
@@ -71,5 +71,5 @@ out/test/spec/simd_splat.wast:416: assert_invalid passed:
out/test/spec/simd_splat.wast:424: assert_invalid passed:
out/test/spec/simd_splat/simd_splat.26.wasm:000001a: error: type mismatch in f64x2.splat, expected [f64] but got []
000001a: error: OnUnaryExpr callback failed
-181/181 tests passed.
+185/185 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_store.txt b/test/spec/simd_store.txt
index 7c406fa2..dbe35202 100644
--- a/test/spec/simd_store.txt
+++ b/test/spec/simd_store.txt
@@ -31,5 +31,5 @@ out/test/spec/simd_store.wast:152: assert_invalid passed:
out/test/spec/simd_store.wast:160: assert_invalid passed:
out/test/spec/simd_store/simd_store.10.wasm:0000020: error: type mismatch in v128.store, expected [i32, v128] but got []
0000020: error: OnStoreExpr callback failed
-26/26 tests passed.
+28/28 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_store16_lane.txt b/test/spec/simd_store16_lane.txt
index afde2474..b682a0dc 100644
--- a/test/spec/simd_store16_lane.txt
+++ b/test/spec/simd_store16_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_store16_lane.wast:289: assert_invalid passed:
out/test/spec/simd_store16_lane.wast:296: assert_invalid passed:
out/test/spec/simd_store16_lane/simd_store16_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (2)
0000027: error: OnSimdStoreLaneExpr callback failed
-35/35 tests passed.
+36/36 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_store32_lane.txt b/test/spec/simd_store32_lane.txt
index 6fc32790..bccb4c61 100644
--- a/test/spec/simd_store32_lane.txt
+++ b/test/spec/simd_store32_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_store32_lane.wast:189: assert_invalid passed:
out/test/spec/simd_store32_lane.wast:196: assert_invalid passed:
out/test/spec/simd_store32_lane/simd_store32_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (4)
0000027: error: OnSimdStoreLaneExpr callback failed
-23/23 tests passed.
+24/24 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_store64_lane.txt b/test/spec/simd_store64_lane.txt
index 065dd832..c4c79535 100644
--- a/test/spec/simd_store64_lane.txt
+++ b/test/spec/simd_store64_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_store64_lane.wast:121: assert_invalid passed:
out/test/spec/simd_store64_lane.wast:128: assert_invalid passed:
out/test/spec/simd_store64_lane/simd_store64_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (8)
0000027: error: OnSimdStoreLaneExpr callback failed
-15/15 tests passed.
+16/16 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/simd_store8_lane.txt b/test/spec/simd_store8_lane.txt
index 7d04ce8c..a0324011 100644
--- a/test/spec/simd_store8_lane.txt
+++ b/test/spec/simd_store8_lane.txt
@@ -10,5 +10,5 @@ out/test/spec/simd_store8_lane.wast:417: assert_invalid passed:
out/test/spec/simd_store8_lane.wast:424: assert_invalid passed:
out/test/spec/simd_store8_lane/simd_store8_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (1)
0000027: error: OnSimdStoreLaneExpr callback failed
-51/51 tests passed.
+52/52 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/skip-stack-guard-page.txt b/test/spec/skip-stack-guard-page.txt
index 520dcf72..cae43939 100644
--- a/test/spec/skip-stack-guard-page.txt
+++ b/test/spec/skip-stack-guard-page.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/skip-stack-guard-page.wast
(;; STDOUT ;;;
-10/10 tests passed.
+11/11 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/stack.txt b/test/spec/stack.txt
index 91796961..3fa2ca91 100644
--- a/test/spec/stack.txt
+++ b/test/spec/stack.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/stack.wast
(;; STDOUT ;;;
-5/5 tests passed.
+7/7 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/start.txt b/test/spec/start.txt
index b8f8a343..d1de1508 100644
--- a/test/spec/start.txt
+++ b/test/spec/start.txt
@@ -21,5 +21,5 @@ out/test/spec/start.wast:103: assert_malformed passed:
out/test/spec/start/start.9.wat:1:69: error: multiple start sections
(module (func $a (unreachable)) (func $b (unreachable)) (start $a) (start $b))
^^^^^
-15/15 tests passed.
+20/20 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/store.txt b/test/spec/store.txt
index fde22834..b4a00d8a 100644
--- a/test/spec/store.txt
+++ b/test/spec/store.txt
@@ -182,5 +182,5 @@ out/test/spec/store.wast:416: assert_invalid passed:
out/test/spec/store.wast:417: assert_invalid passed:
out/test/spec/store/store.58.wasm:0000023: error: type mismatch in f64.store, expected [i32, f64] but got [i32, i64]
0000023: error: OnStoreExpr callback failed
-67/67 tests passed.
+68/68 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/switch.txt b/test/spec/switch.txt
index ecdfcf18..779daa00 100644
--- a/test/spec/switch.txt
+++ b/test/spec/switch.txt
@@ -4,5 +4,5 @@
out/test/spec/switch.wast:150: assert_invalid passed:
out/test/spec/switch/switch.1.wasm:000001c: error: invalid depth: 3 (max 0)
000001c: error: OnBrTableExpr callback failed
-27/27 tests passed.
+28/28 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table.txt b/test/spec/table.txt
index e663030a..c7514c7a 100644
--- a/test/spec/table.txt
+++ b/test/spec/table.txt
@@ -40,5 +40,5 @@ out/test/spec/table.wast:51: assert_malformed passed:
out/test/spec/table/table.18.wat:1:39: error: redefinition of table "$foo"
(import "" "" (table $foo 1 funcref))(import "" "" (table $foo 1 funcref))
^^^^^^
-10/10 tests passed.
+19/19 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table_copy.txt b/test/spec/table_copy.txt
index ade58b6c..d6a61309 100644
--- a/test/spec/table_copy.txt
+++ b/test/spec/table_copy.txt
@@ -1233,5 +1233,5 @@ out/test/spec/table_copy.wast:3079: assert_trap passed: uninitialized table elem
out/test/spec/table_copy.wast:3080: assert_trap passed: uninitialized table element
out/test/spec/table_copy.wast:3081: assert_trap passed: uninitialized table element
out/test/spec/table_copy.wast:3082: assert_trap passed: uninitialized table element
-1675/1675 tests passed.
+1727/1727 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table_fill.txt b/test/spec/table_fill.txt
index 9819113d..1df77d67 100644
--- a/test/spec/table_fill.txt
+++ b/test/spec/table_fill.txt
@@ -31,5 +31,5 @@ out/test/spec/table_fill.wast:135: assert_invalid passed:
out/test/spec/table_fill.wast:146: assert_invalid passed:
out/test/spec/table_fill/table_fill.9.wasm:0000028: error: type mismatch in implicit return, expected [i32] but got []
0000028: error: EndFunctionBody callback failed
-44/44 tests passed.
+45/45 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table_get.txt b/test/spec/table_get.txt
index d86e6699..18fe06c5 100644
--- a/test/spec/table_get.txt
+++ b/test/spec/table_get.txt
@@ -21,5 +21,5 @@ out/test/spec/table_get.wast:70: assert_invalid passed:
out/test/spec/table_get.wast:80: assert_invalid passed:
out/test/spec/table_get/table_get.5.wasm:0000026: error: type mismatch in implicit return, expected [funcref] but got [externref]
0000026: error: EndFunctionBody callback failed
-15/15 tests passed.
+16/16 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table_grow.txt b/test/spec/table_grow.txt
index 00e5daf8..5c92936a 100644
--- a/test/spec/table_grow.txt
+++ b/test/spec/table_grow.txt
@@ -28,5 +28,5 @@ out/test/spec/table_grow.wast:157: assert_invalid passed:
out/test/spec/table_grow.wast:166: assert_invalid passed:
out/test/spec/table_grow/table_grow.11.wasm:0000026: error: type mismatch in implicit return, expected [f32] but got [i32]
0000026: error: EndFunctionBody callback failed
-45/45 tests passed.
+50/50 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table_init.txt b/test/spec/table_init.txt
index 6f1caa0d..8572cf63 100644
--- a/test/spec/table_init.txt
+++ b/test/spec/table_init.txt
@@ -801,5 +801,5 @@ out/test/spec/table_init.wast:2117: assert_trap passed: uninitialized table elem
out/test/spec/table_init.wast:2118: assert_trap passed: uninitialized table element
out/test/spec/table_init.wast:2119: assert_trap passed: uninitialized table element
out/test/spec/table_init.wast:2120: assert_trap passed: uninitialized table element
-744/744 tests passed.
+779/779 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table_set.txt b/test/spec/table_set.txt
index 78bdd8fe..c5eff8f4 100644
--- a/test/spec/table_set.txt
+++ b/test/spec/table_set.txt
@@ -30,5 +30,5 @@ out/test/spec/table_set.wast:101: assert_invalid passed:
out/test/spec/table_set.wast:112: assert_invalid passed:
out/test/spec/table_set/table_set.7.wasm:0000025: error: type mismatch in implicit return, expected [i32] but got []
0000025: error: EndFunctionBody callback failed
-25/25 tests passed.
+26/26 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/table_size.txt b/test/spec/table_size.txt
index 906356c0..0203d34d 100644
--- a/test/spec/table_size.txt
+++ b/test/spec/table_size.txt
@@ -7,5 +7,5 @@ out/test/spec/table_size.wast:70: assert_invalid passed:
out/test/spec/table_size.wast:79: assert_invalid passed:
out/test/spec/table_size/table_size.2.wasm:0000022: error: type mismatch in implicit return, expected [f32] but got [i32]
0000022: error: EndFunctionBody callback failed
-38/38 tests passed.
+39/39 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/traps.txt b/test/spec/traps.txt
index f6b9d6d4..d9de3a1b 100644
--- a/test/spec/traps.txt
+++ b/test/spec/traps.txt
@@ -33,5 +33,5 @@ out/test/spec/traps.wast:88: assert_trap passed: out of bounds memory access: ac
out/test/spec/traps.wast:89: assert_trap passed: out of bounds memory access: access at 65536+1 >= max value 65536
out/test/spec/traps.wast:90: assert_trap passed: out of bounds memory access: access at 65536+4 >= max value 65536
out/test/spec/traps.wast:91: assert_trap passed: out of bounds memory access: access at 65536+8 >= max value 65536
-32/32 tests passed.
+36/36 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/type.txt b/test/spec/type.txt
index e170072d..dd7df607 100644
--- a/test/spec/type.txt
+++ b/test/spec/type.txt
@@ -9,5 +9,5 @@ out/test/spec/type.wast:48: assert_malformed passed:
out/test/spec/type/type.2.wat:1:21: error: unexpected token $x, expected ).
(type (func (result $x i32)))
^^
-2/2 tests passed.
+3/3 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/unreachable.txt b/test/spec/unreachable.txt
index 8b134380..bd041cc1 100644
--- a/test/spec/unreachable.txt
+++ b/test/spec/unreachable.txt
@@ -59,5 +59,5 @@ out/test/spec/unreachable.wast:298: assert_trap passed: unreachable executed
out/test/spec/unreachable.wast:299: assert_trap passed: unreachable executed
out/test/spec/unreachable.wast:301: assert_trap passed: unreachable executed
out/test/spec/unreachable.wast:303: assert_trap passed: unreachable executed
-63/63 tests passed.
+64/64 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/unreached-valid.txt b/test/spec/unreached-valid.txt
index b8ae5945..13ddb458 100644
--- a/test/spec/unreached-valid.txt
+++ b/test/spec/unreached-valid.txt
@@ -1,20 +1,9 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/unreached-valid.wast
-(;; STDERR ;;;
-out/test/spec/unreached-valid.wast:54:10: error: br_table labels have inconsistent types: expected [f32], got [f64]
- (br_table 0 1 1 (i32.const 1))
- ^^^^^^^^
-out/test/spec/unreached-valid.wast:54:10: error: br_table labels have inconsistent types: expected [f32], got [f64]
- (br_table 0 1 1 (i32.const 1))
- ^^^^^^^^
-out/test/spec/unreached-valid/unreached-valid.1.wasm:0000034: error: br_table labels have inconsistent types: expected [f32], got [f64]
-0000034: error: OnBrTableExpr callback failed
-;;; STDERR ;;)
(;; STDOUT ;;;
out/test/spec/unreached-valid.wast:42: assert_trap passed: unreachable executed
out/test/spec/unreached-valid.wast:43: assert_trap passed: unreachable executed
out/test/spec/unreached-valid.wast:44: assert_trap passed: unreachable executed
out/test/spec/unreached-valid.wast:45: assert_trap passed: unreachable executed
-out/test/spec/unreached-valid.wast:49: error reading module: "out/test/spec/unreached-valid/unreached-valid.1.wasm"
-4/4 tests passed.
+6/6 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/unwind.txt b/test/spec/unwind.txt
index 42cf3f02..8017880f 100644
--- a/test/spec/unwind.txt
+++ b/test/spec/unwind.txt
@@ -9,5 +9,5 @@ out/test/spec/unwind.wast:245: assert_trap passed: unreachable executed
out/test/spec/unwind.wast:251: assert_trap passed: unreachable executed
out/test/spec/unwind.wast:257: assert_trap passed: unreachable executed
out/test/spec/unwind.wast:263: assert_trap passed: unreachable executed
-49/49 tests passed.
+50/50 tests passed.
;;; STDOUT ;;)
diff --git a/test/spectest-interp-assert-failure.txt b/test/spectest-interp-assert-failure.txt
index 07f28e4e..019a5273 100644
--- a/test/spectest-interp-assert-failure.txt
+++ b/test/spectest-interp-assert-failure.txt
@@ -16,5 +16,5 @@
(;; STDOUT ;;;
out/test/spectest-interp-assert-failure.txt:10: mismatch in result 0 of assert_return: expected f32:nan:canonical, got f32:0.100000
out/test/spectest-interp-assert-failure.txt:11: mismatch in result 0 of assert_return: expected f64:nan:arithmetic, got f64:0.200000
-4/6 tests passed.
+5/7 tests passed.
;;; STDOUT ;;)
diff --git a/test/spectest-interp-error-count.txt b/test/spectest-interp-error-count.txt
index 9265dd4d..7487fe72 100644
--- a/test/spectest-interp-error-count.txt
+++ b/test/spectest-interp-error-count.txt
@@ -11,5 +11,5 @@
out/test/spectest-interp-error-count.txt:7: mismatch in result 0 of assert_return: expected i32:1, got i32:0
out/test/spectest-interp-error-count.txt:8: mismatch in result 0 of assert_return: expected i32:2, got i32:0
out/test/spectest-interp-error-count.txt:9: mismatch in result 0 of assert_return: expected i32:3, got i32:0
-1/4 tests passed.
+2/5 tests passed.
;;; STDOUT ;;)