Update to latest spec testsuite

Author: binji

test/spec/br.txt

@@ -14,13 +14,25 @@ out/test/spec/br.wast:439: assert_invalid passed:
   error: type mismatch in br, expected [i32] but got [i64]
   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
+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:
+  error: type mismatch in br, expected [i32] but got []
+  0000021: error: OnBrExpr callback failed
+out/test/spec/br.wast:477: 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:
   error: invalid depth: 1 (max 0)
   0000019: error: OnBrExpr callback failed
-out/test/spec/br.wast:450: assert_invalid passed:
+out/test/spec/br.wast:496: assert_invalid passed:
   error: invalid depth: 5 (max 2)
   000001d: error: OnBrExpr callback failed
-out/test/spec/br.wast:454: assert_invalid passed:
+out/test/spec/br.wast:500: assert_invalid passed:
   error: invalid depth: 268435457 (max 0)
   000001d: error: OnBrExpr callback failed
-70/70 tests passed.
+74/74 tests passed.
 ;;; STDOUT ;;)

test/spec/i32.txt

@@ -1,5 +1,50 @@
 ;;; TOOL: run-interp-spec
 ;;; STDIN_FILE: third_party/testsuite/i32.wast
 (;; STDOUT ;;;
-359/359 tests passed.
+out/test/spec/i32.wast:425: assert_invalid passed:
+  error: type mismatch in i32.eqz, expected [i32] but got []
+  0000018: error: OnConvertExpr callback failed
+out/test/spec/i32.wast:433: assert_invalid passed:
+  error: type mismatch in i32.eqz, expected [i32] but got []
+  000001c: error: OnConvertExpr callback failed
+out/test/spec/i32.wast:442: assert_invalid passed:
+  error: type mismatch in i32.eqz, expected [i32] but got []
+  000001c: error: OnConvertExpr callback failed
+out/test/spec/i32.wast:451: assert_invalid passed:
+  error: type mismatch in i32.eqz, expected [i32] but got []
+  000001e: error: OnConvertExpr callback failed
+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:
+  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:
+  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:
+  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:
+  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:
+  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:
+  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:
+  error: type mismatch in drop, expected [any] but got []
+  0000021: error: OnDropExpr callback failed
+out/test/spec/i32.wast:531: 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:
+  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:
+  error: type mismatch in i32.add, expected [i32, i32] but got []
+  0000021: error: OnBinaryExpr callback failed
+374/374 tests passed.
 ;;; STDOUT ;;)

test/spec/if.txt

@@ -103,54 +103,69 @@ out/test/spec/if.wast:707: assert_invalid passed:
 out/test/spec/if.wast:716: assert_invalid passed:
   error: type mismatch in br, expected [i32] but got [i64]
   0000023: error: OnBrExpr callback failed
-out/test/spec/if.wast:727: assert_malformed passed:
-  out/test/spec/if/if.35.wat:1:14: error: unexpected label "$l"
+out/test/spec/if.wast:726: assert_invalid passed:
+  error: type mismatch in if, expected [i32] but got []
+  0000019: error: OnIfExpr callback failed
+out/test/spec/if.wast:734: assert_invalid passed:
+  error: type mismatch in if, expected [i32] but got []
+  000001d: error: OnIfExpr callback failed
+out/test/spec/if.wast:743: assert_invalid passed:
+  error: type mismatch in if, expected [i32] but got []
+  000001d: error: OnIfExpr callback failed
+out/test/spec/if.wast:752: assert_invalid passed:
+  error: type mismatch in if, expected [i32] but got []
+  000001f: error: OnIfExpr callback failed
+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"
   (func if end $l)
                ^^
-out/test/spec/if.wast:731: assert_malformed passed:
-  out/test/spec/if/if.36.wat:1:17: error: mismatching label "$a" != "$l"
+out/test/spec/if.wast:779: assert_malformed passed:
+  out/test/spec/if/if.41.wat:1:17: error: mismatching label "$a" != "$l"
   (func if $a end $l)
                   ^^
-out/test/spec/if.wast:735: assert_malformed passed:
-  out/test/spec/if/if.37.wat:1:15: error: unexpected label "$l"
+out/test/spec/if.wast:783: assert_malformed passed:
+  out/test/spec/if/if.42.wat:1:15: error: unexpected label "$l"
   (func if else $l end)
                 ^^
-out/test/spec/if.wast:739: assert_malformed passed:
-  out/test/spec/if/if.38.wat:1:18: error: mismatching label "$a" != "$l"
+out/test/spec/if.wast:787: assert_malformed passed:
+  out/test/spec/if/if.43.wat:1:18: error: mismatching label "$a" != "$l"
   (func if $a else $l end)
                    ^^
-out/test/spec/if.wast:743: assert_malformed passed:
-  out/test/spec/if/if.39.wat:1:19: error: unexpected label "$l"
+out/test/spec/if.wast:791: assert_malformed passed:
+  out/test/spec/if/if.44.wat:1:19: error: unexpected label "$l"
   (func if else end $l)
                     ^^
-out/test/spec/if.wast:747: assert_malformed passed:
-  out/test/spec/if/if.40.wat:1:15: error: unexpected label "$l"
+out/test/spec/if.wast:795: assert_malformed passed:
+  out/test/spec/if/if.45.wat:1:15: error: unexpected label "$l"
   (func if else $l end $l)
                 ^^
-  out/test/spec/if/if.40.wat:1:22: error: unexpected label "$l"
+  out/test/spec/if/if.45.wat:1:22: error: unexpected label "$l"
   (func if else $l end $l)
                        ^^
-out/test/spec/if.wast:751: assert_malformed passed:
-  out/test/spec/if/if.41.wat:1:15: error: unexpected label "$l1"
+out/test/spec/if.wast:799: assert_malformed passed:
+  out/test/spec/if/if.46.wat:1:15: error: unexpected label "$l1"
   (func if else $l1 end $l2)
                 ^^^
-  out/test/spec/if/if.41.wat:1:23: error: unexpected label "$l2"
+  out/test/spec/if/if.46.wat:1:23: error: unexpected label "$l2"
   (func if else $l1 end $l2)
                         ^^^
-out/test/spec/if.wast:755: assert_malformed passed:
-  out/test/spec/if/if.42.wat:1:22: error: mismatching label "$a" != "$l"
+out/test/spec/if.wast:803: assert_malformed passed:
+  out/test/spec/if/if.47.wat:1:22: error: mismatching label "$a" != "$l"
   (func if $a else end $l)
                        ^^
-out/test/spec/if.wast:759: assert_malformed passed:
-  out/test/spec/if/if.43.wat:1:25: error: mismatching label "$a" != "$l"
+out/test/spec/if.wast:807: assert_malformed passed:
+  out/test/spec/if/if.48.wat:1:25: error: mismatching label "$a" != "$l"
   (func if $a else $a end $l)
                           ^^
-out/test/spec/if.wast:763: assert_malformed passed:
-  out/test/spec/if/if.44.wat:1:18: error: mismatching label "$a" != "$l"
+out/test/spec/if.wast:811: assert_malformed passed:
+  out/test/spec/if/if.49.wat:1:18: error: mismatching label "$a" != "$l"
   (func if $a else $l end $l)
                    ^^
-  out/test/spec/if/if.44.wat:1:25: error: mismatching label "$a" != "$l"
+  out/test/spec/if/if.49.wat:1:25: error: mismatching label "$a" != "$l"
   (func if $a else $l end $l)
                           ^^
-132/132 tests passed.
+137/137 tests passed.
 ;;; STDOUT ;;)

test/spec/return.txt

@@ -10,5 +10,20 @@ out/test/spec/return.wast:315: assert_invalid passed:
 out/test/spec/return.wast:319: assert_invalid passed:
   error: type mismatch in return, expected [f64] but got [i64]
   000001b: error: OnReturnExpr callback failed
-66/66 tests passed.
+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:
+  error: type mismatch in return, expected [i32] but got []
+  000001d: error: OnReturnExpr callback failed
+out/test/spec/return.wast:341: 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:
+  error: type mismatch in return, expected [i32] but got []
+  000001f: error: OnReturnExpr callback failed
+out/test/spec/return.wast:359: assert_invalid passed:
+  error: type mismatch in return, expected [i32] but got []
+  0000022: error: OnReturnExpr callback failed
+71/71 tests passed.
 ;;; STDOUT ;;)