1 use rustc_hir
::def_id
::LOCAL_CRATE
;
2 use rustc_middle
::ty
::query
::Providers
;
3 use rustc_session
::Session
;
4 use rustc_span
::symbol
::sym
;
5 use rustc_span
::symbol
::Symbol
;
7 /// Features that control behaviour of rustc, rather than the codegen.
8 pub const RUSTC_SPECIFIC_FEATURES
: &[&str] = &["crt-static"];
10 // When adding features to the below lists
11 // check whether they're named already elsewhere in rust
12 // e.g. in stdarch and whether the given name matches LLVM's
13 // if it doesn't, to_llvm_feature in llvm_util in rustc_codegen_llvm needs to be adapted
15 const ARM_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
16 ("aclass", Some(sym
::arm_target_feature
)),
17 ("mclass", Some(sym
::arm_target_feature
)),
18 ("rclass", Some(sym
::arm_target_feature
)),
19 ("dsp", Some(sym
::arm_target_feature
)),
20 ("neon", Some(sym
::arm_target_feature
)),
21 ("crc", Some(sym
::arm_target_feature
)),
22 ("crypto", Some(sym
::arm_target_feature
)),
23 ("aes", Some(sym
::arm_target_feature
)),
24 ("sha2", Some(sym
::arm_target_feature
)),
25 ("i8mm", Some(sym
::arm_target_feature
)),
26 ("dotprod", Some(sym
::arm_target_feature
)),
27 ("v5te", Some(sym
::arm_target_feature
)),
28 ("v6", Some(sym
::arm_target_feature
)),
29 ("v6k", Some(sym
::arm_target_feature
)),
30 ("v6t2", Some(sym
::arm_target_feature
)),
31 ("v7", Some(sym
::arm_target_feature
)),
32 ("v8", Some(sym
::arm_target_feature
)),
33 ("vfp2", Some(sym
::arm_target_feature
)),
34 ("vfp3", Some(sym
::arm_target_feature
)),
35 ("vfp4", Some(sym
::arm_target_feature
)),
36 ("fp-armv8", Some(sym
::arm_target_feature
)),
37 // This is needed for inline assembly, but shouldn't be stabilized as-is
38 // since it should be enabled per-function using #[instruction_set], not
40 ("thumb-mode", Some(sym
::arm_target_feature
)),
41 ("thumb2", Some(sym
::arm_target_feature
)),
42 ("d32", Some(sym
::arm_target_feature
)),
45 const AARCH64_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
46 // FEAT_AdvSimd & FEAT_FP
78 // FEAT_PAUTH (address authentication)
80 // FEAT_PAUTH (generic authentication)
95 ("sve2-bitperm", None
),
118 // FEAT_SHA1 & FEAT_SHA256
120 // FEAT_SHA512 & FEAT_SHA3
122 // FEAT_SM3 & FEAT_SM4
134 ("v8.1a", Some(sym
::aarch64_ver_target_feature
)),
135 ("v8.2a", Some(sym
::aarch64_ver_target_feature
)),
136 ("v8.3a", Some(sym
::aarch64_ver_target_feature
)),
137 ("v8.4a", Some(sym
::aarch64_ver_target_feature
)),
138 ("v8.5a", Some(sym
::aarch64_ver_target_feature
)),
139 ("v8.6a", Some(sym
::aarch64_ver_target_feature
)),
140 ("v8.7a", Some(sym
::aarch64_ver_target_feature
)),
143 const AARCH64_TIED_FEATURES
: &[&[&str]] = &[
144 &["paca", "pacg"], // Together these represent `pauth` in LLVM
147 const X86_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
152 ("avx512bf16", Some(sym
::avx512_target_feature
)),
153 ("avx512bitalg", Some(sym
::avx512_target_feature
)),
154 ("avx512bw", Some(sym
::avx512_target_feature
)),
155 ("avx512cd", Some(sym
::avx512_target_feature
)),
156 ("avx512dq", Some(sym
::avx512_target_feature
)),
157 ("avx512er", Some(sym
::avx512_target_feature
)),
158 ("avx512f", Some(sym
::avx512_target_feature
)),
159 ("avx512gfni", Some(sym
::avx512_target_feature
)),
160 ("avx512ifma", Some(sym
::avx512_target_feature
)),
161 ("avx512pf", Some(sym
::avx512_target_feature
)),
162 ("avx512vaes", Some(sym
::avx512_target_feature
)),
163 ("avx512vbmi", Some(sym
::avx512_target_feature
)),
164 ("avx512vbmi2", Some(sym
::avx512_target_feature
)),
165 ("avx512vl", Some(sym
::avx512_target_feature
)),
166 ("avx512vnni", Some(sym
::avx512_target_feature
)),
167 ("avx512vp2intersect", Some(sym
::avx512_target_feature
)),
168 ("avx512vpclmulqdq", Some(sym
::avx512_target_feature
)),
169 ("avx512vpopcntdq", Some(sym
::avx512_target_feature
)),
172 ("cmpxchg16b", Some(sym
::cmpxchg16b_target_feature
)),
173 ("ermsb", Some(sym
::ermsb_target_feature
)),
174 ("f16c", Some(sym
::f16c_target_feature
)),
178 ("movbe", Some(sym
::movbe_target_feature
)),
183 ("rtm", Some(sym
::rtm_target_feature
)),
190 ("sse4a", Some(sym
::sse4a_target_feature
)),
192 ("tbm", Some(sym
::tbm_target_feature
)),
199 const HEXAGON_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
200 ("hvx", Some(sym
::hexagon_target_feature
)),
201 ("hvx-length128b", Some(sym
::hexagon_target_feature
)),
204 const POWERPC_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
205 ("altivec", Some(sym
::powerpc_target_feature
)),
206 ("power8-altivec", Some(sym
::powerpc_target_feature
)),
207 ("power9-altivec", Some(sym
::powerpc_target_feature
)),
208 ("power8-vector", Some(sym
::powerpc_target_feature
)),
209 ("power9-vector", Some(sym
::powerpc_target_feature
)),
210 ("vsx", Some(sym
::powerpc_target_feature
)),
213 const MIPS_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
214 ("fp64", Some(sym
::mips_target_feature
)),
215 ("msa", Some(sym
::mips_target_feature
)),
216 ("virt", Some(sym
::mips_target_feature
)),
219 const RISCV_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
220 ("m", Some(sym
::riscv_target_feature
)),
221 ("a", Some(sym
::riscv_target_feature
)),
222 ("c", Some(sym
::riscv_target_feature
)),
223 ("f", Some(sym
::riscv_target_feature
)),
224 ("d", Some(sym
::riscv_target_feature
)),
225 ("e", Some(sym
::riscv_target_feature
)),
226 ("v", Some(sym
::riscv_target_feature
)),
227 ("zfinx", Some(sym
::riscv_target_feature
)),
228 ("zdinx", Some(sym
::riscv_target_feature
)),
229 ("zhinx", Some(sym
::riscv_target_feature
)),
230 ("zhinxmin", Some(sym
::riscv_target_feature
)),
231 ("zfh", Some(sym
::riscv_target_feature
)),
232 ("zfhmin", Some(sym
::riscv_target_feature
)),
233 ("zba", Some(sym
::riscv_target_feature
)),
234 ("zbb", Some(sym
::riscv_target_feature
)),
235 ("zbc", Some(sym
::riscv_target_feature
)),
236 ("zbs", Some(sym
::riscv_target_feature
)),
237 ("zbkb", Some(sym
::riscv_target_feature
)),
238 ("zbkc", Some(sym
::riscv_target_feature
)),
239 ("zbkx", Some(sym
::riscv_target_feature
)),
240 ("zknd", Some(sym
::riscv_target_feature
)),
241 ("zkne", Some(sym
::riscv_target_feature
)),
242 ("zknh", Some(sym
::riscv_target_feature
)),
243 ("zksed", Some(sym
::riscv_target_feature
)),
244 ("zksh", Some(sym
::riscv_target_feature
)),
245 ("zkr", Some(sym
::riscv_target_feature
)),
246 ("zkn", Some(sym
::riscv_target_feature
)),
247 ("zks", Some(sym
::riscv_target_feature
)),
248 ("zk", Some(sym
::riscv_target_feature
)),
249 ("zkt", Some(sym
::riscv_target_feature
)),
252 const WASM_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[
254 ("atomics", Some(sym
::wasm_target_feature
)),
255 ("nontrapping-fptoint", Some(sym
::wasm_target_feature
)),
256 ("bulk-memory", Some(sym
::wasm_target_feature
)),
257 ("mutable-globals", Some(sym
::wasm_target_feature
)),
258 ("reference-types", Some(sym
::wasm_target_feature
)),
259 ("sign-ext", Some(sym
::wasm_target_feature
)),
262 const BPF_ALLOWED_FEATURES
: &[(&str, Option
<Symbol
>)] = &[("alu32", Some(sym
::bpf_target_feature
))];
264 /// When rustdoc is running, provide a list of all known features so that all their respective
265 /// primitives may be documented.
267 /// IMPORTANT: If you're adding another feature list above, make sure to add it to this iterator!
268 pub fn all_known_features() -> impl Iterator
<Item
= (&'
static str, Option
<Symbol
>)> {
270 .chain(ARM_ALLOWED_FEATURES
.iter())
271 .chain(AARCH64_ALLOWED_FEATURES
.iter())
272 .chain(X86_ALLOWED_FEATURES
.iter())
273 .chain(HEXAGON_ALLOWED_FEATURES
.iter())
274 .chain(POWERPC_ALLOWED_FEATURES
.iter())
275 .chain(MIPS_ALLOWED_FEATURES
.iter())
276 .chain(RISCV_ALLOWED_FEATURES
.iter())
277 .chain(WASM_ALLOWED_FEATURES
.iter())
278 .chain(BPF_ALLOWED_FEATURES
.iter())
282 pub fn supported_target_features(sess
: &Session
) -> &'
static [(&'
static str, Option
<Symbol
>)] {
283 match &*sess
.target
.arch
{
284 "arm" => ARM_ALLOWED_FEATURES
,
285 "aarch64" => AARCH64_ALLOWED_FEATURES
,
286 "x86" | "x86_64" => X86_ALLOWED_FEATURES
,
287 "hexagon" => HEXAGON_ALLOWED_FEATURES
,
288 "mips" | "mips64" => MIPS_ALLOWED_FEATURES
,
289 "powerpc" | "powerpc64" => POWERPC_ALLOWED_FEATURES
,
290 "riscv32" | "riscv64" => RISCV_ALLOWED_FEATURES
,
291 "wasm32" | "wasm64" => WASM_ALLOWED_FEATURES
,
292 "bpf" => BPF_ALLOWED_FEATURES
,
297 pub fn tied_target_features(sess
: &Session
) -> &'
static [&'
static [&'
static str]] {
298 match &*sess
.target
.arch
{
299 "aarch64" => AARCH64_TIED_FEATURES
,
304 pub(crate) fn provide(providers
: &mut Providers
) {
305 providers
.supported_target_features
= |tcx
, cnum
| {
306 assert_eq
!(cnum
, LOCAL_CRATE
);
307 if tcx
.sess
.opts
.actually_rustdoc
{
308 // rustdoc needs to be able to document functions that use all the features, so
309 // whitelist them all
310 all_known_features().map(|(a
, b
)| (a
.to_string(), b
)).collect()
312 supported_target_features(tcx
.sess
).iter().map(|&(a
, b
)| (a
.to_string(), b
)).collect()