Wasmtime GitHub notifications bot (Jul 01 2026 at 08:34): Wasmtime GitHub notifications bot (Jul 01 2026 at 08:34):myunbin opened PR #13787 from myunbin:remove-redundants to bytecodealliance:main:
This PR removes a redundant simplification rule that is already covered by constant canonicalization in
cprop.isle.The rule
(2^n) * x --> x << nis redundant because it can be derived by first canonicalizing the constant operand:(2^n) * x --> x * (2^n) --> x << nSo only
x * (2^n) --> (x << n)rule is needed.
Wasmtime GitHub notifications bot (Jul 01 2026 at 08:34):myunbin requested alexcrichton for a review on PR #13787.
Wasmtime GitHub notifications bot (Jul 01 2026 at 08:34):myunbin requested wasmtime-compiler-reviewers for a review on PR #13787.
Wasmtime GitHub notifications bot (Jul 01 2026 at 08:34):myunbin requested wasmtime-core-reviewers for a review on PR #13787.
Wasmtime GitHub notifications bot (Jul 01 2026 at 11:42):github-actions[bot] added the label cranelift on PR #13787.
Wasmtime GitHub notifications bot (Jul 01 2026 at 11:42):github-actions[bot] added the label isle on PR #13787.
Wasmtime GitHub notifications bot (Jul 01 2026 at 11:42):github-actions[bot] commented on PR #13787:
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 (Jul 01 2026 at 14:57)::thumbs_up: alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Jul 01 2026 at 14:57):alexcrichton added PR #13787 [Cranelift] remove redundant simplifictaion rule to the merge queue.
Wasmtime GitHub notifications bot (Jul 01 2026 at 15:23):github-merge-queue[bot] removed PR #13787 [Cranelift] remove redundant simplifictaion rule from the merge queue.
Wasmtime GitHub notifications bot (Jul 01 2026 at 15:29):alexcrichton added PR #13787 [Cranelift] remove redundant simplifictaion rule to the merge queue.
Wasmtime GitHub notifications bot (Jul 01 2026 at 15:47):github-merge-queue[bot] removed PR #13787 [Cranelift] remove redundant simplifictaion rule from the merge queue.
Wasmtime GitHub notifications bot (Jul 01 2026 at 15:59):alexcrichton added PR #13787 [Cranelift] remove redundant simplifictaion rule to the merge queue.
Wasmtime GitHub notifications bot (Jul 01 2026 at 16:24):github-merge-queue[bot] removed PR #13787 [Cranelift] remove redundant simplifictaion rule from the merge queue.
Wasmtime GitHub notifications bot (Jul 01 2026 at 17:01):alexcrichton commented on PR #13787:
Sorry this PR seems to be getting extremely unlucky...
Wasmtime GitHub notifications bot (Jul 01 2026 at 17:01):alexcrichton added PR #13787 [Cranelift] remove redundant simplifictaion rule to the merge queue.
Wasmtime GitHub notifications bot (Jul 01 2026 at 17:26)::check: alexcrichton merged PR #13787.
Wasmtime GitHub notifications bot (Jul 01 2026 at 17:26):alexcrichton removed PR #13787 [Cranelift] remove redundant simplifictaion rule from the merge queue.
Last updated: Jul 29 2026 at 05:03 UTC