Stream: git-wasmtime

Topic: wasmtime / PR #12715 [Cranelift] (x | y) + (-y) => x & (~y)

Wasmtime GitHub notifications bot (Mar 04 2026 at 07:38):

myunbin opened PR #12715 from myunbin:fix/cranelift-bitops-fold to bytecodealliance:main:

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

This PR adds a Cranelift bitops simplification rule:

(x | y) + (-y) => x & (~y)

Wasmtime GitHub notifications bot (Mar 04 2026 at 07:38):

myunbin requested fitzgen for a review on PR #12715.

Wasmtime GitHub notifications bot (Mar 04 2026 at 07:38):

myunbin requested wasmtime-compiler-reviewers for a review on PR #12715.

Wasmtime GitHub notifications bot (Mar 04 2026 at 10:56):

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

Wasmtime GitHub notifications bot (Mar 04 2026 at 10:56):

github-actions[bot] added the label isle on PR #12715.

Wasmtime GitHub notifications bot (Mar 04 2026 at 10:57):

github-actions[bot] commented on PR #12715:

Subscribe to Label Action

cc @cfallin, @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "isle"

Thus the following users have been cc'd because of the following labels:

• cfallin: isle
• fitzgen: isle

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

Wasmtime GitHub notifications bot (Mar 04 2026 at 18:14):

fitzgen submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Mar 04 2026 at 18:15):

fitzgen added PR #12715 [Cranelift] (x | y) + (-y) => x & (~y) to the merge queue

Wasmtime GitHub notifications bot (Mar 04 2026 at 18:38):

fitzgen removed PR #12715 [Cranelift] (x | y) + (-y) => x & (~y) from the merge queue

Wasmtime GitHub notifications bot (Mar 04 2026 at 18:38):

fitzgen merged PR #12715.

Last updated: Mar 23 2026 at 16:19 UTC