fitzgen opened PR #13525 from fitzgen:fine-grained-memory-global-table-alias-regions to bytecodealliance:main:
Defines an
AliasRegionKeythat gets turned into a Craneliftir::AliasRegionDataand yields a different region per defined memory/global/table vs GC heap vs vmctx structures, etc...Relatively small diff in reality, only a few hundred lines, but the disas test expectations all got updated.
fitzgen requested cfallin for a review on PR #13525.
fitzgen requested wasmtime-compiler-reviewers for a review on PR #13525.
fitzgen requested wasmtime-core-reviewers for a review on PR #13525.
:thumbs_up: cfallin submitted PR review:
Looks great! One question about new tests but otherwise LGTM.
:speech_balloon: cfallin created PR review comment:
Since we now have separate regions per memory, do we have a test that shows e.g. store-to-load forwarding working with interleaved stores to distinct memories in a multi-memory guest? (I skimmd over the list of tests touched here but it's huge; curious if you explicitly probed this)
:speech_balloon: cfallin edited PR review comment.
:memo: fitzgen submitted PR review.
:speech_balloon: fitzgen created PR review comment:
We have basically this at the Cranelift filetest level, but not at the Wasm level. I can add a new disas test.
:memo: fitzgen submitted PR review.
:speech_balloon: fitzgen created PR review comment:
Ah wait, yes, I already added such a test:
tests/disas/alias-region-memories.wat
fitzgen updated PR #13525.
fitzgen has enabled auto merge for PR #13525.
fitzgen updated PR #13525.
fitzgen updated PR #13525.
fitzgen added PR #13525 wasmtime: Use fine-grained alias regions for memory, globals, tables, vmctx, and GC heap to the merge queue.
:check: fitzgen merged PR #13525.
fitzgen removed PR #13525 wasmtime: Use fine-grained alias regions for memory, globals, tables, vmctx, and GC heap from the merge queue.
Last updated: Jul 29 2026 at 05:03 UTC