Wasmtime GitHub notifications bot (Oct 01 2026 at 08:17): Wasmtime GitHub notifications bot (Oct 01 2026 at 08:17):myunbin opened PR #14464 from myunbin:add-rules-261001 to bytecodealliance:main:
Add new mid-end opt rules:
x - (x & M) ==> x & ~M(x - (y & M)) + y ==> (y & ~M) + x(x + y) - (x & M) ==> (x & ~M) + y((1 << k) + 1) * y ==> (y << k) + y(x + C1) - (y + C2) ==> (C1 - C2) + (x - y)and related add/sub formsuextend(x) == 0 ==> x == 0uextend(x) == uextend(y) ==> x == y(x == y) ^ 1 ==> x != yx >u (x - 1) ==> x != 0, and its dual(<u)(c ? x : y) + (c ? p : q) ==> c ? (x + p) : (y + q)(c ? C1 : C2) & M ==> c ? (C1 & M) : (C2 & M)(x == 0) ? y : (x + y) ==> y + x, and its dual (!=)(c ? C1 : C2) << K ==> c ? (C1 << K) : (C2 << K)Thanks!
Wasmtime GitHub notifications bot (Oct 01 2026 at 08:17):myunbin requested cfallin for a review on PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 08:17):myunbin requested wasmtime-compiler-reviewers for a review on PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 08:35):myunbin requested wasmtime-core-reviewers for a review on PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 08:35):myunbin updated PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 08:36):myunbin updated PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 08:46):myunbin updated PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 08:47):myunbin updated PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 09:50):github-actions[bot] added the label cranelift on PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 09:50):github-actions[bot] added the label isle on PR #14464.
Wasmtime GitHub notifications bot (Oct 01 2026 at 09:50):github-actions[bot] commented on PR #14464:
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 (Oct 01 2026 at 16:37)::thumbs_up: cfallin submitted PR review:
These all look fine overall, thanks! Just one nit below.
Wasmtime GitHub notifications bot (Oct 01 2026 at 16:37)::speech_balloon: cfallin created PR review comment:
Let's put the constant on the right of the
+in the RHS of the rewrite (so(x - y) + (C1 - C2)) -- this is the direction in which we canonicalize constants in general and should play better with other const-folding rules.
Wasmtime GitHub notifications bot (Oct 07 2026 at 02:26):myunbin updated PR #14464.
Wasmtime GitHub notifications bot (Oct 07 2026 at 02:28)::memo: myunbin submitted PR review.
Wasmtime GitHub notifications bot (Oct 07 2026 at 02:28)::speech_balloon: myunbin created PR review comment:
@cfallin sorry for the late response. I've updated this and relevant rules.
Wasmtime GitHub notifications bot (Oct 09 2026 at 18:33)::thumbs_up: cfallin submitted PR review.
Wasmtime GitHub notifications bot (Oct 09 2026 at 18:33):cfallin added PR #14464 Cranelift: add mid-end opt rules to the merge queue.
Wasmtime GitHub notifications bot (Oct 09 2026 at 18:54):github-merge-queue[bot] removed PR #14464 Cranelift: add mid-end opt rules from the merge queue.
Wasmtime GitHub notifications bot (Oct 09 2026 at 18:58):alexcrichton added PR #14464 Cranelift: add mid-end opt rules to the merge queue.
Wasmtime GitHub notifications bot (Oct 09 2026 at 19:20)::check: alexcrichton merged PR #14464.
Wasmtime GitHub notifications bot (Oct 09 2026 at 19:20):alexcrichton removed PR #14464 Cranelift: add mid-end opt rules from the merge queue.
Last updated: Oct 11 2026 at 04:10 UTC