;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/sign-extension-ops/i32.wast
;;; ARGS*: --enable-sign-extension
(;; STDOUT ;;;
out/test/spec/sign-extension-ops/i32.wast:64: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:65: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:66: assert_trap passed: integer overflow
out/test/spec/sign-extension-ops/i32.wast:67: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:85: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:86: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:102: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:103: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:123: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:124: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:444: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:452: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:461: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:470: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001e: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:479: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000021: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:488: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:497: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:506: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:515: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:523: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:531: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001e: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:540: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000035: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:556: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001a: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:565: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001a: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:574: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000020: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:583: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:592: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:601: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/i32.wast:663: assert_invalid passed:
  error: type mismatch in drop, expected [any] but got []
  0000021: error: OnDropExpr callback failed
out/test/spec/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/i32.wast:855: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001a: error: OnBinaryExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:864: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001c: error: OnBinaryExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:873: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000020: error: OnBinaryExpr callback failed
out/test/spec/sign-extension-ops/i32.wast:882: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/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/sign-extension-ops/i32.wast:976: assert_invalid passed:
  error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
457/457 tests passed.
;;; STDOUT ;;)