cfallin requested wasmtime-compiler-s390x-reviewers for a review on PR #13392.
cfallin opened PR #13392 from cfallin:machbuffer-refactor to bytecodealliance:main:
Fixes #12968.
It turns out that the actual fix is pretty simple if we permit islands to occur in the middle of basic blocks, which is I think also actually necessary in some corner cases: making that check, and reasoning about the maximal new contribution of island size from each instruction, lets us avoid having to cleverly sort island contents and dispense with deadlines in a just-in-time order. I am happy that this is both simpler to reason about and verify at a glance, and also more robust.
<!--
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
-->
cfallin requested alexcrichton for a review on PR #13392.
cfallin requested wasmtime-compiler-reviewers for a review on PR #13392.
:thumbs_up: alexcrichton submitted PR review.
github-actions[bot] added the label cranelift:area:x64 on PR #13392.
github-actions[bot] added the label cranelift:area:aarch64 on PR #13392.
github-actions[bot] added the label cranelift on PR #13392.
github-actions[bot] added the label cranelift:area:machinst on PR #13392.
cfallin updated PR #13392.
cfallin has enabled auto merge for PR #13392.
cfallin added PR #13392 Cranelift: MachBuffer: resolve deadline issues with very large islands. to the merge queue
:check: cfallin merged PR #13392.
cfallin removed PR #13392 Cranelift: MachBuffer: resolve deadline issues with very large islands. from the merge queue
Last updated: Jun 01 2026 at 09:49 UTC