Wasmtime GitHub notifications bot (Apr 07 2026 at 01:04): Wasmtime GitHub notifications bot (Apr 07 2026 at 01:04):myunbin opened PR #12978 from myunbin:add-rules-040726 to bytecodealliance:main:
This PR adds several simplification rules:
arithmetic.isle
min/max(x,x) --> xmax(max(x, y), x) --> max(x, y)min(min(x, y), x) --> min(x, y)min(max(x, y), y) --> y ; max(min(x, y), y) --> ymin(min(x, y), max(x, y)) --> min(x,y)max(min(x, y), max(x, y)) --> max(x, y)x > max(x, y) --> 0
Wasmtime GitHub notifications bot (Apr 07 2026 at 01:04):myunbin requested cfallin for a review on PR #12978.
Wasmtime GitHub notifications bot (Apr 07 2026 at 01:04):myunbin requested wasmtime-compiler-reviewers for a review on PR #12978.
Wasmtime GitHub notifications bot (Apr 07 2026 at 04:37):github-actions[bot] added the label cranelift on PR #12978.
Wasmtime GitHub notifications bot (Apr 07 2026 at 04:37):github-actions[bot] added the label isle on PR #12978.
Wasmtime GitHub notifications bot (Apr 07 2026 at 04:37):github-actions[bot] commented on PR #12978:
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 (Apr 08 2026 at 18:57):cfallin submitted PR review:
Thanks!
Wasmtime GitHub notifications bot (Apr 08 2026 at 18:57):cfallin added PR #12978 [Cranelift] add simplification rules to the merge queue.
Wasmtime GitHub notifications bot (Apr 08 2026 at 19:23):cfallin merged PR #12978.
Wasmtime GitHub notifications bot (Apr 08 2026 at 19:23):cfallin removed PR #12978 [Cranelift] add simplification rules from the merge queue.
Last updated: Apr 12 2026 at 23:10 UTC