yagehu opened PR #14233 from yagehu:opt to bytecodealliance:main:
This commit adds several bitops mid-end optimization rules and filetests that target them. These filetests fail to optimize on main without these new rules.
~x ^ ~y --> x ^ y ~x & (x ^ y) --> ~x & y x & (x ^ y) --> x & ~y ~(~x ^ y) --> x ^ y x ^ (x & y) --> x & ~y (x | y) ^ y --> x & ~y
yagehu requested cfallin for a review on PR #14233.
yagehu requested wasmtime-compiler-reviewers for a review on PR #14233.
github-actions[bot] added the label cranelift on PR #14233.
github-actions[bot] added the label isle on PR #14233.
github-actions[bot] commented on PR #14233:
Subscribe to Label Action
cc @avanhatt, @cfallin, @fitzgen, @mmcloughlin
<details>
This issue or pull request has been labeled: "cranelift", "isle"Thus the following users have been cc'd because of the following labels:
- avanhatt: isle
- cfallin: isle
- fitzgen: isle
- mmcloughlin: isle
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Last updated: Aug 30 2026 at 09:07 UTC