Skip to content

Fix LastStores::update for stores without an alias region#13512

Merged
fitzgen merged 2 commits into
bytecodealliance:mainfrom
fitzgen:issue-135080-differential-fuzz-failure-after-alias-regions
May 29, 2026
Merged

Fix LastStores::update for stores without an alias region#13512
fitzgen merged 2 commits into
bytecodealliance:mainfrom
fitzgen:issue-135080-differential-fuzz-failure-after-alias-regions

Conversation

@fitzgen
Copy link
Copy Markdown
Member

@fitzgen fitzgen commented May 29, 2026

Stores without an alias region act like a fence: they clobber all regions. But we additionally need to update self.last_fence so that subsequent loads with regions don't get stale values forwarded past the regionless store.

Fixes #13508

Stores without an alias region act like a fence: they clobber all regions. But
we additionally need to update `self.last_fence` so that subsequent loads with
regions don't get stale values forwarded past the regionless store.

Fixes bytecodealliance#13508
@fitzgen fitzgen requested a review from a team as a code owner May 29, 2026 21:15
@fitzgen fitzgen requested review from cfallin and removed request for a team May 29, 2026 21:15
@cfallin cfallin enabled auto-merge May 29, 2026 21:18
@fitzgen fitzgen disabled auto-merge May 29, 2026 21:53
@fitzgen fitzgen enabled auto-merge May 29, 2026 21:53
@fitzgen fitzgen added this pull request to the merge queue May 29, 2026
Merged via the queue into bytecodealliance:main with commit f273e51 May 29, 2026
51 checks passed
@fitzgen fitzgen deleted the issue-135080-differential-fuzz-failure-after-alias-regions branch May 29, 2026 22:29
yagehu pushed a commit to yagehu/wasmtime-x that referenced this pull request Jun 1, 2026
…alliance#13512)

* Fix `LastStores::update` for stores without an alias region

Stores without an alias region act like a fence: they clobber all regions. But
we additionally need to update `self.last_fence` so that subsequent loads with
regions don't get stale values forwarded past the regionless store.

Fixes bytecodealliance#13508

* Don't run the filetest on architectures that might not have enough return registers for its function signature
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.

Fuzz differential failure after AliasRegion refactor

2 participants