alexcrichton opened PR #11601 from alexcrichton:clarify-cranelift-exception-abit to bytecodealliance:main:
This is a result of today's Cranelift meeting with some of my questions around the ABI bits here and there. Notably:
Cranelift is audited and now documented to always consider the callee calling convention in
try_call, disregarding the caller calling convention.Wasmtime's exception throw now explicitly names the
tailccin the name to indicate that it's only compatible with the tail calling convention.The verifier test for exceptions is expanded with a few more cases here and there that I could think of.
Backends now assert that the size of the calling-convention list of payload types is the same as the size of the list of registers the backend places results into.
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
alexcrichton requested wasmtime-compiler-reviewers for a review on PR #11601.
alexcrichton requested abrown for a review on PR #11601.
alexcrichton requested dicej for a review on PR #11601.
alexcrichton requested wasmtime-core-reviewers for a review on PR #11601.
cfallin submitted PR review:
Thanks for helping to clarify the semantics here!
cfallin created PR review comment:
s/paylaod/payload/
alexcrichton updated PR #11601.
alexcrichton has enabled auto merge for PR #11601.
alexcrichton merged PR #11601.
Last updated: Dec 06 2025 at 06:05 UTC