Stream: git-wasmtime

Topic: wasmtime / PR #11527 [Cranelift] `(x | y) ^ (x & y) --> (...

Wasmtime GitHub notifications bot (Aug 25 2025 at 11:10):

bongjunj opened PR #11527 from bongjunj:xor-or-and-to-xor 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 adds an optimization (x | y) ^ (x & y) --> (x ^ y).
Same proof with crocus is used to verify the correctness. (See my previous PR https://github.com/bytecodealliance/wasmtime/pull/11359)

Wasmtime GitHub notifications bot (Aug 25 2025 at 11:10):

bongjunj requested fitzgen for a review on PR #11527.

Wasmtime GitHub notifications bot (Aug 25 2025 at 11:10):

bongjunj requested wasmtime-compiler-reviewers for a review on PR #11527.

Wasmtime GitHub notifications bot (Aug 25 2025 at 12:59):

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

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 (Aug 25 2025 at 18:18):

fitzgen submitted PR review:

Same minor nitpick as https://github.com/bytecodealliance/wasmtime/pull/11521#pullrequestreview-3152551863: will merge once this new rule has a runtest.

Thanks!!

Wasmtime GitHub notifications bot (Aug 27 2025 at 00:56):

bongjunj updated PR #11527.

Wasmtime GitHub notifications bot (Aug 27 2025 at 00:57):

bongjunj commented on PR #11527:

New runtests are added. Thanks!

Wasmtime GitHub notifications bot (Aug 27 2025 at 15:20):

fitzgen submitted PR review:

Thank you!

Wasmtime GitHub notifications bot (Aug 27 2025 at 16:02):

fitzgen merged PR #11527.

Last updated: Dec 06 2025 at 06:05 UTC