Stream: git-wasmtime

Topic: wasmtime / PR #13786 [Cranelift] remove redundant simplif...

Wasmtime GitHub notifications bot (Jul 01 2026 at 07:57):

myunbin opened PR #13786 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 << n is redundant because it can be derived by first canonicalizing the constant operand:

(2^n) * x --> x * (2^n) --> x << n

So only x * (2^n) --> (x << n) rule is needed.

Wasmtime GitHub notifications bot (Jul 01 2026 at 07:57):

myunbin requested alexcrichton for a review on PR #13786.

Wasmtime GitHub notifications bot (Jul 01 2026 at 07:57):

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

Wasmtime GitHub notifications bot (Jul 01 2026 at 08:27):

myunbin updated PR #13786.

Wasmtime GitHub notifications bot (Jul 01 2026 at 08:27):

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

Wasmtime GitHub notifications bot (Jul 01 2026 at 08:29):

:cross_mark: myunbin closed without merge PR #13786.

Wasmtime GitHub notifications bot (Jul 01 2026 at 08:29):

myunbin updated PR #13786.

Last updated: Jul 29 2026 at 05:03 UTC