Stream: git-wasmtime

Topic: wasmtime / PR #12743 [Cranelift] add arithmetic simplific...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 09:52):

myunbin opened PR #12743 from myunbin:arithmetic-add-030926 to bytecodealliance:main:

This PR adds several arithmetic/bitwise simplification rules to Cranelift:

  1. (x + y) + (-y) ==> x
  2. (x | y) - (x & y) ==> (x ^ y)
  3. (x + y) - (x & y) ==> (x | y)
  4. (x | y) - (x ^ y) ==> (x & y)
  5. (~x) + x ==> -1

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 09:52):

myunbin requested fitzgen for a review on PR #12743.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 09:52):

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

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 09:53):

myunbin edited PR #12743:

This PR adds several arithmetic/bitwise simplification rules to Cranelift:

  1. (x + y) + (-y) ==> x
  2. (x | y) - (x & y) ==> (x ^ y)
  3. (x + y) - (x & y) ==> (x | y)
  4. (x | y) - (x ^ y) ==> (x & y)
  5. (~x) + x ==> -1

cc @bongjunj

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 11:51):

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

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 11:51):

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

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 11:52):

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

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:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 15:55):

fitzgen submitted PR review:

Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 15:55):

fitzgen added PR #12743 [Cranelift] add arithmetic simplification rules to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 16:20):

fitzgen merged PR #12743.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2026 at 16:20):

fitzgen removed PR #12743 [Cranelift] add arithmetic simplification rules from the merge queue.

Last updated: Mar 23 2026 at 16:19 UTC