Stream: git-wasmtime

Topic: wasmtime / PR #12937 [Cranelift] add simplification rules

Wasmtime GitHub notifications bot (Apr 02 2026 at 02:21):

myunbin opened PR #12937 from myunbin:add-rules-040226 to bytecodealliance:main:

This PR adds several simplification rules:

bitops.isle

• (~x & y) ^ x --> x | y
• (x | y) & ~(x ^ y) --> x & y
• x | ~(x ^ y) --> x | ~y
• x | ((~x) ^ y) --> x | ~y
• x & ~(x ^ y) --> x & y
• x & ((~x) ^ y) --> x & y
• (x | y) | (x ^ y) --> (x | y)
• (x ^ y) & (x ^ (y ^ z)) --> (x ^ y) & ~z
• (~x & y) ^ z --> (x & y) ^ (z ^ y)
• ~x - ~y --> y - x
• (~x & y) | ~(x | y) --> ~x
• (~x | y) & ~(x & y) --> ~x
• (x & y) | ~(x | y) --> ~(x ^ y)
• (~x | y) ^ (x ^ y) --> x | ~y

Wasmtime GitHub notifications bot (Apr 02 2026 at 02:21):

myunbin requested fitzgen for a review on PR #12937.

Wasmtime GitHub notifications bot (Apr 02 2026 at 02:21):

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

Wasmtime GitHub notifications bot (Apr 02 2026 at 05:18):

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

Wasmtime GitHub notifications bot (Apr 02 2026 at 05:18):

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

Wasmtime GitHub notifications bot (Apr 02 2026 at 05:19):

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

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 (Apr 02 2026 at 19:05):

fitzgen submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Apr 02 2026 at 19:05):

fitzgen added PR #12937 [Cranelift] add simplification rules to the merge queue.

Wasmtime GitHub notifications bot (Apr 02 2026 at 19:30):

fitzgen merged PR #12937.

Wasmtime GitHub notifications bot (Apr 02 2026 at 19:30):

fitzgen removed PR #12937 [Cranelift] add simplification rules from the merge queue.

Last updated: Apr 12 2026 at 23:10 UTC