Stream: git-wasmtime

Topic: wasmtime / PR #14268 Cranelift comparison and select rules

Wasmtime GitHub notifications bot (Sep 02 2026 at 17:48):

yagehu opened PR #14268 from yagehu:opt to bytecodealliance:main:

This commit adds the following integer comparison involving min/max and select rules that lift bitwise and arithmetic not.

smin(x, y) > smax(x, y) --> false
umin(x, y) > umax(x, y) --> false
smin(x, y) <= smax(x, y) --> true
umin(x, y) <= umax(x, y) --> true
smin(x, y) == smax(x, y) --> x == y
smin(x, y) != smax(x, y) --> x != y
select(c, ~x, ~y) --> ~select(c, x, y)
select(c, -x, -y) --> -select(c, x, y)

Wasmtime GitHub notifications bot (Sep 02 2026 at 17:48):

yagehu requested cfallin for a review on PR #14268.

Wasmtime GitHub notifications bot (Sep 02 2026 at 17:48):

yagehu requested wasmtime-compiler-reviewers for a review on PR #14268.

Wasmtime GitHub notifications bot (Sep 02 2026 at 20:44):

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

Wasmtime GitHub notifications bot (Sep 02 2026 at 20:44):

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

Wasmtime GitHub notifications bot (Sep 02 2026 at 20:45):

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

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 03 2026 at 15:29):

:thumbs_up: cfallin submitted PR review:

These sound right, and more importantly verifier passes them and adds new queries, so LGTM!

Wasmtime GitHub notifications bot (Sep 03 2026 at 15:29):

cfallin added PR #14268 Cranelift comparison and select rules to the merge queue.

Wasmtime GitHub notifications bot (Sep 03 2026 at 15:58):

:check: cfallin merged PR #14268.

Wasmtime GitHub notifications bot (Sep 03 2026 at 15:58):

cfallin removed PR #14268 Cranelift comparison and select rules from the merge queue.

Last updated: Sep 20 2026 at 18:08 UTC