Stream: git-wasmtime

Topic: wasmtime / PR #12686 [Cranelift] (x & y) | ~(x ^ y) => ~(...

Wasmtime GitHub notifications bot (Feb 27 2026 at 06:45):

myunbin opened PR #12686 from myunbin:cranelift-bitops-bor-band-bnot-bxor 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) | ~(x ^ y) => ~(x ^ y)

This is my first contribution via pull request, so please let me know if anything should be adjusted (naming, conventions, tests, or anything else).

Wasmtime GitHub notifications bot (Feb 27 2026 at 06:45):

myunbin requested fitzgen for a review on PR #12686.

Wasmtime GitHub notifications bot (Feb 27 2026 at 06:45):

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

Wasmtime GitHub notifications bot (Feb 27 2026 at 07:56):

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

Wasmtime GitHub notifications bot (Feb 27 2026 at 07:56):

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

Wasmtime GitHub notifications bot (Feb 27 2026 at 07:56):

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

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 (Feb 27 2026 at 20:14):

fitzgen submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Feb 27 2026 at 20:14):

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

Wasmtime GitHub notifications bot (Feb 27 2026 at 20:55):

fitzgen merged PR #12686.

Wasmtime GitHub notifications bot (Feb 27 2026 at 20:55):

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

Last updated: Mar 23 2026 at 16:19 UTC