;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/wasm-3.0/return_call.wast
;;; ARGS*: --enable-tail-call
(;; STDOUT ;;;
called host spectest.print_i32_f32(i32:5, f32:91.000000) =>
out/test/spec/tail-call/return_call.wast:141: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.1.wasm:000001e: error: return signatures have inconsistent types: expected [i32], got []
  000001e: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:148: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.2.wasm:000001f: error: return signatures have inconsistent types: expected [i32], got [i64]
  000001f: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:156: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.3.wasm:000001e: error: type mismatch in return_call, expected [i32] but got []
  000001e: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:163: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.4.wasm:000001f: error: type mismatch in return_call, expected [f64, i32] but got []
  000001f: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:181: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.7.wasm:0000022: error: type mismatch in return_call, expected [i32, i32] but got [i32]
  0000022: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:188: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.8.wasm:0000022: error: type mismatch in return_call, expected [i32, i32] but got [i32]
  0000022: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:195: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.9.wasm:000002a: error: type mismatch in return_call, expected [i32, f64] but got [f64, i32]
  000002a: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:202: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.10.wasm:000002a: error: type mismatch in return_call, expected [f64, i32] but got [i32, f64]
  000002a: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:209: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.11.wasm:0000024: error: return signatures have inconsistent types: expected [i32], got [i32, i32]
  0000024: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:221: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.12.wasm:0000019: error: function variable out of range: 1 (max 1)
  0000019: error: OnReturnCallExpr callback failed
out/test/spec/tail-call/return_call.wast:225: assert_invalid passed:
  out/test/spec/tail-call/return_call/return_call.13.wasm:000001d: error: function variable out of range: 1012321300 (max 1)
  000001d: error: OnReturnCallExpr callback failed
47/47 tests passed.
;;; STDOUT ;;)
