fitzgen commented on issue #1702:
Peepmatic was removed in https://github.com/bytecodealliance/wasmtime/pull/3543
fitzgen closed issue #1702:
Some
MatchOp
s subsume others. For example,IsPowerOfTwo
checks that some value is known to be a constant value that is a power of two, andIsConst
checks whether a value is known to be a constant. Therefore, it doesn't make sense to have a sequence ofMatchOp
s that includes bothIsPowerOfTwo
andIsConst
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 12:05 UTC