Stream: git-wasmtime

Topic: wasmtime / PR #14296 Cranelift: add/modify mid-end opt rules

Wasmtime GitHub notifications bot (Sep 08 2026 at 05:55):

myunbin opened PR #14296 from myunbin:add-rules-260908 to bytecodealliance:main:

Add new opt rules:

• x /u (1 << y) ==> x >>u y
• (x ^ y) ^ (x ^ z) ==> y ^ z
• (-x) & 1 ==> x & 1
• (x >>s y) >s -1 ==> x >=s 0
• (x >>s y) >=s 0 ==> x >=s 0
• (x & y) & (x | z) ==> x & y
• (x & y) | (x | z) ==> x | z
• (x & y) | (x ^ y) ==> x | y
• ~((~x) - y) ==> x + y
• rotl(x, k) == rotl(y, k) ==> x == y
• ~((~x) >>s y) ==> x >>s y

Apply all_zero helper to existing zero-constant rules in:

{arithmetic, bitops, cprop, extends, icmp, selects, shifts}.isle

Wasmtime GitHub notifications bot (Sep 08 2026 at 05:55):

myunbin requested cfallin for a review on PR #14296.

Wasmtime GitHub notifications bot (Sep 08 2026 at 05:55):

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

Wasmtime GitHub notifications bot (Sep 08 2026 at 06:11):

myunbin updated PR #14296.

Wasmtime GitHub notifications bot (Sep 08 2026 at 06:12):

myunbin updated PR #14296.

Wasmtime GitHub notifications bot (Sep 08 2026 at 07:46):

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

Wasmtime GitHub notifications bot (Sep 08 2026 at 07:46):

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

Wasmtime GitHub notifications bot (Sep 08 2026 at 07:46):

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

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>

Wasmtime GitHub notifications bot (Sep 08 2026 at 18:14):

:thumbs_up: cfallin submitted PR review:

LGTM, thanks!

Wasmtime GitHub notifications bot (Sep 08 2026 at 18:14):

cfallin added PR #14296 Cranelift: add/modify mid-end opt rules to the merge queue.

Wasmtime GitHub notifications bot (Sep 08 2026 at 18:40):

:check: cfallin merged PR #14296.

Wasmtime GitHub notifications bot (Sep 08 2026 at 18:40):

cfallin removed PR #14296 Cranelift: add/modify mid-end opt rules from the merge queue.

Last updated: Sep 20 2026 at 18:08 UTC