Stream: git-wasmtime

Topic: wasmtime / issue #1708 Investigate statically folding opt...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 19 2021 at 18:26):

fitzgen commented on issue #1708:

Peepmatic was removed in https://github.com/bytecodealliance/wasmtime/pull/3543

view this post on Zulip Wasmtime GitHub notifications bot (Nov 19 2021 at 18:26):

fitzgen closed issue #1708:

Consider the following optimizations:

(=> (ishl $x $C)
    (ishl_imm $C $x))

(=> (when (imul $x $C)
          (is-power-of-two $C))
    (ishl $x $(log2 $C)))

After applying the second optimization to some instruction sequence, then the first optimization can be applied to the result.

But it would be more efficient if we folded the second optimization into the first optimizations RHS:

(=> (when (imul $x $C)
          (is-power-of-two $C))
    (ishl_imm $(log2 $C) $x))

We should make a pass in peepmatic to do this mechanically whenever possible.


Last updated: Dec 23 2024 at 12:05 UTC