Stream: git-wasmtime

Topic: wasmtime / PR #13736 Cranelift: Add a `PostDominatorTree`

Wasmtime GitHub notifications bot (Jun 25 2026 at 23:08):

fitzgen opened PR #13736 from fitzgen:cranelift-post-dominators to bytecodealliance:main:

This is the dominator tree of the control-flow graph with its edges reversed. If a post-dominates b, then that means that every path from b to a function exit (return or trap) must go through a.

This required making our core dominator tree computation generic over a &impl DomTreeGraph so that we could reverse edges without actually reifying the reversed control-flow graph.

The PostDominatorTree will be used as part of eliminating dead stores in future commits.

<!--
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.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

Wasmtime GitHub notifications bot (Jun 25 2026 at 23:08):

fitzgen requested cfallin for a review on PR #13736.

Wasmtime GitHub notifications bot (Jun 25 2026 at 23:08):

fitzgen requested wasmtime-compiler-reviewers for a review on PR #13736.

Wasmtime GitHub notifications bot (Jun 25 2026 at 23:08):

fitzgen requested wasmtime-default-reviewers for a review on PR #13736.

Wasmtime GitHub notifications bot (Jun 25 2026 at 23:43):

:thumbs_up: cfallin submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Jun 26 2026 at 01:28):

github-actions[bot] added the label cranelift on PR #13736.

Wasmtime GitHub notifications bot (Jun 26 2026 at 14:04):

fitzgen updated PR #13736.

Wasmtime GitHub notifications bot (Jun 26 2026 at 14:05):

fitzgen has enabled auto merge for PR #13736.

Wasmtime GitHub notifications bot (Jun 26 2026 at 14:14):

fitzgen added PR #13736 Cranelift: Add a PostDominatorTree to the merge queue

Wasmtime GitHub notifications bot (Jun 26 2026 at 14:38):

:check: fitzgen merged PR #13736.

Wasmtime GitHub notifications bot (Jun 26 2026 at 14:38):

fitzgen removed PR #13736 Cranelift: Add a PostDominatorTree from the merge queue

Last updated: Jul 29 2026 at 05:03 UTC