user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
318722 commits 10 branches 154 tags 1.3 GiB
Commit graph

7 commits

Author SHA1 Message Date
Edvin Bryntesson
742d276dc1
make attrs actually use Target::GenericParam 2026-01-08 20:26:45 +01:00
Fang He
4c485a4c97 add compiletest for debuginfo generation for SVE predicates <vscale x N x i1> where N != 16 2025-12-28 15:02:57 +08:00
David Wood
5f27abdbc8
mono: require target feature for scalable vectors 
Scalable vector types only work with the relevant target features
enabled, so require this for any function with the types in its
signature.
 2025-12-16 11:01:26 +00:00
David Wood
4185e9f2ec
mir_transform: prohibit scalable vectors in async 
Scalable vectors cannot be members of ADTs and thus cannot be kept over
await points in async functions.
 2025-12-16 11:00:12 +00:00
David Wood
a56b1b9283
codegen: implement repr(scalable) 
Introduces `BackendRepr::ScalableVector` corresponding to scalable
vector types annotated with `repr(scalable)` which lowers to a scalable
vector type in LLVM.

Co-authored-by: Jamie Cunliffe <Jamie.Cunliffe@arm.com>
 2025-12-16 11:00:12 +00:00
David Wood
ba9262936e
hir/trait_sel: prohibit scalable vectors in types 
Extend well-formedness checking and HIR analysis to prohibit the use of
scalable vectors in structs, enums, unions, tuples and arrays. LLVM does
not support scalable vectors being members of other types, so these
restrictions are necessary.

Co-authored-by: Jamie Cunliffe <Jamie.Cunliffe@arm.com>
 2025-12-16 11:00:12 +00:00
David Wood
78b06057ef
attr: parse rustc_scalable_vector(N) 
Extend parsing of `ReprOptions` with `rustc_scalable_vector(N)` which
optionally accepts a single literal integral value - the base multiple of
lanes that are in a scalable vector. Can only be applied to structs.

Co-authored-by: Jamie Cunliffe <Jamie.Cunliffe@arm.com>
 2025-12-16 11:00:11 +00:00