summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--test/spec/br_if.txt50
-rw-r--r--test/spec/call.txt26
-rw-r--r--test/spec/call_indirect.txt56
-rw-r--r--test/spec/memory.txt82
-rw-r--r--test/spec/memory_grow.txt2
-rw-r--r--test/spec/select.txt10
-rw-r--r--test/spec/set_local.txt48
-rw-r--r--test/spec/tee_local.txt48
-rw-r--r--test/wasm2c/spec/br_if.txt2
-rw-r--r--test/wasm2c/spec/call.txt2
-rw-r--r--test/wasm2c/spec/call_indirect.txt2
-rw-r--r--test/wasm2c/spec/memory.txt2
-rw-r--r--test/wasm2c/spec/memory_grow.txt2
-rw-r--r--test/wasm2c/spec/select.txt2
-rw-r--r--test/wasm2c/spec/set_local.txt2
-rw-r--r--test/wasm2c/spec/tee_local.txt2
m---------third_party/testsuite0
17 files changed, 169 insertions, 169 deletions
diff --git a/test/spec/br_if.txt b/test/spec/br_if.txt
index 6bde58e4..6ab46262 100644
--- a/test/spec/br_if.txt
+++ b/test/spec/br_if.txt
@@ -1,77 +1,77 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/br_if.wast
(;; STDOUT ;;;
-out/test/spec/br_if.wast:432: assert_invalid passed:
+out/test/spec/br_if.wast:481: assert_invalid passed:
error: type mismatch in i32.ctz, expected [i32] but got []
000001e: error: OnUnaryExpr callback failed
-out/test/spec/br_if.wast:436: assert_invalid passed:
+out/test/spec/br_if.wast:485: assert_invalid passed:
error: type mismatch in i64.ctz, expected [i64] but got []
000001e: error: OnUnaryExpr callback failed
-out/test/spec/br_if.wast:440: assert_invalid passed:
+out/test/spec/br_if.wast:489: assert_invalid passed:
error: type mismatch in f32.neg, expected [f32] but got []
000001e: error: OnUnaryExpr callback failed
-out/test/spec/br_if.wast:444: assert_invalid passed:
+out/test/spec/br_if.wast:493: assert_invalid passed:
error: type mismatch in f64.neg, expected [f64] but got []
000001e: error: OnUnaryExpr callback failed
-out/test/spec/br_if.wast:449: assert_invalid passed:
+out/test/spec/br_if.wast:498: assert_invalid passed:
error: type mismatch in i32.ctz, expected [i32] but got []
000001e: error: OnUnaryExpr callback failed
-out/test/spec/br_if.wast:453: assert_invalid passed:
+out/test/spec/br_if.wast:502: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got [i64]
000001d: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:457: assert_invalid passed:
+out/test/spec/br_if.wast:506: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got [f32]
0000020: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:461: assert_invalid passed:
+out/test/spec/br_if.wast:510: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got [i64]
000001d: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:466: assert_invalid passed:
+out/test/spec/br_if.wast:515: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got []
000001e: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:472: assert_invalid passed:
+out/test/spec/br_if.wast:521: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got []
000001e: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:478: assert_invalid passed:
+out/test/spec/br_if.wast:527: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000020: error: OnEndExpr callback failed
-out/test/spec/br_if.wast:484: assert_invalid passed:
+out/test/spec/br_if.wast:533: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000020: error: OnEndExpr callback failed
-out/test/spec/br_if.wast:491: assert_invalid passed:
+out/test/spec/br_if.wast:540: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got []
000001f: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:497: assert_invalid passed:
+out/test/spec/br_if.wast:546: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got []
000001f: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:503: assert_invalid passed:
+out/test/spec/br_if.wast:552: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got [i64]
0000020: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:511: assert_invalid passed:
+out/test/spec/br_if.wast:560: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got [i64]
0000020: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:520: assert_invalid passed:
+out/test/spec/br_if.wast:569: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got []
000001c: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:526: assert_invalid passed:
+out/test/spec/br_if.wast:575: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got [i64]
000001d: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:532: assert_invalid passed:
+out/test/spec/br_if.wast:581: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got []
000001f: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:538: assert_invalid passed:
+out/test/spec/br_if.wast:587: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got []
0000022: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:544: assert_invalid passed:
+out/test/spec/br_if.wast:593: assert_invalid passed:
error: type mismatch in br_if, expected [i32] but got [... i64]
0000020: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:551: assert_invalid passed:
+out/test/spec/br_if.wast:600: assert_invalid passed:
error: invalid depth: 1 (max 0)
000001b: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:555: assert_invalid passed:
+out/test/spec/br_if.wast:604: assert_invalid passed:
error: invalid depth: 5 (max 2)
000001f: error: OnBrIfExpr callback failed
-out/test/spec/br_if.wast:559: assert_invalid passed:
+out/test/spec/br_if.wast:608: assert_invalid passed:
error: invalid depth: 268435457 (max 0)
000001f: error: OnBrIfExpr callback failed
-103/103 tests passed.
+112/112 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/call.txt b/test/spec/call.txt
index 80365ebb..932d2020 100644
--- a/test/spec/call.txt
+++ b/test/spec/call.txt
@@ -1,39 +1,39 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/call.wast
(;; STDOUT ;;;
-out/test/spec/call.wast:278: assert_invalid passed:
+out/test/spec/call.wast:314: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got []
000001b: error: OnConvertExpr callback failed
-out/test/spec/call.wast:285: assert_invalid passed:
+out/test/spec/call.wast:321: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got [i64]
000001f: error: OnConvertExpr callback failed
-out/test/spec/call.wast:293: assert_invalid passed:
+out/test/spec/call.wast:329: assert_invalid passed:
error: type mismatch in call, expected [i32] but got []
000001e: error: OnCallExpr callback failed
-out/test/spec/call.wast:300: assert_invalid passed:
+out/test/spec/call.wast:336: assert_invalid passed:
error: type mismatch in call, expected [f64, i32] but got []
000001f: error: OnCallExpr callback failed
-out/test/spec/call.wast:307: assert_invalid passed:
+out/test/spec/call.wast:343: assert_invalid passed:
error: type mismatch in function, expected [] but got [i32]
000001d: error: EndFunctionBody callback failed
-out/test/spec/call.wast:314: assert_invalid passed:
+out/test/spec/call.wast:350: assert_invalid passed:
error: type mismatch in function, expected [] but got [f64, i32]
0000026: error: EndFunctionBody callback failed
-out/test/spec/call.wast:322: assert_invalid passed:
+out/test/spec/call.wast:358: assert_invalid passed:
error: type mismatch in call, expected [i32, i32] but got [i32]
0000022: error: OnCallExpr callback failed
-out/test/spec/call.wast:329: assert_invalid passed:
+out/test/spec/call.wast:365: assert_invalid passed:
error: type mismatch in call, expected [i32, i32] but got [i32]
0000022: error: OnCallExpr callback failed
-out/test/spec/call.wast:336: assert_invalid passed:
+out/test/spec/call.wast:372: assert_invalid passed:
error: type mismatch in call, expected [i32, f64] but got [f64, i32]
000002a: error: OnCallExpr callback failed
-out/test/spec/call.wast:343: assert_invalid passed:
+out/test/spec/call.wast:379: assert_invalid passed:
error: type mismatch in call, expected [f64, i32] but got [i32, f64]
000002a: error: OnCallExpr callback failed
-out/test/spec/call.wast:354: assert_invalid passed:
+out/test/spec/call.wast:390: assert_invalid passed:
0000019: error: invalid call function index: 1
-out/test/spec/call.wast:358: assert_invalid passed:
+out/test/spec/call.wast:394: assert_invalid passed:
000001d: error: invalid call function index: 1012321300
-68/68 tests passed.
+75/75 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/call_indirect.txt b/test/spec/call_indirect.txt
index 1a55a6d5..f6b17130 100644
--- a/test/spec/call_indirect.txt
+++ b/test/spec/call_indirect.txt
@@ -1,116 +1,116 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/call_indirect.wast
(;; STDOUT ;;;
-out/test/spec/call_indirect.wast:527: assert_malformed passed:
+out/test/spec/call_indirect.wast:594: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.1.wat:1:122: error: unexpected token "param", expected an expr.
...indirect (type $sig) (result i32) (param i32) (i32.const 0) (i32.const ...
^^^^^
out/test/spec/call_indirect/call_indirect.1.wat:1:166: error: unexpected token ), expected EOF.
...irect (type $sig) (result i32) (param i32) (i32.const 0) (i32.const 0) ))
^
-out/test/spec/call_indirect.wast:539: assert_malformed passed:
+out/test/spec/call_indirect.wast:606: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.2.wat:1:109: error: unexpected token "type", expected an expr.
... i32) (call_indirect (param i32) (type $sig) (result i32) (i32.const 0...
^^^^
out/test/spec/call_indirect/call_indirect.2.wat:1:166: error: unexpected token ), expected EOF.
...irect (param i32) (type $sig) (result i32) (i32.const 0) (i32.const 0) ))
^
-out/test/spec/call_indirect.wast:551: assert_malformed passed:
+out/test/spec/call_indirect.wast:618: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.3.wat:1:122: error: unexpected token "type", expected an expr.
...indirect (param i32) (result i32) (type $sig) (i32.const 0) (i32.const ...
^^^^
out/test/spec/call_indirect/call_indirect.3.wat:1:166: error: unexpected token ), expected EOF.
...irect (param i32) (result i32) (type $sig) (i32.const 0) (i32.const 0) ))
^
-out/test/spec/call_indirect.wast:563: assert_malformed passed:
+out/test/spec/call_indirect.wast:630: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.4.wat:1:110: error: unexpected token "type", expected an expr.
...i32) (call_indirect (result i32) (type $sig) (param i32) (i32.const 0)...
^^^^
out/test/spec/call_indirect/call_indirect.4.wat:1:166: error: unexpected token ), expected EOF.
...irect (result i32) (type $sig) (param i32) (i32.const 0) (i32.const 0) ))
^
-out/test/spec/call_indirect.wast:575: assert_malformed passed:
+out/test/spec/call_indirect.wast:642: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.5.wat:1:110: error: unexpected token "param", expected an expr.
...i32) (call_indirect (result i32) (param i32) (type $sig) (i32.const 0)...
^^^^^
out/test/spec/call_indirect/call_indirect.5.wat:1:166: error: unexpected token ), expected EOF.
...irect (result i32) (param i32) (type $sig) (i32.const 0) (i32.const 0) ))
^
-out/test/spec/call_indirect.wast:587: assert_malformed passed:
+out/test/spec/call_indirect.wast:654: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.6.wat:1:67: error: unexpected token "param", expected an expr.
...t i32) (call_indirect (result i32) (param i32) (i32.const 0) (i32.const 0)))
^^^^^
out/test/spec/call_indirect/call_indirect.6.wat:1:106: error: unexpected token ), expected EOF.
...t i32) (call_indirect (result i32) (param i32) (i32.const 0) (i32.const 0)))
^
-out/test/spec/call_indirect.wast:597: assert_malformed passed:
+out/test/spec/call_indirect.wast:664: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.7.wat:1:46: error: unexpected token $x, expected ).
...e 0 anyfunc)(func (call_indirect (param $x i32) (i32.const 0) (i32.const 0)))
^^
out/test/spec/call_indirect/call_indirect.7.wat:1:82: error: unexpected token ), expected EOF.
...e 0 anyfunc)(func (call_indirect (param $x i32) (i32.const 0) (i32.const 0)))
^
-out/test/spec/call_indirect.wast:604: assert_malformed passed:
+out/test/spec/call_indirect.wast:671: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.8.wat:1:57: error: expected 0 results, got 1
...0 anyfunc)(func (result i32) (call_indirect (type $sig) (result i32) (i32...
^^^^^^^^^^^^^
-out/test/spec/call_indirect.wast:614: assert_malformed passed:
+out/test/spec/call_indirect.wast:681: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.9.wat:1:82: error: expected 1 arguments, got 0
...0 anyfunc)(func (result i32) (call_indirect (type $sig) (result i32) (i32...
^^^^^^^^^^^^^
-out/test/spec/call_indirect.wast:624: assert_malformed passed:
+out/test/spec/call_indirect.wast:691: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.10.wat:1:69: error: expected 1 results, got 0
...i32)))(table 0 anyfunc)(func (call_indirect (type $sig) (param i32) (i32....
^^^^^^^^^^^^^
-out/test/spec/call_indirect.wast:634: assert_malformed passed:
+out/test/spec/call_indirect.wast:701: assert_malformed passed:
out/test/spec/call_indirect/call_indirect.11.wat:1:86: error: expected 2 arguments, got 1
...0 anyfunc)(func (result i32) (call_indirect (type $sig) (param i32) (resu...
^^^^^^^^^^^^^
-out/test/spec/call_indirect.wast:649: assert_invalid passed:
+out/test/spec/call_indirect.wast:716: assert_invalid passed:
error: found call_indirect operator, but no table
000001c: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:657: assert_invalid passed:
+out/test/spec/call_indirect.wast:724: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got []
0000023: error: OnConvertExpr callback failed
-out/test/spec/call_indirect.wast:665: assert_invalid passed:
+out/test/spec/call_indirect.wast:732: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got [i64]
0000027: error: OnConvertExpr callback failed
-out/test/spec/call_indirect.wast:674: assert_invalid passed:
+out/test/spec/call_indirect.wast:741: assert_invalid passed:
error: type mismatch in call_indirect, expected [i32] but got []
0000026: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:682: assert_invalid passed:
+out/test/spec/call_indirect.wast:749: assert_invalid passed:
error: type mismatch in call_indirect, expected [f64, i32] but got []
0000027: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:690: assert_invalid passed:
+out/test/spec/call_indirect.wast:757: assert_invalid passed:
error: type mismatch in function, expected [] but got [i32]
0000025: error: EndFunctionBody callback failed
-out/test/spec/call_indirect.wast:698: assert_invalid passed:
+out/test/spec/call_indirect.wast:765: assert_invalid passed:
error: type mismatch in function, expected [] but got [f64, i32]
000002e: error: EndFunctionBody callback failed
-out/test/spec/call_indirect.wast:709: assert_invalid passed:
+out/test/spec/call_indirect.wast:776: assert_invalid passed:
error: type mismatch in call_indirect, expected [i32] but got []
0000027: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:717: assert_invalid passed:
+out/test/spec/call_indirect.wast:784: assert_invalid passed:
error: type mismatch in call_indirect, expected [i32] but got [... i64]
0000028: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:726: assert_invalid passed:
+out/test/spec/call_indirect.wast:793: assert_invalid passed:
error: type mismatch in call_indirect, expected [i32, i32] but got [i32]
000002a: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:736: assert_invalid passed:
+out/test/spec/call_indirect.wast:803: assert_invalid passed:
error: type mismatch in call_indirect, expected [i32, i32] but got [i32]
000002a: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:746: assert_invalid passed:
+out/test/spec/call_indirect.wast:813: assert_invalid passed:
error: type mismatch in call_indirect, expected [i32, f64] but got [f64, i32]
0000032: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:756: assert_invalid passed:
+out/test/spec/call_indirect.wast:823: assert_invalid passed:
error: type mismatch in call_indirect, expected [f64, i32] but got [i32, f64]
0000032: error: OnCallIndirectExpr callback failed
-out/test/spec/call_indirect.wast:770: assert_invalid passed:
+out/test/spec/call_indirect.wast:837: assert_invalid passed:
0000021: error: invalid call_indirect signature index
-out/test/spec/call_indirect.wast:777: assert_invalid passed:
+out/test/spec/call_indirect.wast:844: assert_invalid passed:
0000025: error: invalid call_indirect signature index
-out/test/spec/call_indirect.wast:788: assert_invalid passed:
+out/test/spec/call_indirect.wast:855: assert_invalid passed:
error: invalid func_index: 0 (max 0)
0000018: error: OnElemSegmentFunctionIndex callback failed
-138/138 tests passed.
+145/145 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory.txt b/test/spec/memory.txt
index e2a0c987..d6991ac6 100644
--- a/test/spec/memory.txt
+++ b/test/spec/memory.txt
@@ -44,85 +44,85 @@ out/test/spec/memory.wast:69: assert_invalid passed:
0000012: error: invalid memory max size
out/test/spec/memory.wast:73: assert_invalid passed:
0000012: error: invalid memory max size
-out/test/spec/memory.wast:215: assert_malformed passed:
- out/test/spec/memory/memory.26.wat:1:43: error: unexpected token "i32.load32", expected an instr.
+out/test/spec/memory.wast:483: assert_malformed passed:
+ out/test/spec/memory/memory.28.wat:1:43: error: unexpected token "i32.load32", expected an instr.
(memory 1)(func (param i32) (result i32) (i32.load32 (get_local 0)))
^^^^^^^^^^
-out/test/spec/memory.wast:222: assert_malformed passed:
- out/test/spec/memory/memory.27.wat:1:43: error: unexpected token "i32.load32_u", expected an instr.
+out/test/spec/memory.wast:490: assert_malformed passed:
+ out/test/spec/memory/memory.29.wat:1:43: error: unexpected token "i32.load32_u", expected an instr.
(memory 1)(func (param i32) (result i32) (i32.load32_u (get_local 0)))
^^^^^^^^^^^^
-out/test/spec/memory.wast:229: assert_malformed passed:
- out/test/spec/memory/memory.28.wat:1:43: error: unexpected token "i32.load32_s", expected an instr.
+out/test/spec/memory.wast:497: assert_malformed passed:
+ out/test/spec/memory/memory.30.wat:1:43: error: unexpected token "i32.load32_s", expected an instr.
(memory 1)(func (param i32) (result i32) (i32.load32_s (get_local 0)))
^^^^^^^^^^^^
-out/test/spec/memory.wast:236: assert_malformed passed:
- out/test/spec/memory/memory.29.wat:1:43: error: unexpected token "i32.load64", expected an instr.
+out/test/spec/memory.wast:504: assert_malformed passed:
+ out/test/spec/memory/memory.31.wat:1:43: error: unexpected token "i32.load64", expected an instr.
(memory 1)(func (param i32) (result i32) (i32.load64 (get_local 0)))
^^^^^^^^^^
-out/test/spec/memory.wast:243: assert_malformed passed:
- out/test/spec/memory/memory.30.wat:1:43: error: unexpected token "i32.load64_u", expected an instr.
+out/test/spec/memory.wast:511: assert_malformed passed:
+ out/test/spec/memory/memory.32.wat:1:43: error: unexpected token "i32.load64_u", expected an instr.
(memory 1)(func (param i32) (result i32) (i32.load64_u (get_local 0)))
^^^^^^^^^^^^
-out/test/spec/memory.wast:250: assert_malformed passed:
- out/test/spec/memory/memory.31.wat:1:43: error: unexpected token "i32.load64_s", expected an instr.
+out/test/spec/memory.wast:518: assert_malformed passed:
+ out/test/spec/memory/memory.33.wat:1:43: error: unexpected token "i32.load64_s", expected an instr.
(memory 1)(func (param i32) (result i32) (i32.load64_s (get_local 0)))
^^^^^^^^^^^^
-out/test/spec/memory.wast:257: assert_malformed passed:
- out/test/spec/memory/memory.32.wat:1:30: error: unexpected token "i32.store32", expected an instr.
+out/test/spec/memory.wast:525: assert_malformed passed:
+ out/test/spec/memory/memory.34.wat:1:30: error: unexpected token "i32.store32", expected an instr.
(memory 1)(func (param i32) (i32.store32 (get_local 0) (i32.const 0)))
^^^^^^^^^^^
-out/test/spec/memory.wast:264: assert_malformed passed:
- out/test/spec/memory/memory.33.wat:1:30: error: unexpected token "i32.store64", expected an instr.
+out/test/spec/memory.wast:532: assert_malformed passed:
+ out/test/spec/memory/memory.35.wat:1:30: error: unexpected token "i32.store64", expected an instr.
(memory 1)(func (param i32) (i32.store64 (get_local 0) (i64.const 0)))
^^^^^^^^^^^
-out/test/spec/memory.wast:272: assert_malformed passed:
- out/test/spec/memory/memory.34.wat:1:43: error: unexpected token "i64.load64", expected an instr.
+out/test/spec/memory.wast:540: assert_malformed passed:
+ out/test/spec/memory/memory.36.wat:1:43: error: unexpected token "i64.load64", expected an instr.
(memory 1)(func (param i32) (result i64) (i64.load64 (get_local 0)))
^^^^^^^^^^
-out/test/spec/memory.wast:279: assert_malformed passed:
- out/test/spec/memory/memory.35.wat:1:43: error: unexpected token "i64.load64_u", expected an instr.
+out/test/spec/memory.wast:547: assert_malformed passed:
+ out/test/spec/memory/memory.37.wat:1:43: error: unexpected token "i64.load64_u", expected an instr.
(memory 1)(func (param i32) (result i64) (i64.load64_u (get_local 0)))
^^^^^^^^^^^^
-out/test/spec/memory.wast:286: assert_malformed passed:
- out/test/spec/memory/memory.36.wat:1:43: error: unexpected token "i64.load64_s", expected an instr.
+out/test/spec/memory.wast:554: assert_malformed passed:
+ out/test/spec/memory/memory.38.wat:1:43: error: unexpected token "i64.load64_s", expected an instr.
(memory 1)(func (param i32) (result i64) (i64.load64_s (get_local 0)))
^^^^^^^^^^^^
-out/test/spec/memory.wast:293: assert_malformed passed:
- out/test/spec/memory/memory.37.wat:1:30: error: unexpected token "i64.store64", expected an instr.
+out/test/spec/memory.wast:561: assert_malformed passed:
+ out/test/spec/memory/memory.39.wat:1:30: error: unexpected token "i64.store64", expected an instr.
(memory 1)(func (param i32) (i64.store64 (get_local 0) (i64.const 0)))
^^^^^^^^^^^
-out/test/spec/memory.wast:301: assert_malformed passed:
- out/test/spec/memory/memory.38.wat:1:43: error: unexpected token "f32.load32", expected an instr.
+out/test/spec/memory.wast:569: assert_malformed passed:
+ out/test/spec/memory/memory.40.wat:1:43: error: unexpected token "f32.load32", expected an instr.
(memory 1)(func (param i32) (result f32) (f32.load32 (get_local 0)))
^^^^^^^^^^
-out/test/spec/memory.wast:308: assert_malformed passed:
- out/test/spec/memory/memory.39.wat:1:43: error: unexpected token "f32.load64", expected an instr.
+out/test/spec/memory.wast:576: assert_malformed passed:
+ out/test/spec/memory/memory.41.wat:1:43: error: unexpected token "f32.load64", expected an instr.
(memory 1)(func (param i32) (result f32) (f32.load64 (get_local 0)))
^^^^^^^^^^
-out/test/spec/memory.wast:315: assert_malformed passed:
- out/test/spec/memory/memory.40.wat:1:30: error: unexpected token "f32.store32", expected an instr.
+out/test/spec/memory.wast:583: assert_malformed passed:
+ out/test/spec/memory/memory.42.wat:1:30: error: unexpected token "f32.store32", expected an instr.
(memory 1)(func (param i32) (f32.store32 (get_local 0) (f32.const 0)))
^^^^^^^^^^^
-out/test/spec/memory.wast:322: assert_malformed passed:
- out/test/spec/memory/memory.41.wat:1:30: error: unexpected token "f32.store64", expected an instr.
+out/test/spec/memory.wast:590: assert_malformed passed:
+ out/test/spec/memory/memory.43.wat:1:30: error: unexpected token "f32.store64", expected an instr.
(memory 1)(func (param i32) (f32.store64 (get_local 0) (f64.const 0)))
^^^^^^^^^^^
-out/test/spec/memory.wast:330: assert_malformed passed:
- out/test/spec/memory/memory.42.wat:1:43: error: unexpected token "f64.load32", expected an instr.
+out/test/spec/memory.wast:598: assert_malformed passed:
+ out/test/spec/memory/memory.44.wat:1:43: error: unexpected token "f64.load32", expected an instr.
(memory 1)(func (param i32) (result f64) (f64.load32 (get_local 0)))
^^^^^^^^^^
-out/test/spec/memory.wast:337: assert_malformed passed:
- out/test/spec/memory/memory.43.wat:1:43: error: unexpected token "f64.load64", expected an instr.
+out/test/spec/memory.wast:605: assert_malformed passed:
+ out/test/spec/memory/memory.45.wat:1:43: error: unexpected token "f64.load64", expected an instr.
(memory 1)(func (param i32) (result f64) (f64.load64 (get_local 0)))
^^^^^^^^^^
-out/test/spec/memory.wast:344: assert_malformed passed:
- out/test/spec/memory/memory.44.wat:1:30: error: unexpected token "f64.store32", expected an instr.
+out/test/spec/memory.wast:612: assert_malformed passed:
+ out/test/spec/memory/memory.46.wat:1:30: error: unexpected token "f64.store32", expected an instr.
(memory 1)(func (param i32) (f64.store32 (get_local 0) (f32.const 0)))
^^^^^^^^^^^
-out/test/spec/memory.wast:351: assert_malformed passed:
- out/test/spec/memory/memory.45.wat:1:30: error: unexpected token "f64.store64", expected an instr.
+out/test/spec/memory.wast:619: assert_malformed passed:
+ out/test/spec/memory/memory.47.wat:1:30: error: unexpected token "f64.store64", expected an instr.
(memory 1)(func (param i32) (f64.store64 (get_local 0) (f64.const 0)))
^^^^^^^^^^^
-83/83 tests passed.
+129/129 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/memory_grow.txt b/test/spec/memory_grow.txt
index e32c571f..a0f0a4da 100644
--- a/test/spec/memory_grow.txt
+++ b/test/spec/memory_grow.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/memory_grow.wast
(;; STDOUT ;;;
-47/47 tests passed.
+84/84 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/select.txt b/test/spec/select.txt
index 17534e57..fb5958bc 100644
--- a/test/spec/select.txt
+++ b/test/spec/select.txt
@@ -1,17 +1,17 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/select.wast
(;; STDOUT ;;;
-out/test/spec/select.wast:259: assert_invalid passed:
+out/test/spec/select.wast:290: assert_invalid passed:
error: type mismatch in select, expected [i32, any, any] but got [i32]
000001c: error: OnSelectExpr callback failed
-out/test/spec/select.wast:266: assert_invalid passed:
+out/test/spec/select.wast:297: assert_invalid passed:
error: type mismatch in select, expected [i32, i64, i64] but got [i32, i64, i32]
000001e: error: OnSelectExpr callback failed
-out/test/spec/select.wast:270: assert_invalid passed:
+out/test/spec/select.wast:301: assert_invalid passed:
error: type mismatch in select, expected [i32, f32, f32] but got [i32, f32, i32]
0000021: error: OnSelectExpr callback failed
-out/test/spec/select.wast:274: assert_invalid passed:
+out/test/spec/select.wast:305: assert_invalid passed:
error: type mismatch in select, expected [i32, f64, f64] but got [i32, f64, i32]
0000025: error: OnSelectExpr callback failed
-90/90 tests passed.
+98/98 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/set_local.txt b/test/spec/set_local.txt
index 3d204b1d..c4a66ee4 100644
--- a/test/spec/set_local.txt
+++ b/test/spec/set_local.txt
@@ -1,74 +1,74 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/set_local.wast
(;; STDOUT ;;;
-out/test/spec/set_local.wast:95: assert_invalid passed:
+out/test/spec/set_local.wast:147: assert_invalid passed:
error: type mismatch in implicit return, expected [i64] but got []
000001f: error: EndFunctionBody callback failed
-out/test/spec/set_local.wast:101: assert_invalid passed:
+out/test/spec/set_local.wast:153: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got []
0000021: error: OnConvertExpr callback failed
-out/test/spec/set_local.wast:107: assert_invalid passed:
+out/test/spec/set_local.wast:159: assert_invalid passed:
error: type mismatch in f64.neg, expected [f64] but got []
0000020: error: OnUnaryExpr callback failed
-out/test/spec/set_local.wast:114: assert_invalid passed:
+out/test/spec/set_local.wast:166: assert_invalid passed:
error: type mismatch in set_local, expected [i32] but got []
000001c: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:118: assert_invalid passed:
+out/test/spec/set_local.wast:170: assert_invalid passed:
error: type mismatch in set_local, expected [i32] but got [f32]
0000020: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:122: assert_invalid passed:
+out/test/spec/set_local.wast:174: assert_invalid passed:
error: type mismatch in set_local, expected [f32] but got [f64]
0000024: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:126: assert_invalid passed:
+out/test/spec/set_local.wast:178: assert_invalid passed:
error: type mismatch in set_local, expected [i64] but got [f64]
0000026: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:134: assert_invalid passed:
+out/test/spec/set_local.wast:186: assert_invalid passed:
error: type mismatch in implicit return, expected [i64] but got [i32]
000001c: error: EndFunctionBody callback failed
-out/test/spec/set_local.wast:138: assert_invalid passed:
+out/test/spec/set_local.wast:190: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got [f32]
000001b: error: OnConvertExpr callback failed
-out/test/spec/set_local.wast:142: assert_invalid passed:
+out/test/spec/set_local.wast:194: assert_invalid passed:
error: type mismatch in f64.neg, expected [f64] but got [i64]
000001c: error: OnUnaryExpr callback failed
-out/test/spec/set_local.wast:147: assert_invalid passed:
+out/test/spec/set_local.wast:199: assert_invalid passed:
error: type mismatch in set_local, expected [i32] but got []
000001b: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:151: assert_invalid passed:
+out/test/spec/set_local.wast:203: assert_invalid passed:
error: type mismatch in set_local, expected [i32] but got [f32]
000001f: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:155: assert_invalid passed:
+out/test/spec/set_local.wast:207: assert_invalid passed:
error: type mismatch in set_local, expected [f32] but got [f64]
0000023: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:159: assert_invalid passed:
+out/test/spec/set_local.wast:211: assert_invalid passed:
error: type mismatch in set_local, expected [i64] but got [f64]
0000024: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:167: assert_invalid passed:
+out/test/spec/set_local.wast:219: assert_invalid passed:
error: invalid local_index: 3 (max 2)
000001d: error: OnGetLocalExpr callback failed
-out/test/spec/set_local.wast:171: assert_invalid passed:
+out/test/spec/set_local.wast:223: assert_invalid passed:
error: invalid local_index: 14324343 (max 2)
0000020: error: OnGetLocalExpr callback failed
-out/test/spec/set_local.wast:176: assert_invalid passed:
+out/test/spec/set_local.wast:228: assert_invalid passed:
error: invalid local_index: 2 (max 2)
000001b: error: OnGetLocalExpr callback failed
-out/test/spec/set_local.wast:180: assert_invalid passed:
+out/test/spec/set_local.wast:232: assert_invalid passed:
error: invalid local_index: 714324343 (max 2)
0000021: error: OnGetLocalExpr callback failed
-out/test/spec/set_local.wast:185: assert_invalid passed:
+out/test/spec/set_local.wast:237: assert_invalid passed:
error: invalid local_index: 3 (max 3)
000001e: error: OnGetLocalExpr callback failed
-out/test/spec/set_local.wast:189: assert_invalid passed:
+out/test/spec/set_local.wast:241: assert_invalid passed:
error: invalid local_index: 214324343 (max 3)
0000021: error: OnGetLocalExpr callback failed
-out/test/spec/set_local.wast:194: assert_invalid passed:
+out/test/spec/set_local.wast:246: assert_invalid passed:
error: type mismatch in set_local, expected [i32] but got [f32]
0000021: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:198: assert_invalid passed:
+out/test/spec/set_local.wast:250: assert_invalid passed:
error: type mismatch in set_local, expected [i32] but got [f32]
0000022: error: OnSetLocalExpr callback failed
-out/test/spec/set_local.wast:202: assert_invalid passed:
+out/test/spec/set_local.wast:254: assert_invalid passed:
error: type mismatch in set_local, expected [f64] but got [i64]
0000020: error: OnSetLocalExpr callback failed
-33/33 tests passed.
+42/42 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/tee_local.txt b/test/spec/tee_local.txt
index 30606337..30890f5a 100644
--- a/test/spec/tee_local.txt
+++ b/test/spec/tee_local.txt
@@ -1,74 +1,74 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/tee_local.wast
(;; STDOUT ;;;
-out/test/spec/tee_local.wast:132: assert_invalid passed:
+out/test/spec/tee_local.wast:371: assert_invalid passed:
error: type mismatch in implicit return, expected [i64] but got [i32]
000001f: error: EndFunctionBody callback failed
-out/test/spec/tee_local.wast:136: assert_invalid passed:
+out/test/spec/tee_local.wast:375: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got [f32]
0000021: error: OnConvertExpr callback failed
-out/test/spec/tee_local.wast:140: assert_invalid passed:
+out/test/spec/tee_local.wast:379: assert_invalid passed:
error: type mismatch in f64.neg, expected [f64] but got [i64]
0000020: error: OnUnaryExpr callback failed
-out/test/spec/tee_local.wast:145: assert_invalid passed:
+out/test/spec/tee_local.wast:384: assert_invalid passed:
error: type mismatch in tee_local, expected [i32] but got []
000001c: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:149: assert_invalid passed:
+out/test/spec/tee_local.wast:388: assert_invalid passed:
error: type mismatch in tee_local, expected [i32] but got [f32]
0000020: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:153: assert_invalid passed:
+out/test/spec/tee_local.wast:392: assert_invalid passed:
error: type mismatch in tee_local, expected [f32] but got [f64]
0000024: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:157: assert_invalid passed:
+out/test/spec/tee_local.wast:396: assert_invalid passed:
error: type mismatch in tee_local, expected [i64] but got [f64]
0000026: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:165: assert_invalid passed:
+out/test/spec/tee_local.wast:404: assert_invalid passed:
error: type mismatch in implicit return, expected [i64] but got [i32]
000001c: error: EndFunctionBody callback failed
-out/test/spec/tee_local.wast:169: assert_invalid passed:
+out/test/spec/tee_local.wast:408: assert_invalid passed:
error: type mismatch in i32.eqz, expected [i32] but got [f32]
000001b: error: OnConvertExpr callback failed
-out/test/spec/tee_local.wast:173: assert_invalid passed:
+out/test/spec/tee_local.wast:412: assert_invalid passed:
error: type mismatch in f64.neg, expected [f64] but got [i64]
000001c: error: OnUnaryExpr callback failed
-out/test/spec/tee_local.wast:178: assert_invalid passed:
+out/test/spec/tee_local.wast:417: assert_invalid passed:
error: type mismatch in tee_local, expected [i32] but got []
000001b: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:182: assert_invalid passed:
+out/test/spec/tee_local.wast:421: assert_invalid passed:
error: type mismatch in tee_local, expected [i32] but got [f32]
000001f: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:186: assert_invalid passed:
+out/test/spec/tee_local.wast:425: assert_invalid passed:
error: type mismatch in tee_local, expected [f32] but got [f64]
0000023: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:190: assert_invalid passed:
+out/test/spec/tee_local.wast:429: assert_invalid passed:
error: type mismatch in tee_local, expected [i64] but got [f64]
0000024: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:198: assert_invalid passed:
+out/test/spec/tee_local.wast:437: assert_invalid passed:
error: invalid local_index: 3 (max 2)
000001d: error: OnGetLocalExpr callback failed
-out/test/spec/tee_local.wast:202: assert_invalid passed:
+out/test/spec/tee_local.wast:441: assert_invalid passed:
error: invalid local_index: 14324343 (max 2)
0000020: error: OnGetLocalExpr callback failed
-out/test/spec/tee_local.wast:207: assert_invalid passed:
+out/test/spec/tee_local.wast:446: assert_invalid passed:
error: invalid local_index: 2 (max 2)
000001b: error: OnGetLocalExpr callback failed
-out/test/spec/tee_local.wast:211: assert_invalid passed:
+out/test/spec/tee_local.wast:450: assert_invalid passed:
error: invalid local_index: 714324343 (max 2)
0000021: error: OnGetLocalExpr callback failed
-out/test/spec/tee_local.wast:216: assert_invalid passed:
+out/test/spec/tee_local.wast:455: assert_invalid passed:
error: invalid local_index: 3 (max 3)
000001e: error: OnGetLocalExpr callback failed
-out/test/spec/tee_local.wast:220: assert_invalid passed:
+out/test/spec/tee_local.wast:459: assert_invalid passed:
error: invalid local_index: 214324343 (max 3)
0000021: error: OnGetLocalExpr callback failed
-out/test/spec/tee_local.wast:225: assert_invalid passed:
+out/test/spec/tee_local.wast:464: assert_invalid passed:
error: type mismatch in tee_local, expected [i32] but got [f32]
0000021: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:229: assert_invalid passed:
+out/test/spec/tee_local.wast:468: assert_invalid passed:
error: type mismatch in tee_local, expected [i32] but got [f32]
0000022: error: OnTeeLocalExpr callback failed
-out/test/spec/tee_local.wast:233: assert_invalid passed:
+out/test/spec/tee_local.wast:472: assert_invalid passed:
error: type mismatch in tee_local, expected [f64] but got [i64]
0000020: error: OnTeeLocalExpr callback failed
-34/34 tests passed.
+78/78 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/br_if.txt b/test/wasm2c/spec/br_if.txt
index 3ce64ef3..7dcfa725 100644
--- a/test/wasm2c/spec/br_if.txt
+++ b/test/wasm2c/spec/br_if.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/br_if.wast
(;; STDOUT ;;;
-79/79 tests passed.
+88/88 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/call.txt b/test/wasm2c/spec/call.txt
index 1399d7ec..d258328d 100644
--- a/test/wasm2c/spec/call.txt
+++ b/test/wasm2c/spec/call.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/call.wast
(;; STDOUT ;;;
-56/56 tests passed.
+63/63 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/call_indirect.txt b/test/wasm2c/spec/call_indirect.txt
index 6b792021..52fc9f95 100644
--- a/test/wasm2c/spec/call_indirect.txt
+++ b/test/wasm2c/spec/call_indirect.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/call_indirect.wast
(;; STDOUT ;;;
-111/111 tests passed.
+118/118 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory.txt b/test/wasm2c/spec/memory.txt
index e5a4da1c..2aed84e7 100644
--- a/test/wasm2c/spec/memory.txt
+++ b/test/wasm2c/spec/memory.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/memory.wast
(;; STDOUT ;;;
-45/45 tests passed.
+91/91 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/memory_grow.txt b/test/wasm2c/spec/memory_grow.txt
index 534d332f..8381ed4e 100644
--- a/test/wasm2c/spec/memory_grow.txt
+++ b/test/wasm2c/spec/memory_grow.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/memory_grow.wast
(;; STDOUT ;;;
-47/47 tests passed.
+84/84 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/select.txt b/test/wasm2c/spec/select.txt
index 8d92311e..8d2ef474 100644
--- a/test/wasm2c/spec/select.txt
+++ b/test/wasm2c/spec/select.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/select.wast
(;; STDOUT ;;;
-86/86 tests passed.
+94/94 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/set_local.txt b/test/wasm2c/spec/set_local.txt
index 928d75d2..daa5db94 100644
--- a/test/wasm2c/spec/set_local.txt
+++ b/test/wasm2c/spec/set_local.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/set_local.wast
(;; STDOUT ;;;
-10/10 tests passed.
+19/19 tests passed.
;;; STDOUT ;;)
diff --git a/test/wasm2c/spec/tee_local.txt b/test/wasm2c/spec/tee_local.txt
index 74c0ec81..f14686bb 100644
--- a/test/wasm2c/spec/tee_local.txt
+++ b/test/wasm2c/spec/tee_local.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/tee_local.wast
(;; STDOUT ;;;
-11/11 tests passed.
+55/55 tests passed.
;;; STDOUT ;;)
diff --git a/third_party/testsuite b/third_party/testsuite
-Subproject e923de4f6006377d53d805351f40d00411142f9
+Subproject b2800641d6c6b6a0c462f83e620843c414bea57
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-25 04:25:04 +0000