;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/select.wast
(;; STDOUT ;;;
out/test/spec/select.wast:217: assert_trap passed: unreachable executed
out/test/spec/select.wast:218: assert_trap passed: unreachable executed
out/test/spec/select.wast:219: assert_trap passed: unreachable executed
out/test/spec/select.wast:220: assert_trap passed: unreachable executed
out/test/spec/select.wast:257: assert_trap passed: undefined table index
out/test/spec/select.wast:258: assert_trap passed: undefined table index
out/test/spec/select.wast:299: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:306: assert_invalid passed:
  error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
  000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:310: assert_invalid passed:
  error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
  0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:314: assert_invalid passed:
  error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, i32]
  0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:320: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000018: error: OnSelectExpr callback failed
out/test/spec/select.wast:328: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001a: error: OnSelectExpr callback failed
out/test/spec/select.wast:336: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:344: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:353: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:362: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:371: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:380: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:389: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:398: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:407: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:416: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:428: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, i64]
  000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:432: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f32]
  0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:436: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f64]
  0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:443: assert_invalid passed:
  error: type mismatch in implicit return, expected [i32] but got [i64]
  0000020: error: EndFunctionBody callback failed
out/test/spec/select.wast:451: assert_invalid passed:
  error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
  000001f: error: OnSelectExpr callback failed
out/test/spec/select.wast:456: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i64, i32, i32]
  000001f: error: OnSelectExpr callback failed
out/test/spec/select.wast:462: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, i64]
  000001f: error: OnSelectExpr callback failed
out/test/spec/select.wast:467: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i64]
  000001d: error: OnSelectExpr callback failed
out/test/spec/select.wast:472: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i64]
  000001b: error: OnSelectExpr callback failed
out/test/spec/select.wast:478: assert_invalid passed:
  error: type mismatch in implicit return, expected [i32] but got [i64]
  000001f: error: EndFunctionBody callback failed
out/test/spec/select.wast:484: assert_invalid passed:
  error: type mismatch in function, expected [] but got [any]
  000001a: error: EndFunctionBody callback failed
121/121 tests passed.
;;; STDOUT ;;)
