Skip to content

Debug assert that all memory instructions have alias regions#13825

Merged
alexcrichton merged 1 commit into
bytecodealliance:mainfrom
fitzgen:assert-all-mem-insts-have-alias-regions
Jul 6, 2026
Merged

Debug assert that all memory instructions have alias regions#13825
alexcrichton merged 1 commit into
bytecodealliance:mainfrom
fitzgen:assert-all-mem-insts-have-alias-regions

Conversation

@fitzgen

@fitzgen fitzgen commented Jul 6, 2026

Copy link
Copy Markdown
Member

We should never emit a load/store instruction that isn't tagged with an alias region.

We should never emit a load/store instruction that isn't tagged with an alias
region.
@fitzgen fitzgen requested a review from a team as a code owner July 6, 2026 15:43
@fitzgen fitzgen requested review from alexcrichton and removed request for a team July 6, 2026 15:43
@alexcrichton alexcrichton added this pull request to the merge queue Jul 6, 2026
Merged via the queue into bytecodealliance:main with commit 0cbaf6b Jul 6, 2026
53 checks passed
@fitzgen fitzgen deleted the assert-all-mem-insts-have-alias-regions branch July 6, 2026 17:54
alexcrichton added a commit that referenced this pull request Jul 6, 2026
* Add an alias region for data segments (#13811)

This also bumped the AliasRegionKey's kind bits up to 6, which triggered a mass
renumbering in the disas tests.

* Debug assert that all memory instructions have alias regions (#13825)

We should never emit a load/store instruction that isn't tagged with an alias
region.

* Fix alias region used when initializing passive segments (#13823)

This commit fixes a minor mistake to use the right alias region when
initializing a passive element segment during startup. This requires
using a slightly different helper than was previously done for GC
references because the element segment lives in a different region than
the default GC heap.

---------

Co-authored-by: Alex Crichton <alex@alexcrichton.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants