;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/br_if.wast
(;; STDOUT ;;;
out/test/spec/br_if.wast:481: assert_invalid passed:
  error: type mismatch in i32.ctz, expected [i32] but got []
  000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:485: assert_invalid passed:
  error: type mismatch in i64.ctz, expected [i64] but got []
  000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:489: assert_invalid passed:
  error: type mismatch in f32.neg, expected [f32] but got []
  000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:493: assert_invalid passed:
  error: type mismatch in f64.neg, expected [f64] but got []
  000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:498: assert_invalid passed:
  error: type mismatch in i32.ctz, expected [i32] but got []
  000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:502: 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:506: assert_invalid passed:
  error: type mismatch in br_if, expected [i32] but got [f32]
  0000020: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:510: 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:515: assert_invalid passed:
  error: type mismatch in br_if, expected [i32] but got []
  000001e: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:521: assert_invalid passed:
  error: type mismatch in br_if, expected [i32] but got []
  000001e: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:527: assert_invalid passed:
  error: type mismatch in block, expected [] but got [i32]
  0000020: error: OnEndExpr callback failed
out/test/spec/br_if.wast:533: assert_invalid passed:
  error: type mismatch in block, expected [] but got [i32]
  0000020: error: OnEndExpr callback failed
out/test/spec/br_if.wast:540: assert_invalid passed:
  error: type mismatch in br_if, expected [i32] but got []
  000001f: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:546: assert_invalid passed:
  error: type mismatch in br_if, expected [i32] but got []
  000001f: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:552: 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:560: 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:569: assert_invalid passed:
  error: type mismatch in br_if, expected [i32] but got []
  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: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: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: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: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:658: assert_invalid passed:
  error: invalid depth: 5 (max 2)
  000001f: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:662: assert_invalid passed:
  error: invalid depth: 268435457 (max 0)
  000001f: error: OnBrIfExpr callback failed
117/117 tests passed.
;;; STDOUT ;;)