fitzgen added the performance label to Issue #9348.
fitzgen added the cranelift:goal:optimize-speed label to Issue #9348.
fitzgen added the wasmtime:ref-types label to Issue #9348.
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: Dec 23 2024 at 12:05 UTC