Stream: git-wasmtime

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


view this post on Zulip Wasmtime GitHub notifications bot (May 14 2020 at 16:29):

fitzgen opened 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.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2020 at 16:29):

fitzgen labeled 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: Dec 23 2024 at 13:07 UTC