SVE and SME on AArch64 (original) (raw)
| Metadata | |
|---|---|
| Point of contact | @davidtwco |
| Team(s) | compiler, lang, libs, types |
| Goal document | 2025h2/scalable-vectors |
Summary
Over the next six months, we will continue our efforts from the 2025H1 goal to
merge nightly support for SVE and establish a path towards stabilisation:
- propose language changes which will enable scalable vector types to be
represented in Rust's type system - land an experimental nightly implementation of SVE
- identify remaining blockers for SVE stabilisation and plan their resolution
- gain a better understanding of SME's implications for Rust and identify first
steps towards design and implementation
Tasks and status
Note: we have updated the body to match the 2025h2 goal. Your original text is preserved below.
Details
| Metadata | |
|---|---|
| Point of contact | @davidtwco |
| Team(s) | compiler, lang, types |
| Goal document | 2025h1/arm-sve-sme |
Summary
Over the next six months, we will aim to merge nightly support for SVE and establish a path
towards stabilisation:
- propose language changes which will enable scalable vector types to be represented in Rust's
type system - land an experimental nightly implementation of SVE
- identify remaining blockers for SVE stabilisation and plan their resolution
- gain a better understanding of SME's implications for Rust and identify first steps towards design
and implementation
Tasks and status
Land nightly experiment for SVE types
Upstream SVE types and intrinsics
- Upstream SVE types and intrinsics (@JamieCunliffe)
Extending type system to support scalable vectors
Investigate SME support
- Investigate SME support (@JamieCunliffe, @davidtwco)
- Discussion and moral support (lang, types, compiler
)
- Draft next goal (@davidtwco)