;;; 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: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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/i32.wast:434: 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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:452: 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:
  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.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:479: 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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:497: 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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/i32.wast:513: 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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000035: error: OnConvertExpr callback failed
out/test/spec/i32.wast:538: 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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001a: error: OnConvertExpr callback failed
out/test/spec/i32.wast:556: 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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/i32.wast:574: 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:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/i32.wast:593: 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:
  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:
  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:
  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:
  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:
  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:
  error: type mismatch in drop, expected [any] but got []
  0000021: error: OnDropExpr callback failed
out/test/spec/i32.wast:654: 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:
  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:
  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
out/test/spec/i32.wast:710: 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:719: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:728: 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:737: 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:
  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:
  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:
  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:
  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:
  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:
  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:
  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
out/test/spec/i32.wast:846: 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:855: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000020: 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
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
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
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
out/test/spec/i32.wast:900: 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:909: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001d: error: OnBinaryExpr callback failed
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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  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:
  error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
443/443 tests passed.
;;; STDOUT ;;)