diff options
| -rw-r--r-- | test/spec/binary.txt | 8 | ||||
| -rw-r--r-- | test/spec/block.txt | 241 | ||||
| -rw-r--r-- | test/spec/br.txt | 43 | ||||
| -rw-r--r-- | test/spec/br_if.txt | 33 | ||||
| -rw-r--r-- | test/spec/br_table.txt | 46 | ||||
| -rw-r--r-- | test/spec/call.txt | 24 | ||||
| -rw-r--r-- | test/spec/call_indirect.txt | 26 | ||||
| -rw-r--r-- | test/spec/conversions.txt | 77 | ||||
| -rw-r--r-- | test/spec/f32.txt | 35 | ||||
| -rw-r--r-- | test/spec/f32_bitwise.txt | 11 | ||||
| -rw-r--r-- | test/spec/f32_cmp.txt | 20 | ||||
| -rw-r--r-- | test/spec/f64.txt | 35 | ||||
| -rw-r--r-- | test/spec/f64_bitwise.txt | 11 | ||||
| -rw-r--r-- | test/spec/f64_cmp.txt | 20 | ||||
| -rw-r--r-- | test/spec/globals.txt | 38 | ||||
| -rw-r--r-- | test/spec/i32.txt | 226 | ||||
| -rw-r--r-- | test/spec/i64.txt | 89 | ||||
| -rw-r--r-- | test/spec/if.txt | 87 | ||||
| -rw-r--r-- | test/spec/imports.txt | 4 | ||||
| -rw-r--r-- | test/spec/load.txt | 98 | ||||
| -rw-r--r-- | test/spec/local_get.txt | 20 | ||||
| -rw-r--r-- | test/spec/local_set.txt | 74 | ||||
| -rw-r--r-- | test/spec/local_tee.txt | 74 | ||||
| -rw-r--r-- | test/spec/loop.txt | 19 | ||||
| -rw-r--r-- | test/spec/memory_grow.txt | 17 | ||||
| -rw-r--r-- | test/spec/return.txt | 62 | ||||
| -rw-r--r-- | test/spec/select.txt | 38 | ||||
| -rw-r--r-- | test/spec/store.txt | 128 | ||||
| m--------- | third_party/testsuite | 0 |
29 files changed, 1340 insertions, 264 deletions
diff --git a/test/spec/binary.txt b/test/spec/binary.txt index 96e2d499..466af887 100644 --- a/test/spec/binary.txt +++ b/test/spec/binary.txt @@ -119,13 +119,13 @@ out/test/spec/binary.wast:558: assert_malformed passed: 000001e: error: memory.size reserved value must be 0 out/test/spec/binary.wast:577: assert_malformed passed: 000001c: error: local count must be < 0x10000000 -out/test/spec/binary.wast:594: assert_malformed passed: +out/test/spec/binary.wast:609: assert_malformed passed: 0000013: error: function signature count != function body count -out/test/spec/binary.wast:604: assert_malformed passed: +out/test/spec/binary.wast:619: assert_malformed passed: 000000b: error: function signature count != function body count -out/test/spec/binary.wast:613: assert_malformed passed: +out/test/spec/binary.wast:628: assert_malformed passed: 0000016: error: function signature count != function body count -out/test/spec/binary.wast:624: assert_malformed passed: +out/test/spec/binary.wast:639: assert_malformed passed: 0000015: error: function signature count != function body count 63/63 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/block.txt b/test/spec/block.txt index 3fd00a34..51bcc787 100644 --- a/test/spec/block.txt +++ b/test/spec/block.txt @@ -39,347 +39,356 @@ out/test/spec/block.wast:366: assert_invalid passed: 000001b: error: OnEndExpr callback failed out/test/spec/block.wast:373: assert_invalid passed: error: type mismatch in block, expected [i32] but got [] + 000001e: error: OnEndExpr callback failed +out/test/spec/block.wast:382: assert_invalid passed: + error: type mismatch in block, expected [i32] but got [] + 000001e: error: OnEndExpr callback failed +out/test/spec/block.wast:391: assert_invalid passed: + error: type mismatch in block, expected [i32] but got [] + 0000020: error: OnEndExpr callback failed +out/test/spec/block.wast:401: assert_invalid passed: + error: type mismatch in block, expected [i32] but got [] 000001c: error: OnEndExpr callback failed -out/test/spec/block.wast:379: assert_invalid passed: +out/test/spec/block.wast:407: assert_invalid passed: error: type mismatch in block, expected [i64] but got [] 000001c: error: OnEndExpr callback failed -out/test/spec/block.wast:385: assert_invalid passed: +out/test/spec/block.wast:413: assert_invalid passed: error: type mismatch in block, expected [f32] but got [] 000001c: error: OnEndExpr callback failed -out/test/spec/block.wast:391: assert_invalid passed: +out/test/spec/block.wast:419: assert_invalid passed: error: type mismatch in block, expected [f64] but got [] 000001c: error: OnEndExpr callback failed -out/test/spec/block.wast:398: assert_invalid passed: +out/test/spec/block.wast:426: assert_invalid passed: error: type mismatch in block, expected [i32] but got [i64] 000001d: error: OnEndExpr callback failed -out/test/spec/block.wast:404: assert_invalid passed: +out/test/spec/block.wast:432: assert_invalid passed: error: type mismatch in block, expected [i32] but got [f32] 0000020: error: OnEndExpr callback failed -out/test/spec/block.wast:410: assert_invalid passed: +out/test/spec/block.wast:438: assert_invalid passed: error: type mismatch in block, expected [i32] but got [f64] 0000024: error: OnEndExpr callback failed -out/test/spec/block.wast:416: assert_invalid passed: +out/test/spec/block.wast:444: assert_invalid passed: error: type mismatch in block, expected [i64] but got [i32] 000001d: error: OnEndExpr callback failed -out/test/spec/block.wast:422: assert_invalid passed: +out/test/spec/block.wast:450: assert_invalid passed: error: type mismatch in block, expected [i64] but got [f32] 0000020: error: OnEndExpr callback failed -out/test/spec/block.wast:428: assert_invalid passed: +out/test/spec/block.wast:456: assert_invalid passed: error: type mismatch in block, expected [i64] but got [f64] 0000024: error: OnEndExpr callback failed -out/test/spec/block.wast:434: assert_invalid passed: +out/test/spec/block.wast:462: assert_invalid passed: error: type mismatch in block, expected [f32] but got [i32] 000001d: error: OnEndExpr callback failed -out/test/spec/block.wast:440: assert_invalid passed: +out/test/spec/block.wast:468: assert_invalid passed: error: type mismatch in block, expected [f32] but got [i64] 000001d: error: OnEndExpr callback failed -out/test/spec/block.wast:446: assert_invalid passed: +out/test/spec/block.wast:474: assert_invalid passed: error: type mismatch in block, expected [f32] but got [f64] 0000024: error: OnEndExpr callback failed -out/test/spec/block.wast:452: assert_invalid passed: +out/test/spec/block.wast:480: assert_invalid passed: error: type mismatch in block, expected [f64] but got [i32] 000001d: error: OnEndExpr callback failed -out/test/spec/block.wast:458: assert_invalid passed: +out/test/spec/block.wast:486: assert_invalid passed: error: type mismatch in block, expected [f64] but got [i64] 000001d: error: OnEndExpr callback failed -out/test/spec/block.wast:464: assert_invalid passed: +out/test/spec/block.wast:492: assert_invalid passed: error: type mismatch in block, expected [f64] but got [f32] 0000020: error: OnEndExpr callback failed -out/test/spec/block.wast:471: assert_invalid passed: +out/test/spec/block.wast:499: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [i64] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:477: assert_invalid passed: +out/test/spec/block.wast:505: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [f32] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:483: assert_invalid passed: +out/test/spec/block.wast:511: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [f64] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:489: assert_invalid passed: +out/test/spec/block.wast:517: assert_invalid passed: error: type mismatch in implicit return, expected [i64] but got [i32] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:495: assert_invalid passed: +out/test/spec/block.wast:523: assert_invalid passed: error: type mismatch in implicit return, expected [i64] but got [f32] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:501: assert_invalid passed: +out/test/spec/block.wast:529: assert_invalid passed: error: type mismatch in implicit return, expected [i64] but got [f64] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:507: assert_invalid passed: +out/test/spec/block.wast:535: assert_invalid passed: error: type mismatch in implicit return, expected [f32] but got [i32] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:513: assert_invalid passed: +out/test/spec/block.wast:541: assert_invalid passed: error: type mismatch in implicit return, expected [f32] but got [i64] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:519: assert_invalid passed: +out/test/spec/block.wast:547: assert_invalid passed: error: type mismatch in implicit return, expected [f32] but got [f64] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:525: assert_invalid passed: +out/test/spec/block.wast:553: assert_invalid passed: error: type mismatch in implicit return, expected [f64] but got [i32] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:531: assert_invalid passed: +out/test/spec/block.wast:559: assert_invalid passed: error: type mismatch in implicit return, expected [f64] but got [i64] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:537: assert_invalid passed: +out/test/spec/block.wast:565: assert_invalid passed: error: type mismatch in implicit return, expected [f64] but got [f32] 0000020: error: EndFunctionBody callback failed -out/test/spec/block.wast:544: assert_invalid passed: +out/test/spec/block.wast:572: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:550: assert_invalid passed: +out/test/spec/block.wast:578: assert_invalid passed: error: type mismatch in br, expected [i64] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:556: assert_invalid passed: +out/test/spec/block.wast:584: assert_invalid passed: error: type mismatch in br, expected [f32] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:562: assert_invalid passed: +out/test/spec/block.wast:590: assert_invalid passed: error: type mismatch in br, expected [f64] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:569: assert_invalid passed: +out/test/spec/block.wast:597: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:575: assert_invalid passed: +out/test/spec/block.wast:603: assert_invalid passed: error: type mismatch in br, expected [i64] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:581: assert_invalid passed: +out/test/spec/block.wast:609: assert_invalid passed: error: type mismatch in br, expected [f32] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:587: assert_invalid passed: +out/test/spec/block.wast:615: assert_invalid passed: error: type mismatch in br, expected [f64] but got [] 000001c: error: OnBrExpr callback failed -out/test/spec/block.wast:594: assert_invalid passed: +out/test/spec/block.wast:622: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:600: assert_invalid passed: +out/test/spec/block.wast:628: assert_invalid passed: error: type mismatch in br, expected [i64] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:606: assert_invalid passed: +out/test/spec/block.wast:634: assert_invalid passed: error: type mismatch in br, expected [f32] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:612: assert_invalid passed: +out/test/spec/block.wast:640: assert_invalid passed: error: type mismatch in br, expected [f64] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:619: assert_invalid passed: +out/test/spec/block.wast:647: assert_invalid passed: error: type mismatch in br, expected [i32] but got [i64] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:625: assert_invalid passed: +out/test/spec/block.wast:653: assert_invalid passed: error: type mismatch in br, expected [i32] but got [f32] 0000021: error: OnBrExpr callback failed -out/test/spec/block.wast:631: assert_invalid passed: +out/test/spec/block.wast:659: assert_invalid passed: error: type mismatch in br, expected [i32] but got [f64] 0000025: error: OnBrExpr callback failed -out/test/spec/block.wast:637: assert_invalid passed: +out/test/spec/block.wast:665: assert_invalid passed: error: type mismatch in br, expected [i64] but got [i32] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:643: assert_invalid passed: +out/test/spec/block.wast:671: assert_invalid passed: error: type mismatch in br, expected [i64] but got [f32] 0000021: error: OnBrExpr callback failed -out/test/spec/block.wast:649: assert_invalid passed: +out/test/spec/block.wast:677: assert_invalid passed: error: type mismatch in br, expected [i64] but got [f64] 0000025: error: OnBrExpr callback failed -out/test/spec/block.wast:655: assert_invalid passed: +out/test/spec/block.wast:683: assert_invalid passed: error: type mismatch in br, expected [f32] but got [i32] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:661: assert_invalid passed: +out/test/spec/block.wast:689: assert_invalid passed: error: type mismatch in br, expected [f32] but got [i64] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:667: assert_invalid passed: +out/test/spec/block.wast:695: assert_invalid passed: error: type mismatch in br, expected [f32] but got [f64] 0000025: error: OnBrExpr callback failed -out/test/spec/block.wast:673: assert_invalid passed: +out/test/spec/block.wast:701: assert_invalid passed: error: type mismatch in br, expected [i64] but got [i32] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:679: assert_invalid passed: +out/test/spec/block.wast:707: assert_invalid passed: error: type mismatch in br, expected [f64] but got [i64] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:685: assert_invalid passed: +out/test/spec/block.wast:713: assert_invalid passed: error: type mismatch in br, expected [f64] but got [f32] 0000021: error: OnBrExpr callback failed -out/test/spec/block.wast:692: assert_invalid passed: +out/test/spec/block.wast:720: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:698: assert_invalid passed: +out/test/spec/block.wast:726: assert_invalid passed: error: type mismatch in br, expected [i64] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:704: assert_invalid passed: +out/test/spec/block.wast:732: assert_invalid passed: error: type mismatch in br, expected [f32] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:710: assert_invalid passed: +out/test/spec/block.wast:738: assert_invalid passed: error: type mismatch in br, expected [f64] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/block.wast:717: assert_invalid passed: +out/test/spec/block.wast:745: assert_invalid passed: error: type mismatch in br, expected [i32] but got [i64] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:723: assert_invalid passed: +out/test/spec/block.wast:751: assert_invalid passed: error: type mismatch in br, expected [i32] but got [f32] 0000021: error: OnBrExpr callback failed -out/test/spec/block.wast:729: assert_invalid passed: +out/test/spec/block.wast:757: assert_invalid passed: error: type mismatch in br, expected [i32] but got [f64] 0000025: error: OnBrExpr callback failed -out/test/spec/block.wast:735: assert_invalid passed: +out/test/spec/block.wast:763: assert_invalid passed: error: type mismatch in br, expected [i64] but got [i32] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:741: assert_invalid passed: +out/test/spec/block.wast:769: assert_invalid passed: error: type mismatch in br, expected [i64] but got [f32] 0000021: error: OnBrExpr callback failed -out/test/spec/block.wast:747: assert_invalid passed: +out/test/spec/block.wast:775: assert_invalid passed: error: type mismatch in br, expected [i64] but got [f64] 0000025: error: OnBrExpr callback failed -out/test/spec/block.wast:753: assert_invalid passed: +out/test/spec/block.wast:781: assert_invalid passed: error: type mismatch in br, expected [f32] but got [i32] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:759: assert_invalid passed: +out/test/spec/block.wast:787: assert_invalid passed: error: type mismatch in br, expected [f32] but got [i64] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:765: assert_invalid passed: +out/test/spec/block.wast:793: assert_invalid passed: error: type mismatch in br, expected [f32] but got [f64] 0000025: error: OnBrExpr callback failed -out/test/spec/block.wast:771: assert_invalid passed: +out/test/spec/block.wast:799: assert_invalid passed: error: type mismatch in br, expected [f64] but got [i32] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:777: assert_invalid passed: +out/test/spec/block.wast:805: assert_invalid passed: error: type mismatch in br, expected [f64] but got [i64] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:783: assert_invalid passed: +out/test/spec/block.wast:811: assert_invalid passed: error: type mismatch in br, expected [f64] but got [f32] 0000021: error: OnBrExpr callback failed -out/test/spec/block.wast:790: assert_invalid passed: +out/test/spec/block.wast:818: assert_invalid passed: error: type mismatch in function, expected [] but got [i32] 0000024: error: EndFunctionBody callback failed -out/test/spec/block.wast:796: assert_invalid passed: +out/test/spec/block.wast:824: assert_invalid passed: error: type mismatch in function, expected [] but got [i64] 0000024: error: EndFunctionBody callback failed -out/test/spec/block.wast:802: assert_invalid passed: +out/test/spec/block.wast:830: assert_invalid passed: error: type mismatch in function, expected [] but got [f32] 0000027: error: EndFunctionBody callback failed -out/test/spec/block.wast:808: assert_invalid passed: +out/test/spec/block.wast:836: assert_invalid passed: error: type mismatch in function, expected [] but got [f64] 000002b: error: EndFunctionBody callback failed -out/test/spec/block.wast:815: assert_invalid passed: +out/test/spec/block.wast:843: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:821: assert_invalid passed: +out/test/spec/block.wast:849: assert_invalid passed: error: type mismatch in br, expected [i64] but got [] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:827: assert_invalid passed: +out/test/spec/block.wast:855: assert_invalid passed: error: type mismatch in br, expected [f32] but got [] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:833: assert_invalid passed: +out/test/spec/block.wast:861: assert_invalid passed: error: type mismatch in br, expected [f64] but got [] 000001e: error: OnBrExpr callback failed -out/test/spec/block.wast:840: assert_invalid passed: +out/test/spec/block.wast:868: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 000001f: error: OnBrExpr callback failed -out/test/spec/block.wast:846: assert_invalid passed: +out/test/spec/block.wast:874: assert_invalid passed: error: type mismatch in br, expected [i64] but got [] 000001f: error: OnBrExpr callback failed -out/test/spec/block.wast:852: assert_invalid passed: +out/test/spec/block.wast:880: assert_invalid passed: error: type mismatch in br, expected [f32] but got [] 000001f: error: OnBrExpr callback failed -out/test/spec/block.wast:858: assert_invalid passed: +out/test/spec/block.wast:886: assert_invalid passed: error: type mismatch in br, expected [f64] but got [] 000001f: error: OnBrExpr callback failed -out/test/spec/block.wast:865: assert_invalid passed: +out/test/spec/block.wast:893: assert_invalid passed: error: type mismatch in br, expected [i32] but got [i64] 0000020: error: OnBrExpr callback failed -out/test/spec/block.wast:873: assert_invalid passed: +out/test/spec/block.wast:901: assert_invalid passed: error: type mismatch in br, expected [i32] but got [f32] 0000023: error: OnBrExpr callback failed -out/test/spec/block.wast:881: assert_invalid passed: +out/test/spec/block.wast:909: assert_invalid passed: error: type mismatch in br, expected [i32] but got [f64] 0000027: error: OnBrExpr callback failed -out/test/spec/block.wast:889: assert_invalid passed: +out/test/spec/block.wast:917: assert_invalid passed: error: type mismatch in br, expected [i64] but got [i32] 0000020: error: OnBrExpr callback failed -out/test/spec/block.wast:897: assert_invalid passed: +out/test/spec/block.wast:925: assert_invalid passed: error: type mismatch in br, expected [i64] but got [f32] 0000023: error: OnBrExpr callback failed -out/test/spec/block.wast:905: assert_invalid passed: +out/test/spec/block.wast:933: assert_invalid passed: error: type mismatch in br, expected [i64] but got [f64] 0000027: error: OnBrExpr callback failed -out/test/spec/block.wast:913: assert_invalid passed: +out/test/spec/block.wast:941: assert_invalid passed: error: type mismatch in br, expected [f32] but got [i32] 0000020: error: OnBrExpr callback failed -out/test/spec/block.wast:921: assert_invalid passed: +out/test/spec/block.wast:949: assert_invalid passed: error: type mismatch in br, expected [f32] but got [i64] 0000020: error: OnBrExpr callback failed -out/test/spec/block.wast:929: assert_invalid passed: +out/test/spec/block.wast:957: assert_invalid passed: error: type mismatch in br, expected [f32] but got [f64] 0000027: error: OnBrExpr callback failed -out/test/spec/block.wast:937: assert_invalid passed: +out/test/spec/block.wast:965: assert_invalid passed: error: type mismatch in br, expected [f64] but got [i32] 0000020: error: OnBrExpr callback failed -out/test/spec/block.wast:945: assert_invalid passed: +out/test/spec/block.wast:973: assert_invalid passed: error: type mismatch in br, expected [f64] but got [i64] 0000020: error: OnBrExpr callback failed -out/test/spec/block.wast:953: assert_invalid passed: +out/test/spec/block.wast:981: assert_invalid passed: error: type mismatch in br, expected [f64] but got [f32] 0000023: error: OnBrExpr callback failed -out/test/spec/block.wast:962: assert_invalid passed: +out/test/spec/block.wast:990: assert_invalid passed: error: type mismatch in i32.ctz, expected [i32] but got [] 000001e: error: OnUnaryExpr callback failed -out/test/spec/block.wast:968: assert_invalid passed: +out/test/spec/block.wast:996: assert_invalid passed: error: type mismatch in i64.ctz, expected [i64] but got [] 000001e: error: OnUnaryExpr callback failed -out/test/spec/block.wast:974: assert_invalid passed: +out/test/spec/block.wast:1002: assert_invalid passed: error: type mismatch in f32.floor, expected [f32] but got [] 000001e: error: OnUnaryExpr callback failed -out/test/spec/block.wast:980: assert_invalid passed: +out/test/spec/block.wast:1008: assert_invalid passed: error: type mismatch in f64.floor, expected [f64] but got [] 000001e: error: OnUnaryExpr callback failed -out/test/spec/block.wast:987: assert_invalid passed: +out/test/spec/block.wast:1015: assert_invalid passed: error: type mismatch in i32.ctz, expected [i32] but got [] 000001f: error: OnUnaryExpr callback failed -out/test/spec/block.wast:993: assert_invalid passed: +out/test/spec/block.wast:1021: assert_invalid passed: error: type mismatch in i64.ctz, expected [i64] but got [] 000001f: error: OnUnaryExpr callback failed -out/test/spec/block.wast:999: assert_invalid passed: +out/test/spec/block.wast:1027: assert_invalid passed: error: type mismatch in f32.floor, expected [f32] but got [] 000001f: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1005: assert_invalid passed: +out/test/spec/block.wast:1033: assert_invalid passed: error: type mismatch in f64.floor, expected [f64] but got [] 000001f: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1012: assert_invalid passed: +out/test/spec/block.wast:1040: assert_invalid passed: error: type mismatch in i64.ctz, expected [i64] but got [] 0000020: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1018: assert_invalid passed: +out/test/spec/block.wast:1046: assert_invalid passed: error: type mismatch in f32.floor, expected [f32] but got [] 0000023: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1024: assert_invalid passed: +out/test/spec/block.wast:1052: assert_invalid passed: error: type mismatch in f64.floor, expected [f64] but got [] 0000027: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1030: assert_invalid passed: +out/test/spec/block.wast:1058: assert_invalid passed: error: type mismatch in i32.ctz, expected [i32] but got [] 0000020: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1036: assert_invalid passed: +out/test/spec/block.wast:1064: assert_invalid passed: error: type mismatch in f32.floor, expected [f32] but got [] 0000023: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1042: assert_invalid passed: +out/test/spec/block.wast:1070: assert_invalid passed: error: type mismatch in f64.floor, expected [f64] but got [] 0000027: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1048: assert_invalid passed: +out/test/spec/block.wast:1076: assert_invalid passed: error: type mismatch in i32.ctz, expected [i32] but got [] 0000020: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1054: assert_invalid passed: +out/test/spec/block.wast:1082: assert_invalid passed: error: type mismatch in i64.ctz, expected [i64] but got [] 0000020: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1060: assert_invalid passed: +out/test/spec/block.wast:1088: assert_invalid passed: error: type mismatch in f64.floor, expected [f64] but got [] 0000027: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1066: assert_invalid passed: +out/test/spec/block.wast:1094: assert_invalid passed: error: type mismatch in i32.ctz, expected [i32] but got [] 0000020: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1072: assert_invalid passed: +out/test/spec/block.wast:1100: assert_invalid passed: error: type mismatch in i64.ctz, expected [i64] but got [] 0000020: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1078: assert_invalid passed: +out/test/spec/block.wast:1106: assert_invalid passed: error: type mismatch in f32.floor, expected [f32] but got [] 0000023: error: OnUnaryExpr callback failed -out/test/spec/block.wast:1085: assert_malformed passed: - out/test/spec/block/block.125.wat:1:17: error: unexpected label "$l" +out/test/spec/block.wast:1114: assert_malformed passed: + out/test/spec/block/block.128.wat:1:17: error: unexpected label "$l" (func block end $l) ^^ -out/test/spec/block.wast:1089: assert_malformed passed: - out/test/spec/block/block.126.wat:1:20: error: mismatching label "$a" != "$l" +out/test/spec/block.wast:1118: assert_malformed passed: + out/test/spec/block/block.129.wat:1:20: error: mismatching label "$a" != "$l" (func block $a end $l) ^^ -167/167 tests passed. +170/170 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/br.txt b/test/spec/br.txt index 1e03e3b8..5e0e24c8 100644 --- a/test/spec/br.txt +++ b/test/spec/br.txt @@ -15,24 +15,51 @@ out/test/spec/br.wast:439: assert_invalid passed: 000001e: error: OnBrExpr callback failed out/test/spec/br.wast:446: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] - 000001b: error: OnBrExpr callback failed + 000001d: error: OnBrExpr callback failed out/test/spec/br.wast:455: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 000001d: error: OnBrExpr callback failed -out/test/spec/br.wast:465: assert_invalid passed: +out/test/spec/br.wast:464: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 000001d: error: OnBrExpr callback failed +out/test/spec/br.wast:473: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 000001b: error: OnBrExpr callback failed +out/test/spec/br.wast:484: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 000001b: error: OnBrExpr callback failed +out/test/spec/br.wast:495: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] 0000021: error: OnBrExpr callback failed -out/test/spec/br.wast:477: assert_invalid passed: +out/test/spec/br.wast:507: assert_invalid passed: error: type mismatch in br, expected [i32] but got [] - 0000024: error: OnBrExpr callback failed -out/test/spec/br.wast:492: assert_invalid passed: + 0000036: error: OnBrExpr callback failed +out/test/spec/br.wast:523: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 000001d: error: OnBrExpr callback failed +out/test/spec/br.wast:535: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 000001d: error: OnBrExpr callback failed +out/test/spec/br.wast:547: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 0000023: error: OnBrExpr callback failed +out/test/spec/br.wast:559: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 0000020: error: OnBrExpr callback failed +out/test/spec/br.wast:571: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 0000020: error: OnBrExpr callback failed +out/test/spec/br.wast:583: assert_invalid passed: + error: type mismatch in br, expected [i32] but got [] + 0000020: error: OnBrExpr callback failed +out/test/spec/br.wast:596: assert_invalid passed: error: invalid depth: 1 (max 0) 0000019: error: OnBrExpr callback failed -out/test/spec/br.wast:496: assert_invalid passed: +out/test/spec/br.wast:600: assert_invalid passed: error: invalid depth: 5 (max 2) 000001d: error: OnBrExpr callback failed -out/test/spec/br.wast:500: assert_invalid passed: +out/test/spec/br.wast:604: assert_invalid passed: error: invalid depth: 268435457 (max 0) 000001d: error: OnBrExpr callback failed -74/74 tests passed. +83/83 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/br_if.txt b/test/spec/br_if.txt index 6ab46262..789a6545 100644 --- a/test/spec/br_if.txt +++ b/test/spec/br_if.txt @@ -51,27 +51,44 @@ out/test/spec/br_if.wast:560: assert_invalid passed: 0000020: error: OnBrIfExpr callback failed 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 + 000001b: error: OnBrIfExpr callback failed out/test/spec/br_if.wast:575: assert_invalid passed: + error: type mismatch in br_if, expected [i32] but got [] + 000001c: error: OnBrIfExpr callback failed +out/test/spec/br_if.wast:581: 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:581: assert_invalid passed: +out/test/spec/br_if.wast:587: assert_invalid passed: error: type mismatch in br_if, expected [i32] but got [] 000001f: error: OnBrIfExpr callback failed -out/test/spec/br_if.wast:587: assert_invalid passed: +out/test/spec/br_if.wast:593: assert_invalid passed: error: type mismatch in br_if, expected [i32] but got [] 0000022: error: OnBrIfExpr callback failed -out/test/spec/br_if.wast:593: assert_invalid passed: +out/test/spec/br_if.wast:599: 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:600: assert_invalid passed: +out/test/spec/br_if.wast:606: assert_invalid passed: + error: type mismatch in br_if, expected [i32] but got [] + error: type mismatch in br_if, expected [i32] but got [] + 0000021: error: OnBrIfExpr callback failed +out/test/spec/br_if.wast:618: assert_invalid passed: + error: type mismatch in br_if, expected [i32] but got [] + 0000023: error: OnBrIfExpr callback failed +out/test/spec/br_if.wast:630: assert_invalid passed: + error: type mismatch in br_if, expected [i32] but got [] + error: type mismatch in br_if, expected [i32] but got [] + 000001b: error: OnBrIfExpr callback failed +out/test/spec/br_if.wast:641: assert_invalid passed: + error: type mismatch in br_if, expected [i32] but got [] + 000001d: error: OnBrIfExpr callback failed +out/test/spec/br_if.wast:654: assert_invalid passed: error: invalid depth: 1 (max 0) 000001b: error: OnBrIfExpr callback failed -out/test/spec/br_if.wast:604: assert_invalid passed: +out/test/spec/br_if.wast:658: assert_invalid passed: error: invalid depth: 5 (max 2) 000001f: error: OnBrIfExpr callback failed -out/test/spec/br_if.wast:608: assert_invalid passed: +out/test/spec/br_if.wast:662: assert_invalid passed: error: invalid depth: 268435457 (max 0) 000001f: error: OnBrIfExpr callback failed -112/112 tests passed. +117/117 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/br_table.txt b/test/spec/br_table.txt index 65bb7564..31c0b5a5 100644 --- a/test/spec/br_table.txt +++ b/test/spec/br_table.txt @@ -6,45 +6,63 @@ out/test/spec/br_table.wast:1429: assert_invalid passed: 0000022: error: OnEndExpr callback failed out/test/spec/br_table.wast:1436: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] + 000001d: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1443: assert_invalid passed: + error: type mismatch in br_table, expected [i32] but got [] 0000020: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1442: assert_invalid passed: +out/test/spec/br_table.wast:1449: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [i64] 0000023: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1450: assert_invalid passed: +out/test/spec/br_table.wast:1457: assert_invalid passed: error: br_table labels have inconsistent types: expected [f32], got [] 0000026: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1462: assert_invalid passed: +out/test/spec/br_table.wast:1469: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 000001f: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1468: assert_invalid passed: +out/test/spec/br_table.wast:1475: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [i64] 000001e: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1474: assert_invalid passed: +out/test/spec/br_table.wast:1481: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 0000021: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1480: assert_invalid passed: +out/test/spec/br_table.wast:1487: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 0000023: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1486: assert_invalid passed: +out/test/spec/br_table.wast:1493: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [... i64] 0000022: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1495: assert_invalid passed: +out/test/spec/br_table.wast:1502: assert_invalid passed: + error: type mismatch in block, expected [] but got [i32] + 0000022: error: OnEndExpr callback failed +out/test/spec/br_table.wast:1509: assert_invalid passed: + error: type mismatch in br_table, expected [i32] but got [] + 0000022: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1521: assert_invalid passed: + error: type mismatch in br_table, expected [i32] but got [] + 0000024: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1533: assert_invalid passed: + error: type mismatch in br_table, expected [i32] but got [] + 000001c: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1544: assert_invalid passed: + error: type mismatch in br_table, expected [i32] but got [] + 000001e: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1557: assert_invalid passed: error: invalid depth: 2 (max 1) 000001f: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1501: assert_invalid passed: +out/test/spec/br_table.wast:1563: assert_invalid passed: error: invalid depth: 5 (max 2) 0000021: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1507: assert_invalid passed: +out/test/spec/br_table.wast:1569: assert_invalid passed: error: invalid depth: 268435457 (max 1) 0000024: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1514: assert_invalid passed: +out/test/spec/br_table.wast:1576: assert_invalid passed: error: invalid depth: 2 (max 1) 000001f: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1520: assert_invalid passed: +out/test/spec/br_table.wast:1582: assert_invalid passed: error: invalid depth: 5 (max 2) 0000021: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1526: assert_invalid passed: +out/test/spec/br_table.wast:1588: assert_invalid passed: error: invalid depth: 268435457 (max 1) 0000024: error: OnBrTableExpr callback failed -161/161 tests passed. +167/167 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/call.txt b/test/spec/call.txt index 932d2020..c5e56e2c 100644 --- a/test/spec/call.txt +++ b/test/spec/call.txt @@ -31,9 +31,27 @@ out/test/spec/call.wast:372: 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:390: assert_invalid passed: +out/test/spec/call.wast:387: assert_invalid passed: + error: type mismatch in call, expected [i32] but got [] + 0000020: error: OnCallExpr callback failed +out/test/spec/call.wast:396: assert_invalid passed: + error: type mismatch in call, expected [i32, i32] but got [i32] + 0000023: error: OnCallExpr callback failed +out/test/spec/call.wast:405: assert_invalid passed: + error: type mismatch in call, expected [i32] but got [] + 0000020: error: OnCallExpr callback failed +out/test/spec/call.wast:414: assert_invalid passed: + error: type mismatch in call, expected [i32, i32] but got [i32] + 0000023: error: OnCallExpr callback failed +out/test/spec/call.wast:423: assert_invalid passed: + error: type mismatch in call, expected [i32] but got [] + 0000022: error: OnCallExpr callback failed +out/test/spec/call.wast:432: assert_invalid passed: + error: type mismatch in call, expected [i32, i32] but got [i32] + 0000025: error: OnCallExpr callback failed +out/test/spec/call.wast:445: assert_invalid passed: 0000019: error: invalid call function index: 1 -out/test/spec/call.wast:394: assert_invalid passed: +out/test/spec/call.wast:449: assert_invalid passed: 000001d: error: invalid call function index: 1012321300 -75/75 tests passed. +81/81 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/call_indirect.txt b/test/spec/call_indirect.txt index 12f7108c..da42fc92 100644 --- a/test/spec/call_indirect.txt +++ b/test/spec/call_indirect.txt @@ -105,12 +105,30 @@ out/test/spec/call_indirect.wast:813: 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:837: assert_invalid passed: +out/test/spec/call_indirect.wast:834: assert_invalid passed: + error: type mismatch in call_indirect, expected [i32] but got [] + 0000036: error: OnCallIndirectExpr callback failed +out/test/spec/call_indirect.wast:847: assert_invalid passed: + error: type mismatch in call_indirect, expected [i32, i32] but got [i32] + 0000039: error: OnCallIndirectExpr callback failed +out/test/spec/call_indirect.wast:860: assert_invalid passed: + error: type mismatch in call_indirect, expected [i32] but got [] + 0000036: error: OnCallIndirectExpr callback failed +out/test/spec/call_indirect.wast:873: assert_invalid passed: + error: type mismatch in call_indirect, expected [i32, i32] but got [i32] + 0000039: error: OnCallIndirectExpr callback failed +out/test/spec/call_indirect.wast:886: assert_invalid passed: + error: type mismatch in call_indirect, expected [i32] but got [] + 000003a: error: OnCallIndirectExpr callback failed +out/test/spec/call_indirect.wast:902: assert_invalid passed: + error: type mismatch in call_indirect, expected [i32, i32] but got [i32] + 000003d: error: OnCallIndirectExpr callback failed +out/test/spec/call_indirect.wast:922: assert_invalid passed: 0000021: error: invalid call_indirect signature index -out/test/spec/call_indirect.wast:844: assert_invalid passed: +out/test/spec/call_indirect.wast:929: assert_invalid passed: 0000025: error: invalid call_indirect signature index -out/test/spec/call_indirect.wast:855: assert_invalid passed: +out/test/spec/call_indirect.wast:940: assert_invalid passed: error: invalid func_index: 0 (max 0) 0000018: error: OnElemSegmentFunctionIndex callback failed -145/145 tests passed. +151/151 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/conversions.txt b/test/spec/conversions.txt index 000e1389..6eeeea26 100644 --- a/test/spec/conversions.txt +++ b/test/spec/conversions.txt @@ -1,5 +1,80 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/conversions.wast (;; STDOUT ;;; -401/401 tests passed. +out/test/spec/conversions.wast:465: assert_invalid passed: + error: type mismatch in i32.wrap_i64, expected [i64] but got [f32] + 000001e: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:466: assert_invalid passed: + error: type mismatch in i32.trunc_f32_s, expected [f32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:467: assert_invalid passed: + error: type mismatch in i32.trunc_f32_u, expected [f32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:468: assert_invalid passed: + error: type mismatch in i32.trunc_f64_s, expected [f64] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:469: assert_invalid passed: + error: type mismatch in i32.trunc_f64_u, expected [f64] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:470: assert_invalid passed: + error: type mismatch in i32.reinterpret_f32, expected [f32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:471: assert_invalid passed: + error: type mismatch in i64.extend_i32_s, expected [i32] but got [f32] + 000001e: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:472: assert_invalid passed: + error: type mismatch in i64.extend_i32_u, expected [i32] but got [f32] + 000001e: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:473: assert_invalid passed: + error: type mismatch in i64.trunc_f32_s, expected [f32] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:474: assert_invalid passed: + error: type mismatch in i64.trunc_f32_u, expected [f32] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:475: assert_invalid passed: + error: type mismatch in i64.trunc_f64_s, expected [f64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:476: assert_invalid passed: + error: type mismatch in i64.trunc_f64_u, expected [f64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:477: assert_invalid passed: + error: type mismatch in i64.reinterpret_f64, expected [f64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:478: assert_invalid passed: + error: type mismatch in f32.convert_i32_s, expected [i32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:479: assert_invalid passed: + error: type mismatch in f32.convert_i32_u, expected [i32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:480: assert_invalid passed: + error: type mismatch in f32.convert_i64_s, expected [i64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:481: assert_invalid passed: + error: type mismatch in f32.convert_i64_u, expected [i64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:482: assert_invalid passed: + error: type mismatch in f32.demote_f64, expected [f64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:483: assert_invalid passed: + error: type mismatch in f32.reinterpret_i32, expected [i32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:484: assert_invalid passed: + error: type mismatch in f64.convert_i32_s, expected [i32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:485: assert_invalid passed: + error: type mismatch in f64.convert_i32_u, expected [i32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:486: assert_invalid passed: + error: type mismatch in f64.convert_i64_s, expected [i64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:487: assert_invalid passed: + error: type mismatch in f64.convert_i64_u, expected [i64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:488: assert_invalid passed: + error: type mismatch in f64.promote_f32, expected [f32] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/conversions.wast:489: assert_invalid passed: + error: type mismatch in f64.reinterpret_i64, expected [i64] but got [i32] + 000001b: error: OnConvertExpr callback failed +426/426 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/f32.txt b/test/spec/f32.txt index 6ac5d22c..30c123ae 100644 --- a/test/spec/f32.txt +++ b/test/spec/f32.txt @@ -2,5 +2,38 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/f32.wast (;; STDOUT ;;; -2500/2500 tests passed. +out/test/spec/f32.wast:2523: assert_invalid passed: + error: type mismatch in f32.add, expected [f32, f32] but got [i64, f64] + 0000024: error: OnBinaryExpr callback failed +out/test/spec/f32.wast:2524: assert_invalid passed: + error: type mismatch in f32.div, expected [f32, f32] but got [i64, f64] + 0000024: error: OnBinaryExpr callback failed +out/test/spec/f32.wast:2525: assert_invalid passed: + error: type mismatch in f32.max, expected [f32, f32] but got [i64, f64] + 0000024: error: OnBinaryExpr callback failed +out/test/spec/f32.wast:2526: assert_invalid passed: + error: type mismatch in f32.min, expected [f32, f32] but got [i64, f64] + 0000024: error: OnBinaryExpr callback failed +out/test/spec/f32.wast:2527: assert_invalid passed: + error: type mismatch in f32.mul, expected [f32, f32] but got [i64, f64] + 0000024: error: OnBinaryExpr callback failed +out/test/spec/f32.wast:2528: assert_invalid passed: + error: type mismatch in f32.sub, expected [f32, f32] but got [i64, f64] + 0000024: error: OnBinaryExpr callback failed +out/test/spec/f32.wast:2529: assert_invalid passed: + error: type mismatch in f32.ceil, expected [f32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f32.wast:2530: assert_invalid passed: + error: type mismatch in f32.floor, expected [f32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f32.wast:2531: assert_invalid passed: + error: type mismatch in f32.nearest, expected [f32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f32.wast:2532: assert_invalid passed: + error: type mismatch in f32.sqrt, expected [f32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f32.wast:2533: assert_invalid passed: + error: type mismatch in f32.trunc, expected [f32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +2511/2511 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/f32_bitwise.txt b/test/spec/f32_bitwise.txt index 54ac23ba..7f22a059 100644 --- a/test/spec/f32_bitwise.txt +++ b/test/spec/f32_bitwise.txt @@ -1,5 +1,14 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/f32_bitwise.wast (;; STDOUT ;;; -360/360 tests passed. +out/test/spec/f32_bitwise.wast:374: assert_invalid passed: + error: type mismatch in f32.copysign, expected [f32, f32] but got [i64, f64] + 0000024: error: OnBinaryExpr callback failed +out/test/spec/f32_bitwise.wast:375: assert_invalid passed: + error: type mismatch in f32.abs, expected [f32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f32_bitwise.wast:376: assert_invalid passed: + error: type mismatch in f32.neg, expected [f32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +363/363 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/f32_cmp.txt b/test/spec/f32_cmp.txt index 6cce9eb0..064e9323 100644 --- a/test/spec/f32_cmp.txt +++ b/test/spec/f32_cmp.txt @@ -2,5 +2,23 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/f32_cmp.wast (;; STDOUT ;;; -2400/2400 tests passed. +out/test/spec/f32_cmp.wast:2417: assert_invalid passed: + error: type mismatch in f32.eq, expected [f32, f32] but got [i64, f64] + 0000024: error: OnCompareExpr callback failed +out/test/spec/f32_cmp.wast:2418: assert_invalid passed: + error: type mismatch in f32.ge, expected [f32, f32] but got [i64, f64] + 0000024: error: OnCompareExpr callback failed +out/test/spec/f32_cmp.wast:2419: assert_invalid passed: + error: type mismatch in f32.gt, expected [f32, f32] but got [i64, f64] + 0000024: error: OnCompareExpr callback failed +out/test/spec/f32_cmp.wast:2420: assert_invalid passed: + error: type mismatch in f32.le, expected [f32, f32] but got [i64, f64] + 0000024: error: OnCompareExpr callback failed +out/test/spec/f32_cmp.wast:2421: assert_invalid passed: + error: type mismatch in f32.lt, expected [f32, f32] but got [i64, f64] + 0000024: error: OnCompareExpr callback failed +out/test/spec/f32_cmp.wast:2422: assert_invalid passed: + error: type mismatch in f32.ne, expected [f32, f32] but got [i64, f64] + 0000024: error: OnCompareExpr callback failed +2406/2406 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/f64.txt b/test/spec/f64.txt index badb6f7b..0316317a 100644 --- a/test/spec/f64.txt +++ b/test/spec/f64.txt @@ -2,5 +2,38 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/f64.wast (;; STDOUT ;;; -2500/2500 tests passed. +out/test/spec/f64.wast:2523: assert_invalid passed: + error: type mismatch in f64.add, expected [f64, f64] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/f64.wast:2524: assert_invalid passed: + error: type mismatch in f64.div, expected [f64, f64] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/f64.wast:2525: assert_invalid passed: + error: type mismatch in f64.max, expected [f64, f64] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/f64.wast:2526: assert_invalid passed: + error: type mismatch in f64.min, expected [f64, f64] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/f64.wast:2527: assert_invalid passed: + error: type mismatch in f64.mul, expected [f64, f64] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/f64.wast:2528: assert_invalid passed: + error: type mismatch in f64.sub, expected [f64, f64] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/f64.wast:2529: assert_invalid passed: + error: type mismatch in f64.ceil, expected [f64] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f64.wast:2530: assert_invalid passed: + error: type mismatch in f64.floor, expected [f64] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f64.wast:2531: assert_invalid passed: + error: type mismatch in f64.nearest, expected [f64] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f64.wast:2532: assert_invalid passed: + error: type mismatch in f64.sqrt, expected [f64] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f64.wast:2533: assert_invalid passed: + error: type mismatch in f64.trunc, expected [f64] but got [i64] + 000001b: error: OnUnaryExpr callback failed +2511/2511 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/f64_bitwise.txt b/test/spec/f64_bitwise.txt index 90450a5b..1a6f5593 100644 --- a/test/spec/f64_bitwise.txt +++ b/test/spec/f64_bitwise.txt @@ -1,5 +1,14 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/f64_bitwise.wast (;; STDOUT ;;; -360/360 tests passed. +out/test/spec/f64_bitwise.wast:374: assert_invalid passed: + error: type mismatch in f64.copysign, expected [f64, f64] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/f64_bitwise.wast:375: assert_invalid passed: + error: type mismatch in f64.abs, expected [f64] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/f64_bitwise.wast:376: assert_invalid passed: + error: type mismatch in f64.neg, expected [f64] but got [i64] + 000001b: error: OnUnaryExpr callback failed +363/363 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/f64_cmp.txt b/test/spec/f64_cmp.txt index a84131f0..2220e249 100644 --- a/test/spec/f64_cmp.txt +++ b/test/spec/f64_cmp.txt @@ -2,5 +2,23 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/f64_cmp.wast (;; STDOUT ;;; -2400/2400 tests passed. +out/test/spec/f64_cmp.wast:2417: assert_invalid passed: + error: type mismatch in f64.eq, expected [f64, f64] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/f64_cmp.wast:2418: assert_invalid passed: + error: type mismatch in f64.ge, expected [f64, f64] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/f64_cmp.wast:2419: assert_invalid passed: + error: type mismatch in f64.gt, expected [f64, f64] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/f64_cmp.wast:2420: assert_invalid passed: + error: type mismatch in f64.le, expected [f64, f64] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/f64_cmp.wast:2421: assert_invalid passed: + error: type mismatch in f64.lt, expected [f64, f64] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/f64_cmp.wast:2422: assert_invalid passed: + error: type mismatch in f64.ne, expected [f64, f64] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +2406/2406 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/globals.txt b/test/spec/globals.txt index 02222829..f3753469 100644 --- a/test/spec/globals.txt +++ b/test/spec/globals.txt @@ -36,5 +36,41 @@ out/test/spec/globals.wast:335: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 out/test/spec/globals.wast:347: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 -61/61 tests passed. +out/test/spec/globals.wast:361: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000021: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:370: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000025: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:380: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000025: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:390: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000027: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:400: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 000002a: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:410: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000025: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:420: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000025: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:430: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000025: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:440: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000021: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:449: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000021: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:458: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 0000027: error: OnGlobalSetExpr callback failed +out/test/spec/globals.wast:468: assert_invalid passed: + error: type mismatch in global.set, expected [i32] but got [] + 000003e: error: OnGlobalSetExpr callback failed +73/73 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/i32.txt b/test/spec/i32.txt index 65ea1430..b3fd8e32 100644 --- a/test/spec/i32.txt +++ b/test/spec/i32.txt @@ -16,35 +16,239 @@ out/test/spec/i32.wast:451: assert_invalid passed: out/test/spec/i32.wast:460: assert_invalid passed: error: type mismatch in i32.eqz, expected [i32] but got [] 0000021: error: OnConvertExpr callback failed -out/test/spec/i32.wast:470: assert_invalid passed: +out/test/spec/i32.wast:469: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001c: error: OnConvertExpr callback failed +out/test/spec/i32.wast:478: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001c: error: OnConvertExpr callback failed +out/test/spec/i32.wast:487: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001c: error: OnConvertExpr callback failed +out/test/spec/i32.wast:496: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 0000018: error: OnConvertExpr callback failed +out/test/spec/i32.wast:504: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 0000018: error: OnConvertExpr callback failed +out/test/spec/i32.wast:512: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001e: error: OnConvertExpr callback failed +out/test/spec/i32.wast:521: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 0000035: error: OnConvertExpr callback failed +out/test/spec/i32.wast:537: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001a: error: OnConvertExpr callback failed +out/test/spec/i32.wast:546: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001a: error: OnConvertExpr callback failed +out/test/spec/i32.wast:555: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 0000020: error: OnConvertExpr callback failed +out/test/spec/i32.wast:564: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001d: error: OnConvertExpr callback failed +out/test/spec/i32.wast:573: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001d: error: OnConvertExpr callback failed +out/test/spec/i32.wast:582: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [] + 000001d: error: OnConvertExpr callback failed +out/test/spec/i32.wast:592: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [] 0000018: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:478: assert_invalid passed: +out/test/spec/i32.wast:600: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [i32] 000001a: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:486: assert_invalid passed: +out/test/spec/i32.wast:608: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [] 000001e: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:495: assert_invalid passed: +out/test/spec/i32.wast:617: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [i32] 000001e: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:504: assert_invalid passed: +out/test/spec/i32.wast:626: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [] 000001e: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:513: assert_invalid passed: +out/test/spec/i32.wast:635: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [i32] 000001e: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:522: assert_invalid passed: +out/test/spec/i32.wast:644: assert_invalid passed: error: type mismatch in drop, expected [any] but got [] 0000021: error: OnDropExpr callback failed -out/test/spec/i32.wast:531: assert_invalid passed: +out/test/spec/i32.wast:653: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [] 0000020: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:540: assert_invalid passed: +out/test/spec/i32.wast:662: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [] 0000023: error: OnBinaryExpr callback failed -out/test/spec/i32.wast:550: assert_invalid passed: +out/test/spec/i32.wast:672: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 0000021: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:682: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001e: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:691: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001e: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:700: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001e: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:709: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001e: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:718: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001e: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:727: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001e: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:736: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 0000018: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:744: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001a: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:752: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 0000018: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:760: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001a: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:768: assert_invalid passed: error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001f: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:777: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] 0000021: error: OnBinaryExpr callback failed -374/374 tests passed. +out/test/spec/i32.wast:786: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 0000035: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:802: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 0000037: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:818: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001a: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:827: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001c: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:836: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001a: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:845: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001c: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:854: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:863: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 0000022: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:872: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001d: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:881: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001f: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:890: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001d: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:899: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001f: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:908: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [] + 000001d: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:917: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i32] + 000001f: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:929: assert_invalid passed: + error: type mismatch in i32.add, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:930: assert_invalid passed: + error: type mismatch in i32.and, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:931: assert_invalid passed: + error: type mismatch in i32.div_s, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:932: assert_invalid passed: + error: type mismatch in i32.div_u, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:933: assert_invalid passed: + error: type mismatch in i32.mul, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:934: assert_invalid passed: + error: type mismatch in i32.or, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:935: assert_invalid passed: + error: type mismatch in i32.rem_s, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:936: assert_invalid passed: + error: type mismatch in i32.rem_u, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:937: assert_invalid passed: + error: type mismatch in i32.rotl, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:938: assert_invalid passed: + error: type mismatch in i32.rotr, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:939: assert_invalid passed: + error: type mismatch in i32.shl, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:940: assert_invalid passed: + error: type mismatch in i32.shr_s, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:941: assert_invalid passed: + error: type mismatch in i32.shr_u, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:942: assert_invalid passed: + error: type mismatch in i32.sub, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:943: assert_invalid passed: + error: type mismatch in i32.xor, expected [i32, i32] but got [i64, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i32.wast:944: assert_invalid passed: + error: type mismatch in i32.eqz, expected [i32] but got [i64] + 000001b: error: OnConvertExpr callback failed +out/test/spec/i32.wast:945: assert_invalid passed: + error: type mismatch in i32.clz, expected [i32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/i32.wast:946: assert_invalid passed: + error: type mismatch in i32.ctz, expected [i32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/i32.wast:947: assert_invalid passed: + error: type mismatch in i32.popcnt, expected [i32] but got [i64] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/i32.wast:948: assert_invalid passed: + error: type mismatch in i32.eq, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:949: assert_invalid passed: + error: type mismatch in i32.ge_s, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:950: assert_invalid passed: + error: type mismatch in i32.ge_u, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:951: assert_invalid passed: + error: type mismatch in i32.gt_s, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:952: assert_invalid passed: + error: type mismatch in i32.gt_u, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:953: assert_invalid passed: + error: type mismatch in i32.le_s, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:954: assert_invalid passed: + error: type mismatch in i32.le_u, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:955: assert_invalid passed: + error: type mismatch in i32.lt_s, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:956: assert_invalid passed: + error: type mismatch in i32.lt_u, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i32.wast:957: assert_invalid passed: + error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32] + 0000020: error: OnCompareExpr callback failed +442/442 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/i64.txt b/test/spec/i64.txt index 1900df2c..6c1091a1 100644 --- a/test/spec/i64.txt +++ b/test/spec/i64.txt @@ -1,5 +1,92 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/i64.wast (;; STDOUT ;;; -359/359 tests passed. +out/test/spec/i64.wast:426: assert_invalid passed: + error: type mismatch in i64.add, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:427: assert_invalid passed: + error: type mismatch in i64.and, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:428: assert_invalid passed: + error: type mismatch in i64.div_s, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:429: assert_invalid passed: + error: type mismatch in i64.div_u, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:430: assert_invalid passed: + error: type mismatch in i64.mul, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:431: assert_invalid passed: + error: type mismatch in i64.or, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:432: assert_invalid passed: + error: type mismatch in i64.rem_s, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:433: assert_invalid passed: + error: type mismatch in i64.rem_u, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:434: assert_invalid passed: + error: type mismatch in i64.rotl, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:435: assert_invalid passed: + error: type mismatch in i64.rotr, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:436: assert_invalid passed: + error: type mismatch in i64.shl, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:437: assert_invalid passed: + error: type mismatch in i64.shr_s, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:438: assert_invalid passed: + error: type mismatch in i64.shr_u, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:439: assert_invalid passed: + error: type mismatch in i64.sub, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:440: assert_invalid passed: + error: type mismatch in i64.xor, expected [i64, i64] but got [i32, f32] + 0000020: error: OnBinaryExpr callback failed +out/test/spec/i64.wast:441: assert_invalid passed: + error: type mismatch in i64.eqz, expected [i64] but got [i32] + 000001b: error: OnConvertExpr callback failed +out/test/spec/i64.wast:442: assert_invalid passed: + error: type mismatch in i64.clz, expected [i64] but got [i32] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/i64.wast:443: assert_invalid passed: + error: type mismatch in i64.ctz, expected [i64] but got [i32] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/i64.wast:444: assert_invalid passed: + error: type mismatch in i64.popcnt, expected [i64] but got [i32] + 000001b: error: OnUnaryExpr callback failed +out/test/spec/i64.wast:445: assert_invalid passed: + error: type mismatch in i64.eq, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:446: assert_invalid passed: + error: type mismatch in i64.ge_s, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:447: assert_invalid passed: + error: type mismatch in i64.ge_u, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:448: assert_invalid passed: + error: type mismatch in i64.gt_s, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:449: assert_invalid passed: + error: type mismatch in i64.gt_u, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:450: assert_invalid passed: + error: type mismatch in i64.le_s, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:451: assert_invalid passed: + error: type mismatch in i64.le_u, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:452: assert_invalid passed: + error: type mismatch in i64.lt_s, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:453: assert_invalid passed: + error: type mismatch in i64.lt_u, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +out/test/spec/i64.wast:454: assert_invalid passed: + error: type mismatch in i64.ne, expected [i64, i64] but got [i32, f32] + 0000020: error: OnCompareExpr callback failed +388/388 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/if.txt b/test/spec/if.txt index 26122d52..8d57de8d 100644 --- a/test/spec/if.txt +++ b/test/spec/if.txt @@ -118,54 +118,93 @@ out/test/spec/if.wast:752: assert_invalid passed: out/test/spec/if.wast:761: assert_invalid passed: error: type mismatch in if, expected [i32] but got [] 0000022: error: OnIfExpr callback failed -out/test/spec/if.wast:775: assert_malformed passed: - out/test/spec/if/if.40.wat:1:14: error: unexpected label "$l" +out/test/spec/if.wast:771: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001d: error: OnIfExpr callback failed +out/test/spec/if.wast:780: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001d: error: OnIfExpr callback failed +out/test/spec/if.wast:789: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001d: error: OnIfExpr callback failed +out/test/spec/if.wast:798: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 0000019: error: OnIfExpr callback failed +out/test/spec/if.wast:806: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 0000019: error: OnIfExpr callback failed +out/test/spec/if.wast:814: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001f: error: OnIfExpr callback failed +out/test/spec/if.wast:823: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 0000036: error: OnIfExpr callback failed +out/test/spec/if.wast:839: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001b: error: OnIfExpr callback failed +out/test/spec/if.wast:848: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001b: error: OnIfExpr callback failed +out/test/spec/if.wast:857: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 0000021: error: OnIfExpr callback failed +out/test/spec/if.wast:866: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001e: error: OnIfExpr callback failed +out/test/spec/if.wast:875: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001e: error: OnIfExpr callback failed +out/test/spec/if.wast:884: assert_invalid passed: + error: type mismatch in if, expected [i32] but got [] + 000001e: error: OnIfExpr callback failed +out/test/spec/if.wast:895: assert_malformed passed: + out/test/spec/if/if.53.wat:1:14: error: unexpected label "$l" (func if end $l) ^^ -out/test/spec/if.wast:779: assert_malformed passed: - out/test/spec/if/if.41.wat:1:17: error: mismatching label "$a" != "$l" +out/test/spec/if.wast:899: assert_malformed passed: + out/test/spec/if/if.54.wat:1:17: error: mismatching label "$a" != "$l" (func if $a end $l) ^^ -out/test/spec/if.wast:783: assert_malformed passed: - out/test/spec/if/if.42.wat:1:15: error: unexpected label "$l" +out/test/spec/if.wast:903: assert_malformed passed: + out/test/spec/if/if.55.wat:1:15: error: unexpected label "$l" (func if else $l end) ^^ -out/test/spec/if.wast:787: assert_malformed passed: - out/test/spec/if/if.43.wat:1:18: error: mismatching label "$a" != "$l" +out/test/spec/if.wast:907: assert_malformed passed: + out/test/spec/if/if.56.wat:1:18: error: mismatching label "$a" != "$l" (func if $a else $l end) ^^ -out/test/spec/if.wast:791: assert_malformed passed: - out/test/spec/if/if.44.wat:1:19: error: unexpected label "$l" +out/test/spec/if.wast:911: assert_malformed passed: + out/test/spec/if/if.57.wat:1:19: error: unexpected label "$l" (func if else end $l) ^^ -out/test/spec/if.wast:795: assert_malformed passed: - out/test/spec/if/if.45.wat:1:15: error: unexpected label "$l" +out/test/spec/if.wast:915: assert_malformed passed: + out/test/spec/if/if.58.wat:1:15: error: unexpected label "$l" (func if else $l end $l) ^^ - out/test/spec/if/if.45.wat:1:22: error: unexpected label "$l" + out/test/spec/if/if.58.wat:1:22: error: unexpected label "$l" (func if else $l end $l) ^^ -out/test/spec/if.wast:799: assert_malformed passed: - out/test/spec/if/if.46.wat:1:15: error: unexpected label "$l1" +out/test/spec/if.wast:919: assert_malformed passed: + out/test/spec/if/if.59.wat:1:15: error: unexpected label "$l1" (func if else $l1 end $l2) ^^^ - out/test/spec/if/if.46.wat:1:23: error: unexpected label "$l2" + out/test/spec/if/if.59.wat:1:23: error: unexpected label "$l2" (func if else $l1 end $l2) ^^^ -out/test/spec/if.wast:803: assert_malformed passed: - out/test/spec/if/if.47.wat:1:22: error: mismatching label "$a" != "$l" +out/test/spec/if.wast:923: assert_malformed passed: + out/test/spec/if/if.60.wat:1:22: error: mismatching label "$a" != "$l" (func if $a else end $l) ^^ -out/test/spec/if.wast:807: assert_malformed passed: - out/test/spec/if/if.48.wat:1:25: error: mismatching label "$a" != "$l" +out/test/spec/if.wast:927: assert_malformed passed: + out/test/spec/if/if.61.wat:1:25: error: mismatching label "$a" != "$l" (func if $a else $a end $l) ^^ -out/test/spec/if.wast:811: assert_malformed passed: - out/test/spec/if/if.49.wat:1:18: error: mismatching label "$a" != "$l" +out/test/spec/if.wast:931: assert_malformed passed: + out/test/spec/if/if.62.wat:1:18: error: mismatching label "$a" != "$l" (func if $a else $l end $l) ^^ - out/test/spec/if/if.49.wat:1:25: error: mismatching label "$a" != "$l" + out/test/spec/if/if.62.wat:1:25: error: mismatching label "$a" != "$l" (func if $a else $l end $l) ^^ -137/137 tests passed. +150/150 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/imports.txt b/test/spec/imports.txt index 368e928e..70036347 100644 --- a/test/spec/imports.txt +++ b/test/spec/imports.txt @@ -261,8 +261,8 @@ out/test/spec/imports.wast:564: assert_malformed passed: out/test/spec/imports/imports.115.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (memory 1 2)) ^^^^^^ -out/test/spec/imports.wast:572: assert_unlinkable passed: - error: unknown import module "not wasm" +out/test/spec/imports.wast:574: assert_unlinkable passed: + error: unknown module field "overloaded" 000004d: error: OnImportFunc callback failed 109/109 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/load.txt b/test/spec/load.txt index 5fc65fa7..972caec3 100644 --- a/test/spec/load.txt +++ b/test/spec/load.txt @@ -95,5 +95,101 @@ out/test/spec/load.wast:360: assert_invalid passed: out/test/spec/load.wast:364: assert_invalid passed: error: type mismatch in function, expected [] but got [f64] 0000022: error: EndFunctionBody callback failed -64/64 tests passed. +out/test/spec/load.wast:371: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:372: assert_invalid passed: + error: type mismatch in i32.load8_s, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:373: assert_invalid passed: + error: type mismatch in i32.load8_u, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:374: assert_invalid passed: + error: type mismatch in i32.load16_s, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:375: assert_invalid passed: + error: type mismatch in i32.load16_u, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:376: assert_invalid passed: + error: type mismatch in i64.load, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:377: assert_invalid passed: + error: type mismatch in i64.load8_s, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:378: assert_invalid passed: + error: type mismatch in i64.load8_u, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:379: assert_invalid passed: + error: type mismatch in i64.load16_s, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:380: assert_invalid passed: + error: type mismatch in i64.load16_u, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:381: assert_invalid passed: + error: type mismatch in i64.load32_s, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:382: assert_invalid passed: + error: type mismatch in i64.load32_u, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:383: assert_invalid passed: + error: type mismatch in f32.load, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:384: assert_invalid passed: + error: type mismatch in f64.load, expected [i32] but got [f32] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:388: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 000001f: error: OnLoadExpr callback failed +out/test/spec/load.wast:397: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000023: error: OnLoadExpr callback failed +out/test/spec/load.wast:407: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000023: error: OnLoadExpr callback failed +out/test/spec/load.wast:417: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:427: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000028: error: OnLoadExpr callback failed +out/test/spec/load.wast:437: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000023: error: OnLoadExpr callback failed +out/test/spec/load.wast:447: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000023: error: OnLoadExpr callback failed +out/test/spec/load.wast:457: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000023: error: OnLoadExpr callback failed +out/test/spec/load.wast:467: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 000001f: error: OnLoadExpr callback failed +out/test/spec/load.wast:476: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 000001f: error: OnLoadExpr callback failed +out/test/spec/load.wast:485: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000025: error: OnLoadExpr callback failed +out/test/spec/load.wast:495: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 000003c: error: OnLoadExpr callback failed +out/test/spec/load.wast:512: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000021: error: OnLoadExpr callback failed +out/test/spec/load.wast:522: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000021: error: OnLoadExpr callback failed +out/test/spec/load.wast:532: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 0000027: error: OnLoadExpr callback failed +out/test/spec/load.wast:542: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 000001f: error: OnLoadExpr callback failed +out/test/spec/load.wast:551: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 000001f: error: OnLoadExpr callback failed +out/test/spec/load.wast:560: assert_invalid passed: + error: type mismatch in i32.load, expected [i32] but got [] + 000001f: error: OnLoadExpr callback failed +96/96 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/local_get.txt b/test/spec/local_get.txt index b5b7253a..1bc13cd4 100644 --- a/test/spec/local_get.txt +++ b/test/spec/local_get.txt @@ -19,34 +19,34 @@ out/test/spec/local_get.wast:169: assert_invalid passed: out/test/spec/local_get.wast:173: assert_invalid passed: error: type mismatch in f64.neg, expected [f64] but got [i64] 000001d: error: OnUnaryExpr callback failed -out/test/spec/local_get.wast:178: assert_invalid passed: +out/test/spec/local_get.wast:181: assert_invalid passed: error: type mismatch in function, expected [] but got [i32] 000001c: error: EndFunctionBody callback failed -out/test/spec/local_get.wast:182: assert_invalid passed: +out/test/spec/local_get.wast:185: assert_invalid passed: error: type mismatch in function, expected [] but got [i64] 000001c: error: EndFunctionBody callback failed -out/test/spec/local_get.wast:186: assert_invalid passed: +out/test/spec/local_get.wast:189: assert_invalid passed: error: type mismatch in function, expected [] but got [f32] 000001c: error: EndFunctionBody callback failed -out/test/spec/local_get.wast:190: assert_invalid passed: +out/test/spec/local_get.wast:193: assert_invalid passed: error: type mismatch in function, expected [] but got [f64] 000001c: error: EndFunctionBody callback failed -out/test/spec/local_get.wast:198: assert_invalid passed: +out/test/spec/local_get.wast:201: assert_invalid passed: error: invalid local_index: 3 (max 2) 000001d: error: OnLocalGetExpr callback failed -out/test/spec/local_get.wast:202: assert_invalid passed: +out/test/spec/local_get.wast:205: assert_invalid passed: error: invalid local_index: 14324343 (max 2) 0000020: error: OnLocalGetExpr callback failed -out/test/spec/local_get.wast:207: assert_invalid passed: +out/test/spec/local_get.wast:210: assert_invalid passed: error: invalid local_index: 2 (max 2) 000001b: error: OnLocalGetExpr callback failed -out/test/spec/local_get.wast:211: assert_invalid passed: +out/test/spec/local_get.wast:214: assert_invalid passed: error: invalid local_index: 714324343 (max 2) 000001f: error: OnLocalGetExpr callback failed -out/test/spec/local_get.wast:216: assert_invalid passed: +out/test/spec/local_get.wast:219: assert_invalid passed: error: invalid local_index: 3 (max 3) 000001e: error: OnLocalGetExpr callback failed -out/test/spec/local_get.wast:220: assert_invalid passed: +out/test/spec/local_get.wast:223: assert_invalid passed: error: invalid local_index: 214324343 (max 3) 0000021: error: OnLocalGetExpr callback failed 35/35 tests passed. diff --git a/test/spec/local_set.txt b/test/spec/local_set.txt index 984899ac..d5984c4e 100644 --- a/test/spec/local_set.txt +++ b/test/spec/local_set.txt @@ -26,43 +26,79 @@ out/test/spec/local_set.wast:181: assert_invalid passed: error: type mismatch in local.set, expected [i64] but got [f64] 0000024: error: OnLocalSetExpr callback failed out/test/spec/local_set.wast:186: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001a: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:194: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001e: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:203: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001e: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:212: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 0000020: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:221: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 0000023: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:230: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001e: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:239: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001e: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:248: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001e: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:257: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001a: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:265: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 000001a: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:273: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 0000020: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:282: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [] + 0000037: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:301: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [f32] + 0000021: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:305: assert_invalid passed: + error: type mismatch in local.set, expected [i32] but got [f32] + 0000022: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:309: assert_invalid passed: + error: type mismatch in local.set, expected [f64] but got [i64] + 0000020: error: OnLocalSetExpr callback failed +out/test/spec/local_set.wast:317: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [] 000001e: error: EndFunctionBody callback failed -out/test/spec/local_set.wast:190: assert_invalid passed: +out/test/spec/local_set.wast:321: assert_invalid passed: error: type mismatch in implicit return, expected [i64] but got [] 000001e: error: EndFunctionBody callback failed -out/test/spec/local_set.wast:194: assert_invalid passed: +out/test/spec/local_set.wast:325: assert_invalid passed: error: type mismatch in implicit return, expected [f32] but got [] 0000021: error: EndFunctionBody callback failed -out/test/spec/local_set.wast:198: assert_invalid passed: +out/test/spec/local_set.wast:329: assert_invalid passed: error: type mismatch in implicit return, expected [f64] but got [] 0000025: error: EndFunctionBody callback failed -out/test/spec/local_set.wast:206: assert_invalid passed: - error: type mismatch in local.set, expected [i32] but got [f32] - 0000021: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:210: assert_invalid passed: - error: type mismatch in local.set, expected [i32] but got [f32] - 0000022: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:214: assert_invalid passed: - error: type mismatch in local.set, expected [f64] but got [i64] - 0000020: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:222: assert_invalid passed: +out/test/spec/local_set.wast:337: assert_invalid passed: error: invalid local_index: 3 (max 2) 000001f: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:226: assert_invalid passed: +out/test/spec/local_set.wast:341: assert_invalid passed: error: invalid local_index: 14324343 (max 2) 0000022: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:231: assert_invalid passed: +out/test/spec/local_set.wast:346: assert_invalid passed: error: invalid local_index: 2 (max 2) 000001d: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:235: assert_invalid passed: +out/test/spec/local_set.wast:350: assert_invalid passed: error: invalid local_index: 714324343 (max 2) 0000021: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:240: assert_invalid passed: +out/test/spec/local_set.wast:355: assert_invalid passed: error: invalid local_index: 3 (max 3) 0000020: error: OnLocalSetExpr callback failed -out/test/spec/local_set.wast:244: assert_invalid passed: +out/test/spec/local_set.wast:359: assert_invalid passed: error: invalid local_index: 214324343 (max 3) 0000023: error: OnLocalSetExpr callback failed -40/40 tests passed. +52/52 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/local_tee.txt b/test/spec/local_tee.txt index 64d2f5dc..78ee6392 100644 --- a/test/spec/local_tee.txt +++ b/test/spec/local_tee.txt @@ -43,32 +43,86 @@ out/test/spec/local_tee.wast:425: assert_invalid passed: out/test/spec/local_tee.wast:429: assert_invalid passed: error: type mismatch in local.tee, expected [i64] but got [f64] 0000024: error: OnLocalTeeExpr callback failed -out/test/spec/local_tee.wast:437: assert_invalid passed: +out/test/spec/local_tee.wast:434: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001a: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:442: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001e: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:451: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001e: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:460: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 0000020: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:469: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 0000023: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:478: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001e: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:487: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001e: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:496: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001e: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:505: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001a: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:513: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001a: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:521: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 0000020: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:530: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 0000037: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:546: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001a: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:554: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001a: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:562: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 0000022: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:571: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001f: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:580: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001f: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:589: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [] + 000001f: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:602: assert_invalid passed: error: invalid local_index: 3 (max 2) 000001d: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:441: assert_invalid passed: +out/test/spec/local_tee.wast:606: assert_invalid passed: error: invalid local_index: 14324343 (max 2) 0000020: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:446: assert_invalid passed: +out/test/spec/local_tee.wast:611: assert_invalid passed: error: invalid local_index: 2 (max 2) 000001b: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:450: assert_invalid passed: +out/test/spec/local_tee.wast:615: assert_invalid passed: error: invalid local_index: 714324343 (max 2) 0000021: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:455: assert_invalid passed: +out/test/spec/local_tee.wast:620: assert_invalid passed: error: invalid local_index: 3 (max 3) 000001e: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:459: assert_invalid passed: +out/test/spec/local_tee.wast:624: assert_invalid passed: error: invalid local_index: 214324343 (max 3) 0000021: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:464: assert_invalid passed: +out/test/spec/local_tee.wast:629: assert_invalid passed: error: type mismatch in local.tee, expected [i32] but got [f32] 0000021: error: OnLocalTeeExpr callback failed -out/test/spec/local_tee.wast:468: assert_invalid passed: +out/test/spec/local_tee.wast:633: assert_invalid passed: error: type mismatch in local.tee, expected [i32] but got [f32] 0000022: error: OnLocalTeeExpr callback failed -out/test/spec/local_tee.wast:472: assert_invalid passed: +out/test/spec/local_tee.wast:637: assert_invalid passed: error: type mismatch in local.tee, expected [f64] but got [i64] 0000020: error: OnLocalTeeExpr callback failed -78/78 tests passed. +96/96 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/loop.txt b/test/spec/loop.txt index a3a417f9..9951c351 100644 --- a/test/spec/loop.txt +++ b/test/spec/loop.txt @@ -28,13 +28,22 @@ out/test/spec/loop.wast:421: assert_invalid passed: out/test/spec/loop.wast:427: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [i64] 0000020: error: EndFunctionBody callback failed -out/test/spec/loop.wast:435: assert_malformed passed: - out/test/spec/loop/loop.10.wat:1:16: error: unexpected label "$l" +out/test/spec/loop.wast:434: assert_invalid passed: + error: type mismatch in loop, expected [i32] but got [] + 000001e: error: OnEndExpr callback failed +out/test/spec/loop.wast:443: assert_invalid passed: + error: type mismatch in loop, expected [i32] but got [] + 000001e: error: OnEndExpr callback failed +out/test/spec/loop.wast:452: assert_invalid passed: + error: type mismatch in loop, expected [i32] but got [] + 0000020: error: OnEndExpr callback failed +out/test/spec/loop.wast:463: assert_malformed passed: + out/test/spec/loop/loop.13.wat:1:16: error: unexpected label "$l" (func loop end $l) ^^ -out/test/spec/loop.wast:439: assert_malformed passed: - out/test/spec/loop/loop.11.wat:1:19: error: mismatching label "$a" != "$l" +out/test/spec/loop.wast:467: assert_malformed passed: + out/test/spec/loop/loop.14.wat:1:19: error: mismatching label "$a" != "$l" (func loop $a end $l) ^^ -77/77 tests passed. +80/80 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/memory_grow.txt b/test/spec/memory_grow.txt index a0f0a4da..fdeca389 100644 --- a/test/spec/memory_grow.txt +++ b/test/spec/memory_grow.txt @@ -1,5 +1,20 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/memory_grow.wast (;; STDOUT ;;; -84/84 tests passed. +out/test/spec/memory_grow.wast:313: assert_invalid passed: + error: type mismatch in memory.grow, expected [i32] but got [] + 000001e: error: OnMemoryGrowExpr callback failed +out/test/spec/memory_grow.wast:322: assert_invalid passed: + error: type mismatch in memory.grow, expected [i32] but got [] + 0000022: error: OnMemoryGrowExpr callback failed +out/test/spec/memory_grow.wast:332: assert_invalid passed: + error: type mismatch in memory.grow, expected [i32] but got [] + 0000022: error: OnMemoryGrowExpr callback failed +out/test/spec/memory_grow.wast:342: assert_invalid passed: + error: type mismatch in memory.grow, expected [i32] but got [] + 0000024: error: OnMemoryGrowExpr callback failed +out/test/spec/memory_grow.wast:355: assert_invalid passed: + error: type mismatch in memory.grow, expected [i32] but got [f32] + 0000024: error: OnMemoryGrowExpr callback failed +89/89 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/return.txt b/test/spec/return.txt index ef9e3170..d88da120 100644 --- a/test/spec/return.txt +++ b/test/spec/return.txt @@ -2,28 +2,64 @@ ;;; STDIN_FILE: third_party/testsuite/return.wast (;; STDOUT ;;; out/test/spec/return.wast:311: assert_invalid passed: - error: type mismatch in return, expected [f64] but got [] + error: type mismatch in return, expected [i32] but got [] 0000019: error: OnReturnExpr callback failed out/test/spec/return.wast:315: assert_invalid passed: - error: type mismatch in return, expected [f64] but got [] - 000001a: error: OnReturnExpr callback failed -out/test/spec/return.wast:319: assert_invalid passed: - error: type mismatch in return, expected [f64] but got [i64] - 000001b: error: OnReturnExpr callback failed + error: type mismatch in return, expected [i32] but got [] + 000001d: error: OnReturnExpr callback failed out/test/spec/return.wast:324: assert_invalid passed: error: type mismatch in return, expected [i32] but got [] - 0000019: error: OnReturnExpr callback failed -out/test/spec/return.wast:332: assert_invalid passed: + 000001d: error: OnReturnExpr callback failed +out/test/spec/return.wast:333: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 000001f: error: OnReturnExpr callback failed +out/test/spec/return.wast:342: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 0000022: error: OnReturnExpr callback failed +out/test/spec/return.wast:351: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 000001d: error: OnReturnExpr callback failed +out/test/spec/return.wast:360: assert_invalid passed: error: type mismatch in return, expected [i32] but got [] 000001d: error: OnReturnExpr callback failed -out/test/spec/return.wast:341: assert_invalid passed: +out/test/spec/return.wast:369: assert_invalid passed: error: type mismatch in return, expected [i32] but got [] 000001d: error: OnReturnExpr callback failed -out/test/spec/return.wast:350: assert_invalid passed: +out/test/spec/return.wast:378: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 0000019: error: OnReturnExpr callback failed +out/test/spec/return.wast:386: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 0000019: error: OnReturnExpr callback failed +out/test/spec/return.wast:394: assert_invalid passed: error: type mismatch in return, expected [i32] but got [] 000001f: error: OnReturnExpr callback failed -out/test/spec/return.wast:359: assert_invalid passed: +out/test/spec/return.wast:403: assert_invalid passed: error: type mismatch in return, expected [i32] but got [] - 0000022: error: OnReturnExpr callback failed -71/71 tests passed. + 0000036: error: OnReturnExpr callback failed +out/test/spec/return.wast:418: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 000001b: error: OnReturnExpr callback failed +out/test/spec/return.wast:427: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 000001b: error: OnReturnExpr callback failed +out/test/spec/return.wast:436: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 0000021: error: OnReturnExpr callback failed +out/test/spec/return.wast:445: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 000001e: error: OnReturnExpr callback failed +out/test/spec/return.wast:454: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 000001e: error: OnReturnExpr callback failed +out/test/spec/return.wast:463: assert_invalid passed: + error: type mismatch in return, expected [i32] but got [] + 000001e: error: OnReturnExpr callback failed +out/test/spec/return.wast:472: assert_invalid passed: + error: type mismatch in return, expected [f64] but got [] + 000001a: error: OnReturnExpr callback failed +out/test/spec/return.wast:476: assert_invalid passed: + error: type mismatch in return, expected [f64] but got [i64] + 000001b: error: OnReturnExpr callback failed +83/83 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/select.txt b/test/spec/select.txt index fb5958bc..4bb72de4 100644 --- a/test/spec/select.txt +++ b/test/spec/select.txt @@ -13,5 +13,41 @@ out/test/spec/select.wast:301: 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 -98/98 tests passed. +out/test/spec/select.wast:311: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [] + 0000018: error: OnSelectExpr callback failed +out/test/spec/select.wast:319: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [i32] + 000001a: error: OnSelectExpr callback failed +out/test/spec/select.wast:327: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] + 000001c: error: OnSelectExpr callback failed +out/test/spec/select.wast:335: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:344: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [i32] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:353: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:362: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:371: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [i32] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:380: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:389: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:398: assert_invalid passed: + error: type mismatch in select, expected [i32, any, any] but got [i32] + 0000020: error: OnSelectExpr callback failed +out/test/spec/select.wast:407: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] + 0000020: error: OnSelectExpr callback failed +110/110 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/store.txt b/test/spec/store.txt index 999b8d4b..cc8fa872 100644 --- a/test/spec/store.txt +++ b/test/spec/store.txt @@ -56,5 +56,131 @@ out/test/spec/store.wast:140: assert_invalid passed: out/test/spec/store.wast:144: assert_invalid passed: error: type mismatch in implicit return, expected [i64] but got [] 0000026: error: EndFunctionBody callback failed -25/25 tests passed. +out/test/spec/store.wast:150: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 000001f: error: OnStoreExpr callback failed +out/test/spec/store.wast:159: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000021: error: OnStoreExpr callback failed +out/test/spec/store.wast:168: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:178: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:188: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:198: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:208: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:218: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:228: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000028: error: OnStoreExpr callback failed +out/test/spec/store.wast:238: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000028: error: OnStoreExpr callback failed +out/test/spec/store.wast:248: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:258: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:268: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:278: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:288: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:298: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:308: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 000001f: error: OnStoreExpr callback failed +out/test/spec/store.wast:317: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000021: error: OnStoreExpr callback failed +out/test/spec/store.wast:326: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 000001f: error: OnStoreExpr callback failed +out/test/spec/store.wast:335: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000021: error: OnStoreExpr callback failed +out/test/spec/store.wast:344: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 0000025: error: OnStoreExpr callback failed +out/test/spec/store.wast:354: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 0000027: error: OnStoreExpr callback failed +out/test/spec/store.wast:364: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [] + 000003c: error: OnStoreExpr callback failed +out/test/spec/store.wast:380: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32] + 000003e: error: OnStoreExpr callback failed +out/test/spec/store.wast:399: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [f32, i32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:400: assert_invalid passed: + error: type mismatch in i32.store8, expected [i32, i32] but got [f32, i32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:401: assert_invalid passed: + error: type mismatch in i32.store16, expected [i32, i32] but got [f32, i32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:402: assert_invalid passed: + error: type mismatch in i64.store, expected [i32, i64] but got [f32, i32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:403: assert_invalid passed: + error: type mismatch in i64.store8, expected [i32, i64] but got [f32, i64] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:404: assert_invalid passed: + error: type mismatch in i64.store16, expected [i32, i64] but got [f32, i64] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:405: assert_invalid passed: + error: type mismatch in i64.store32, expected [i32, i64] but got [f32, i64] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:406: assert_invalid passed: + error: type mismatch in f32.store, expected [i32, f32] but got [f32, f32] + 0000029: error: OnStoreExpr callback failed +out/test/spec/store.wast:407: assert_invalid passed: + error: type mismatch in f64.store, expected [i32, f64] but got [f32, f64] + 000002d: error: OnStoreExpr callback failed +out/test/spec/store.wast:409: assert_invalid passed: + error: type mismatch in i32.store, expected [i32, i32] but got [i32, f32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:410: assert_invalid passed: + error: type mismatch in i32.store8, expected [i32, i32] but got [i32, f32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:411: assert_invalid passed: + error: type mismatch in i32.store16, expected [i32, i32] but got [i32, f32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:412: assert_invalid passed: + error: type mismatch in i64.store, expected [i32, i64] but got [i32, f32] + 0000026: error: OnStoreExpr callback failed +out/test/spec/store.wast:413: assert_invalid passed: + error: type mismatch in i64.store8, expected [i32, i64] but got [i32, f64] + 000002a: error: OnStoreExpr callback failed +out/test/spec/store.wast:414: assert_invalid passed: + error: type mismatch in i64.store16, expected [i32, i64] but got [i32, f64] + 000002a: error: OnStoreExpr callback failed +out/test/spec/store.wast:415: assert_invalid passed: + error: type mismatch in i64.store32, expected [i32, i64] but got [i32, f64] + 000002a: error: OnStoreExpr callback failed +out/test/spec/store.wast:416: assert_invalid passed: + error: type mismatch in f32.store, expected [i32, f32] but got [i32, i32] + 0000023: error: OnStoreExpr callback failed +out/test/spec/store.wast:417: assert_invalid passed: + error: type mismatch in f64.store, expected [i32, f64] but got [i32, i64] + 0000023: error: OnStoreExpr callback failed +67/67 tests passed. ;;; STDOUT ;;) diff --git a/third_party/testsuite b/third_party/testsuite -Subproject 89cc463fa1251449d7974086a34ef0dc100b158 +Subproject 8efdcbeaeba16493f1f360532754456a5a83bf3 |