Stream: git-wasmtime

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

Wasmtime GitHub notifications bot (Sep 04 2026 at 07:34):

myunbin opened PR #14277 from myunbin:add-rules-260904 to bytecodealliance:main:

Add new opt rules:

• (x - y) == 0 ==> x == y
• (x - y) != 0 ==> x != y
• (x ^ y) == 0 ==> x == y
• (x ^ y) != 0 ==> x != y
• (x ^ y) == x ==> y == 0
• (x + y) != x ==> y != 0
• x != -y ==> x != y
• (x == y) ? 0 : (x - y) ==> x - y
• (c ? y : z) + (c ? z : y) ==> z + y
• (x != y) ? (x - y) : 0 ==> x - y

Apply all_zero helper for existing rules:

• x & 0 == 0 & x == x & not(x) == not(x) & x == 0.

Wasmtime GitHub notifications bot (Sep 04 2026 at 07:34):

myunbin requested cfallin for a review on PR #14277.

Wasmtime GitHub notifications bot (Sep 04 2026 at 07:34):

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

Wasmtime GitHub notifications bot (Sep 04 2026 at 07:36):

myunbin edited PR #14277:

Add new opt rules:

• (x - y) == 0 ==> x == y
• (x - y) != 0 ==> x != y
• (x ^ y) == 0 ==> x == y
• (x ^ y) != 0 ==> x != y
• (x ^ y) == x ==> y == 0
• (x + y) != x ==> y != 0
• x != -y ==> x != y
• (x == y) ? 0 : (x - y) ==> x - y
• (c ? y : z) + (c ? z : y) ==> z + y
• (x != y) ? (x - y) : 0 ==> x - y

Apply all_zero helper for existing rules:

• x & 0 == 0 & x == x & not(x) == not(x) & x == 0

Wasmtime GitHub notifications bot (Sep 04 2026 at 08:15):

myunbin updated PR #14277.

Wasmtime GitHub notifications bot (Sep 04 2026 at 08:16):

myunbin updated PR #14277.

Wasmtime GitHub notifications bot (Sep 04 2026 at 08:30):

myunbin updated PR #14277.

Wasmtime GitHub notifications bot (Sep 04 2026 at 09:45):

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

Wasmtime GitHub notifications bot (Sep 04 2026 at 09:45):

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

Wasmtime GitHub notifications bot (Sep 04 2026 at 09:46):

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

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 04 2026 at 17:03):

:thumbs_up: cfallin submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Sep 04 2026 at 17:03):

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

Wasmtime GitHub notifications bot (Sep 04 2026 at 17:28):

:check: cfallin merged PR #14277.

Wasmtime GitHub notifications bot (Sep 04 2026 at 17:28):

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

Last updated: Sep 20 2026 at 18:08 UTC