myunbin opened PR #12731 from myunbin:bitops-dual-add to bytecodealliance:main:
This PR adds the dual of a previously implemented simplification rule(:
(x & y) | x -> x):
(x | y) & x -> x
myunbin requested alexcrichton for a review on PR #12731.
myunbin requested wasmtime-compiler-reviewers for a review on PR #12731.
github-actions[bot] added the label cranelift on PR #12731.
github-actions[bot] added the label isle on PR #12731.
github-actions[bot] commented on PR #12731:
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>
alexcrichton submitted PR review:
Thanks!
alexcrichton added PR #12731 [Cranelift] (x | y) & x -> x to the merge queue.
alexcrichton merged PR #12731.
alexcrichton removed PR #12731 [Cranelift] (x | y) & x -> x from the merge queue.
Last updated: Mar 23 2026 at 16:19 UTC