Stream: git-wasmtime

Topic: wasmtime / issue #1702 Optimize `MatchOp` sequences

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

fitzgen commented on issue #1702:

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:27):

fitzgen closed issue #1702:

Some MatchOps subsume others. For example, IsPowerOfTwo checks that some value is known to be a constant value that is a power of two, and IsConst checks whether a value is known to be a constant. Therefore, it doesn't make sense to have a sequence of MatchOps that includes both IsPowerOfTwo and IsConst since the former subsumes the latter.

We should add a micro pass to the peepmatic compilation pipeline to remove subsumed match operations. This will result in smaller and faster-to-interpret generated automata.

Last updated: Nov 22 2024 at 16:03 UTC