Stream: git-wasmtime

Topic: wasmtime / PR #14143 Cranelift: add simplification rules

Wasmtime GitHub notifications bot (Aug 15 2026 at 19:28):

myunbin opened PR #14143 from myunbin:add-rules-260815 to bytecodealliance:main:

Add simplification rules:

• -C --> (compile time) -C
• -(X * C) = X * (-C)
• x >=_u (x & y), and (x & y) <=_u x --> true
• (x | y) >=_u x, and x <=_u (x | y) --> true
• x >=_u (x - y) --> x >=_u y
• x >=_u (x >>_u y)

Wasmtime GitHub notifications bot (Aug 15 2026 at 19:28):

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

Wasmtime GitHub notifications bot (Aug 15 2026 at 19:28):

myunbin requested fitzgen for a review on PR #14143.

Wasmtime GitHub notifications bot (Aug 15 2026 at 19:28):

myunbin requested wasmtime-core-reviewers for a review on PR #14143.

Wasmtime GitHub notifications bot (Aug 15 2026 at 20:48):

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

Wasmtime GitHub notifications bot (Aug 15 2026 at 20:48):

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

Wasmtime GitHub notifications bot (Aug 15 2026 at 20:49):

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

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>

Wasmtime GitHub notifications bot (Aug 18 2026 at 00:08):

myunbin edited PR #14143:

Add simplification rules:

• -C --> (compile time) -C
• -(X * C) = X * (-C)
• x >=_u (x & y), and (x & y) <=_u x --> true
• (x | y) >=_u x, and x <=_u (x | y) --> true
• x >=_u (x - y) --> x >=_u y
• x >=_u (x >>_u y) --> true

Wasmtime GitHub notifications bot (Aug 24 2026 at 21:05):

:thumbs_up: fitzgen submitted PR review:

Thanks! And sorry for the delay

Wasmtime GitHub notifications bot (Aug 24 2026 at 21:06):

fitzgen added PR #14143 Cranelift: add simplification rules to the merge queue.

Wasmtime GitHub notifications bot (Aug 24 2026 at 21:32):

:check: fitzgen merged PR #14143.

Wasmtime GitHub notifications bot (Aug 24 2026 at 21:32):

fitzgen removed PR #14143 Cranelift: add simplification rules from the merge queue.

Last updated: Aug 30 2026 at 09:07 UTC