Stream: git-wasmtime

Topic: wasmtime / issue #9348 Type-based alias analysis for Wasm GC

view this post on Zulip Wasmtime GitHub notifications bot (Oct 01 2024 at 16:46):

fitzgen added the performance label to Issue #9348.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 01 2024 at 16:46):

fitzgen added the cranelift:goal:optimize-speed label to Issue #9348.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 01 2024 at 16:46):

fitzgen added the wasmtime:ref-types label to Issue #9348.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 01 2024 at 16:46):

fitzgen opened issue #9348:

We can take advantage of Wasm GC's sound type system to determine which memory accesses are in logically separate regions, feed that into our alias analysis pass, and go to town.

Requires replacing our hard-coded alias regions with something that is customizable by the cranelift embedder, e.g. just representing alias regions with a u8 code and letting the embedder choose what each code means.

Last updated: Oct 23 2024 at 20:03 UTC