Stream: git-wasmtime

Topic: wasmtime / PR #1952 GC unused PathIds before converting t...

Wasmtime GitHub notifications bot (Jul 01 2020 at 00:25):

declanvk edited PR #1952 from issue-1700 to main:

Closes #1700

• Add serde test for the PathInterner. An interesting thing to note is that the serialized and deserialized form appear to be different, however this may just be something to do with the serde_test package.
• Added PathInternerCompactor that can be used to write a new PathInterner while preserving the storage of a previous one.
• Add a micro-pass to peepmatic/src/linear_passes.rs that iterates over all the PathIds and replaces them with new ones. This should be a (semi) efficient way to remove the unused PathIds that are present in the existing PathInterner.

Wasmtime GitHub notifications bot (Jul 01 2020 at 00:38):

fitzgen closed without merge PR #1952.

Last updated: Dec 23 2024 at 12:05 UTC