diff options
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 ;;) |