;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/if.wast
(;; STDOUT ;;;
out/test/spec/if.wast:440: assert_trap passed: undefined table index
out/test/spec/if.wast:499: assert_invalid passed:
  error: type mismatch in implicit return, expected [i32] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:503: assert_invalid passed:
  error: type mismatch in implicit return, expected [i64] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:507: assert_invalid passed:
  error: type mismatch in implicit return, expected [f32] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:511: assert_invalid passed:
  error: type mismatch in implicit return, expected [f64] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:516: assert_invalid passed:
  error: type mismatch in implicit return, expected [i32] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:520: assert_invalid passed:
  error: type mismatch in implicit return, expected [i64] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:524: assert_invalid passed:
  error: type mismatch in implicit return, expected [f32] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:528: assert_invalid passed:
  error: type mismatch in implicit return, expected [f64] but got []
  000001e: error: EndFunctionBody callback failed
out/test/spec/if.wast:533: assert_invalid passed:
  error: type mismatch in if true branch, expected [] but got [i32]
  000001e: error: OnEndExpr callback failed
out/test/spec/if.wast:539: assert_invalid passed:
  error: type mismatch in if true branch, expected [] but got [i32]
  000001e: error: OnEndExpr callback failed
out/test/spec/if.wast:545: assert_invalid passed:
  error: type mismatch in if false branch, expected [] but got [i32]
  000001f: error: OnEndExpr callback failed
out/test/spec/if.wast:551: assert_invalid passed:
  error: type mismatch in if true branch, expected [] but got [i32]
  000001e: error: OnElseExpr callback failed
out/test/spec/if.wast:558: assert_invalid passed:
  error: type mismatch in if true branch, expected [i32] but got []
  000001d: error: OnElseExpr callback failed
out/test/spec/if.wast:564: assert_invalid passed:
  error: type mismatch in if false branch, expected [i32] but got []
  000001f: error: OnEndExpr callback failed
out/test/spec/if.wast:570: assert_invalid passed:
  error: type mismatch in if true branch, expected [i32] but got []
  000001d: error: OnEndExpr callback failed
out/test/spec/if.wast:576: assert_invalid passed:
  error: type mismatch in if false branch, expected [i32] but got []
  000001f: error: OnEndExpr callback failed
out/test/spec/if.wast:583: assert_invalid passed:
  error: type mismatch in if true branch, expected [i32] but got []
  000001e: error: OnElseExpr callback failed
out/test/spec/if.wast:589: assert_invalid passed:
  error: type mismatch in if false branch, expected [i32] but got []
  0000021: error: OnEndExpr callback failed
out/test/spec/if.wast:595: assert_invalid passed:
  error: type mismatch in if true branch, expected [i32] but got []
  000001e: error: OnElseExpr callback failed
out/test/spec/if.wast:602: assert_invalid passed:
  error: type mismatch in if true branch, expected [i32] but got [i64]
  000001f: error: OnElseExpr callback failed
out/test/spec/if.wast:608: assert_invalid passed:
  error: type mismatch in if false branch, expected [i32] but got [i64]
  0000022: error: OnEndExpr callback failed
out/test/spec/if.wast:614: assert_invalid passed:
  error: type mismatch in if true branch, expected [i32] but got [i64]
  000001f: error: OnElseExpr callback failed
out/test/spec/if.wast:620: assert_invalid passed:
  error: type mismatch in if true branch, expected [i32] but got [i64]
  000001f: error: OnElseExpr callback failed
out/test/spec/if.wast:627: assert_invalid passed:
  error: type mismatch in implicit return, expected [i32] but got [i64]
  0000025: error: EndFunctionBody callback failed
out/test/spec/if.wast:637: assert_invalid passed:
  error: type mismatch in implicit return, expected [i32] but got [i64]
  0000025: error: EndFunctionBody callback failed
out/test/spec/if.wast:647: assert_invalid passed:
  error: type mismatch in implicit return, expected [i32] but got [i64]
  0000027: error: EndFunctionBody callback failed
out/test/spec/if.wast:658: assert_invalid passed:
  error: type mismatch in br, expected [i32] but got []
  000001e: error: OnBrExpr callback failed
out/test/spec/if.wast:664: assert_invalid passed:
  error: type mismatch in br, expected [i32] but got []
  0000021: error: OnBrExpr callback failed
out/test/spec/if.wast:670: assert_invalid passed:
  error: type mismatch in br, expected [i32] but got []
  000001e: error: OnBrExpr callback failed
out/test/spec/if.wast:679: assert_invalid passed:
  error: type mismatch in br, expected [i32] but got []
  0000021: error: OnBrExpr callback failed
out/test/spec/if.wast:688: assert_invalid passed:
  error: type mismatch in br, expected [i32] but got []
  000001f: error: OnBrExpr callback failed
out/test/spec/if.wast:697: assert_invalid passed:
  error: type mismatch in br, expected [i32] but got []
  0000022: error: OnBrExpr callback failed
out/test/spec/if.wast:707: assert_invalid passed:
  error: type mismatch in br, expected [i32] but got [i64]
  0000020: error: OnBrExpr callback failed
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: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:771: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001d: error: OnIfExpr callback failed
out/test/spec/if.wast:780: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001d: error: OnIfExpr callback failed
out/test/spec/if.wast:789: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001d: error: OnIfExpr callback failed
out/test/spec/if.wast:798: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  0000019: error: OnIfExpr callback failed
out/test/spec/if.wast:806: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  0000019: error: OnIfExpr callback failed
out/test/spec/if.wast:814: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001f: error: OnIfExpr callback failed
out/test/spec/if.wast:823: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  0000036: error: OnIfExpr callback failed
out/test/spec/if.wast:839: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001b: error: OnIfExpr callback failed
out/test/spec/if.wast:848: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001b: error: OnIfExpr callback failed
out/test/spec/if.wast:857: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  0000021: error: OnIfExpr callback failed
out/test/spec/if.wast:866: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001e: error: OnIfExpr callback failed
out/test/spec/if.wast:875: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001e: error: OnIfExpr callback failed
out/test/spec/if.wast:884: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got []
  000001e: error: OnIfExpr callback failed
out/test/spec/if.wast:895: assert_malformed passed:
  out/test/spec/if/if.53.wat:1:26: error: unexpected label "$l"
  (func i32.const 0 if end $l)
                           ^^
out/test/spec/if.wast:899: assert_malformed passed:
  out/test/spec/if/if.54.wat:1:29: error: mismatching label "$a" != "$l"
  (func i32.const 0 if $a end $l)
                              ^^
out/test/spec/if.wast:903: assert_malformed passed:
  out/test/spec/if/if.55.wat:1:27: error: unexpected label "$l"
  (func i32.const 0 if else $l end)
                            ^^
out/test/spec/if.wast:907: assert_malformed passed:
  out/test/spec/if/if.56.wat:1:30: error: mismatching label "$a" != "$l"
  (func i32.const 0 if $a else $l end)
                               ^^
out/test/spec/if.wast:911: assert_malformed passed:
  out/test/spec/if/if.57.wat:1:31: error: unexpected label "$l"
  (func i32.const 0 if else end $l)
                                ^^
out/test/spec/if.wast:915: assert_malformed passed:
  out/test/spec/if/if.58.wat:1:27: error: unexpected label "$l"
  (func i32.const 0 if else $l end $l)
                            ^^
  out/test/spec/if/if.58.wat:1:34: error: unexpected label "$l"
  (func i32.const 0 if else $l end $l)
                                   ^^
out/test/spec/if.wast:919: assert_malformed passed:
  out/test/spec/if/if.59.wat:1:27: error: unexpected label "$l1"
  (func i32.const 0 if else $l1 end $l2)
                            ^^^
  out/test/spec/if/if.59.wat:1:35: error: unexpected label "$l2"
  (func i32.const 0 if else $l1 end $l2)
                                    ^^^
out/test/spec/if.wast:923: assert_malformed passed:
  out/test/spec/if/if.60.wat:1:34: error: mismatching label "$a" != "$l"
  (func i32.const 0 if $a else end $l)
                                   ^^
out/test/spec/if.wast:927: assert_malformed passed:
  out/test/spec/if/if.61.wat:1:37: error: mismatching label "$a" != "$l"
  (func i32.const 0 if $a else $a end $l)
                                      ^^
out/test/spec/if.wast:931: assert_malformed passed:
  out/test/spec/if/if.62.wat:1:30: error: mismatching label "$a" != "$l"
  (func i32.const 0 if $a else $l end $l)
                               ^^
  out/test/spec/if/if.62.wat:1:37: error: mismatching label "$a" != "$l"
  (func i32.const 0 if $a else $l end $l)
                                      ^^
150/150 tests passed.
;;; STDOUT ;;)