Wasmtime GitHub notifications bot (Mar 06 2026 at 05:25): Wasmtime GitHub notifications bot (Mar 06 2026 at 05:25):myunbin requested wasmtime-compiler-reviewers for a review on PR #12738.
Wasmtime GitHub notifications bot (Mar 06 2026 at 05:25):myunbin requested alexcrichton for a review on PR #12738.
Wasmtime GitHub notifications bot (Mar 06 2026 at 05:25):myunbin opened PR #12738 from myunbin:bitops-add to bytecodealliance:main:
This PR consolidates the changes from the following earlier PRs into a single branch:
- #12730
- #12732
- #12734
Those PRs developed overlap and conflicts as more bitops rules were added to the same file. To make review and merging easier, this PR supersedes them and contains the combined, up-to-date version of the changes.
Supersedes #12730, #12732, #12734.
#12730 adds the following rule:
(x | z) & (y | z) => (x & y) | zand its dual:
(x & z) | (y & z) => (x | y) & z#12732 adds the following rule:
(x | y) ^ (x | ~y) => ~x#12734 adds the following rule:
(~x) & (~y) -> ~(x | y)and its dual:
(~x) | (~y) -> ~(x & y)Apologies for the inconvenience.
cc @bongjunj
Wasmtime GitHub notifications bot (Mar 06 2026 at 08:55):github-actions[bot] added the label cranelift on PR #12738.
Wasmtime GitHub notifications bot (Mar 06 2026 at 08:55):github-actions[bot] added the label isle on PR #12738.
Wasmtime GitHub notifications bot (Mar 06 2026 at 08:56):github-actions[bot] commented on PR #12738:
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 09 2026 at 14:32):alexcrichton submitted PR review:
Thanks for this!
Wasmtime GitHub notifications bot (Mar 09 2026 at 14:32):alexcrichton added PR #12738 Cranelift: add bitops simplification rules to the merge queue.
Wasmtime GitHub notifications bot (Mar 09 2026 at 14:55):alexcrichton merged PR #12738.
Wasmtime GitHub notifications bot (Mar 09 2026 at 14:55):alexcrichton removed PR #12738 Cranelift: add bitops simplification rules from the merge queue.
Last updated: Mar 23 2026 at 16:19 UTC