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.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 25 2025 at 17:37):

alexcrichton added the wasm-proposal:gc label to Issue #9348.

Last updated: Feb 28 2025 at 02:27 UTC