Wasmtime GitHub notifications bot (Oct 09 2026 at 18:18): Wasmtime GitHub notifications bot (Oct 09 2026 at 18:18):fitzgen opened PR #14632 from fitzgen:issue-14573-dse-across-loop to bytecodealliance:main:
A loop between a maybe-dead store and its overwriter might never terminate, but
if the maybe-dead store traps, then we need to preserve that rather than rewrite
the program to infinite loop. Therefore, we observe every store inLastStores
on retreating edges.Fixes #14573
Wasmtime GitHub notifications bot (Oct 09 2026 at 18:18):fitzgen requested cfallin for a review on PR #14632.
Wasmtime GitHub notifications bot (Oct 09 2026 at 18:18):fitzgen requested wasmtime-core-reviewers for a review on PR #14632.
Wasmtime GitHub notifications bot (Oct 09 2026 at 18:18):fitzgen requested wasmtime-compiler-reviewers for a review on PR #14632.
Wasmtime GitHub notifications bot (Oct 09 2026 at 20:00)::thumbs_up: cfallin submitted PR review:
LGTM -- thanks for the careful thinking here!
Wasmtime GitHub notifications bot (Oct 09 2026 at 20:00):cfallin added PR #14632 Cranelift: Observe all stores on retreating edges in alias analysis to the merge queue.
Wasmtime GitHub notifications bot (Oct 09 2026 at 21:56):cfallin removed PR #14632 Cranelift: Observe all stores on retreating edges in alias analysis from the merge queue.
Wasmtime GitHub notifications bot (Oct 09 2026 at 21:56)::check: cfallin merged PR #14632.
Last updated: Oct 11 2026 at 04:10 UTC