bytecodealliance / bytecodealliance/wasmtime
Type-based alias analysis for Wasm GC
Open
cranelift:goal:optimize-speed
performance
wasm-proposal:gc
wasmtime:ref-types
- Dominant language
- Rust
- Stars
- 18.6k
- Forks
- 1.8k
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 121
Description
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.
Contributor guide
Assessment
This issue has not been assessed yet.