Update testsuite (#1424)

Includes the three merged proposals (nontrapping-float-to-int,
sign-extension, multi-value).

It also has one bug fix when parsing table limits (when the min or max
size does not fit in a 32-bit int).

1 files changed, 90 insertions, 90 deletions

diff --git a/test/spec/i32.txt b/test/spec/i32.txt
index 784e388d..efe6bd94 100644
--- a/test/spec/i32.txt
+++ b/test/spec/i32.txt
@@ -1,106 +1,100 @@
 ;;; TOOL: run-interp-spec
 ;;; STDIN_FILE: third_party/testsuite/i32.wast
 (;; STDOUT ;;;
-out/test/spec/i32.wast:62: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:63: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:64: assert_trap passed: integer overflow
+out/test/spec/i32.wast:64: assert_trap passed: integer divide by zero
 out/test/spec/i32.wast:65: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:83: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:84: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:100: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:101: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:121: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:122: assert_trap passed: integer divide by zero
-out/test/spec/i32.wast:426: assert_invalid passed:
+out/test/spec/i32.wast:66: assert_trap passed: integer overflow
+out/test/spec/i32.wast:67: assert_trap passed: integer divide by zero
+out/test/spec/i32.wast:85: assert_trap passed: integer divide by zero
+out/test/spec/i32.wast:86: assert_trap passed: integer divide by zero
+out/test/spec/i32.wast:102: assert_trap passed: integer divide by zero
+out/test/spec/i32.wast:103: assert_trap passed: integer divide by zero
+out/test/spec/i32.wast:123: assert_trap passed: integer divide by zero
+out/test/spec/i32.wast:124: assert_trap passed: integer divide by zero
+out/test/spec/i32.wast:444: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   0000018: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:434: assert_invalid passed:
+out/test/spec/i32.wast:452: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001c: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:443: assert_invalid passed:
+out/test/spec/i32.wast:461: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001c: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:452: assert_invalid passed:
+out/test/spec/i32.wast:470: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001e: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:461: assert_invalid passed:
+out/test/spec/i32.wast:479: 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:488: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001c: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:479: assert_invalid passed:
+out/test/spec/i32.wast:497: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001c: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:488: assert_invalid passed:
+out/test/spec/i32.wast:506: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001c: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:497: assert_invalid passed:
+out/test/spec/i32.wast:515: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   0000018: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:505: assert_invalid passed:
+out/test/spec/i32.wast:523: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   0000018: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:513: assert_invalid passed:
+out/test/spec/i32.wast:531: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001e: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:522: assert_invalid passed:
+out/test/spec/i32.wast:540: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   0000035: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:538: assert_invalid passed:
+out/test/spec/i32.wast:556: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001a: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:547: assert_invalid passed:
+out/test/spec/i32.wast:565: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001a: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:556: assert_invalid passed:
+out/test/spec/i32.wast:574: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   0000020: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:565: assert_invalid passed:
+out/test/spec/i32.wast:583: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001d: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:574: assert_invalid passed:
+out/test/spec/i32.wast:592: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001d: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:583: assert_invalid passed:
+out/test/spec/i32.wast:601: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got []
   000001d: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:593: assert_invalid passed:
+out/test/spec/i32.wast:611: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   0000018: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:601: assert_invalid passed:
+out/test/spec/i32.wast:619: 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:609: assert_invalid passed:
+out/test/spec/i32.wast:627: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   000001e: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:618: assert_invalid passed:
+out/test/spec/i32.wast:636: 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:627: assert_invalid passed:
+out/test/spec/i32.wast:645: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   000001e: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:636: assert_invalid passed:
+out/test/spec/i32.wast:654: 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:645: assert_invalid passed:
+out/test/spec/i32.wast:663: assert_invalid passed:
   error: type mismatch in drop, expected [any] but got []
   0000021: error: OnDropExpr callback failed
-out/test/spec/i32.wast:654: assert_invalid passed:
+out/test/spec/i32.wast:672: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   0000020: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:663: assert_invalid passed:
+out/test/spec/i32.wast:681: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   0000023: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:673: assert_invalid passed:
+out/test/spec/i32.wast:691: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   0000021: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:683: assert_invalid passed:
-  error: type mismatch in i32.add, expected [i32, i32] but got []
-  000001e: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:692: 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:701: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   000001e: error: OnBinaryExpr callback failed
@@ -115,34 +109,34 @@ out/test/spec/i32.wast:728: assert_invalid passed:
   000001e: error: OnBinaryExpr callback failed
 out/test/spec/i32.wast:737: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
+  000001e: error: OnBinaryExpr callback failed
+out/test/spec/i32.wast:746: 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:755: assert_invalid passed:
+  error: type mismatch in i32.add, expected [i32, i32] but got []
   0000018: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:745: assert_invalid passed:
+out/test/spec/i32.wast:763: 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:753: assert_invalid passed:
+out/test/spec/i32.wast:771: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   0000018: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:761: assert_invalid passed:
+out/test/spec/i32.wast:779: 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:769: assert_invalid passed:
+out/test/spec/i32.wast:787: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   000001f: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:778: assert_invalid passed:
+out/test/spec/i32.wast:796: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got [i32]
   0000021: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:787: assert_invalid passed:
+out/test/spec/i32.wast:805: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   0000035: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:803: assert_invalid passed:
+out/test/spec/i32.wast:821: 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:819: assert_invalid passed:
-  error: type mismatch in i32.add, expected [i32, i32] but got []
-  000001a: error: OnBinaryExpr callback failed
-out/test/spec/i32.wast:828: 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:837: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   000001a: error: OnBinaryExpr callback failed
@@ -151,16 +145,16 @@ out/test/spec/i32.wast:846: assert_invalid passed:
   000001c: error: OnBinaryExpr callback failed
 out/test/spec/i32.wast:855: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
-  0000020: error: OnBinaryExpr callback failed
+  000001a: error: OnBinaryExpr callback failed
 out/test/spec/i32.wast:864: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got [i32]
-  0000022: error: OnBinaryExpr callback failed
+  000001c: error: OnBinaryExpr callback failed
 out/test/spec/i32.wast:873: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
-  000001d: error: OnBinaryExpr callback failed
+  0000020: error: OnBinaryExpr callback failed
 out/test/spec/i32.wast:882: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got [i32]
-  000001f: error: OnBinaryExpr callback failed
+  0000022: error: OnBinaryExpr callback failed
 out/test/spec/i32.wast:891: assert_invalid passed:
   error: type mismatch in i32.add, expected [i32, i32] but got []
   000001d: error: OnBinaryExpr callback failed
@@ -173,92 +167,98 @@ out/test/spec/i32.wast:909: assert_invalid passed:
 out/test/spec/i32.wast:918: 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:930: assert_invalid passed:
+out/test/spec/i32.wast:927: assert_invalid passed:
+  error: type mismatch in i32.add, expected [i32, i32] but got []
+  000001d: error: OnBinaryExpr callback failed
+out/test/spec/i32.wast:936: 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:948: 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:931: assert_invalid passed:
+out/test/spec/i32.wast:949: 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:932: assert_invalid passed:
+out/test/spec/i32.wast:950: 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:933: assert_invalid passed:
+out/test/spec/i32.wast:951: 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:934: assert_invalid passed:
+out/test/spec/i32.wast:952: 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:935: assert_invalid passed:
+out/test/spec/i32.wast:953: 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:936: assert_invalid passed:
+out/test/spec/i32.wast:954: 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:937: assert_invalid passed:
+out/test/spec/i32.wast:955: 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:938: assert_invalid passed:
+out/test/spec/i32.wast:956: 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:939: assert_invalid passed:
+out/test/spec/i32.wast:957: 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:940: assert_invalid passed:
+out/test/spec/i32.wast:958: 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:941: assert_invalid passed:
+out/test/spec/i32.wast:959: 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:942: assert_invalid passed:
+out/test/spec/i32.wast:960: 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:943: assert_invalid passed:
+out/test/spec/i32.wast:961: 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:944: assert_invalid passed:
+out/test/spec/i32.wast:962: 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:945: assert_invalid passed:
+out/test/spec/i32.wast:963: assert_invalid passed:
   error: type mismatch in i32.eqz, expected [i32] but got [i64]
   000001b: error: OnConvertExpr callback failed
-out/test/spec/i32.wast:946: assert_invalid passed:
+out/test/spec/i32.wast:964: assert_invalid passed:
   error: type mismatch in i32.clz, expected [i32] but got [i64]
   000001b: error: OnUnaryExpr callback failed
-out/test/spec/i32.wast:947: assert_invalid passed:
+out/test/spec/i32.wast:965: assert_invalid passed:
   error: type mismatch in i32.ctz, expected [i32] but got [i64]
   000001b: error: OnUnaryExpr callback failed
-out/test/spec/i32.wast:948: assert_invalid passed:
+out/test/spec/i32.wast:966: assert_invalid passed:
   error: type mismatch in i32.popcnt, expected [i32] but got [i64]
   000001b: error: OnUnaryExpr callback failed
-out/test/spec/i32.wast:949: assert_invalid passed:
+out/test/spec/i32.wast:967: 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:950: assert_invalid passed:
+out/test/spec/i32.wast:968: 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:951: assert_invalid passed:
+out/test/spec/i32.wast:969: 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:952: assert_invalid passed:
+out/test/spec/i32.wast:970: 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:953: assert_invalid passed:
+out/test/spec/i32.wast:971: 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:954: assert_invalid passed:
+out/test/spec/i32.wast:972: 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:955: assert_invalid passed:
+out/test/spec/i32.wast:973: 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:956: assert_invalid passed:
+out/test/spec/i32.wast:974: 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:957: assert_invalid passed:
+out/test/spec/i32.wast:975: 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:958: assert_invalid passed:
+out/test/spec/i32.wast:976: assert_invalid passed:
   error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32]
   0000020: error: OnCompareExpr callback failed
-443/443 tests passed.
+457/457 tests passed.
 ;;; STDOUT ;;)