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 // tidy-alphabetical-start
17 ("aclass", Some(sym::arm_target_feature)),
18 ("aes", Some(sym::arm_target_feature)),
19 ("crc", Some(sym::arm_target_feature)),
20 ("crypto", Some(sym::arm_target_feature)),
21 ("d32", Some(sym::arm_target_feature)),
22 ("dotprod", Some(sym::arm_target_feature)),
23 ("dsp", Some(sym::arm_target_feature)),
24 ("fp-armv8", Some(sym::arm_target_feature)),
25 ("i8mm", Some(sym::arm_target_feature)),
26 ("mclass", Some(sym::arm_target_feature)),
27 ("neon", Some(sym::arm_target_feature)),
28 ("rclass", Some(sym::arm_target_feature)),
29 ("sha2", Some(sym::arm_target_feature)),
30 // This is needed for inline assembly, but shouldn't be stabilized as-is
31 // since it should be enabled per-function using #[instruction_set], not
33 ("thumb-mode", Some(sym::arm_target_feature)),
34 ("thumb2", Some(sym::arm_target_feature)),
35 ("v5te", Some(sym::arm_target_feature)),
36 ("v6", Some(sym::arm_target_feature)),
37 ("v6k", Some(sym::arm_target_feature)),
38 ("v6t2", Some(sym::arm_target_feature)),
39 ("v7", Some(sym::arm_target_feature)),
40 ("v8", Some(sym::arm_target_feature)),
41 ("vfp2", Some(sym::arm_target_feature)),
42 ("vfp3", Some(sym::arm_target_feature)),
43 ("vfp4", Some(sym::arm_target_feature)),
44 // tidy-alphabetical-end
47 const AARCH64_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[
48 // tidy-alphabetical-start
89 // FEAT_AdvSimd & FEAT_FP
91 // FEAT_PAUTH (address authentication)
93 // FEAT_PAUTH (generic authentication)
111 // FEAT_SHA1 & FEAT_SHA256
113 // FEAT_SHA512 & FEAT_SHA3
115 // FEAT_SM3 & FEAT_SM4
128 ("sve2-bitperm", None),
135 ("v8.1a", Some(sym::aarch64_ver_target_feature)),
136 ("v8.2a", Some(sym::aarch64_ver_target_feature)),
137 ("v8.3a", Some(sym::aarch64_ver_target_feature)),
138 ("v8.4a", Some(sym::aarch64_ver_target_feature)),
139 ("v8.5a", Some(sym::aarch64_ver_target_feature)),
140 ("v8.6a", Some(sym::aarch64_ver_target_feature)),
141 ("v8.7a", Some(sym::aarch64_ver_target_feature)),
144 // tidy-alphabetical-end
147 const AARCH64_TIED_FEATURES: &[&[&str]] = &[
148 &["paca", "pacg"], // Together these represent `pauth` in LLVM
151 const X86_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[
152 // tidy-alphabetical-start
157 ("avx512bf16", Some(sym::avx512_target_feature)),
158 ("avx512bitalg", Some(sym::avx512_target_feature)),
159 ("avx512bw", Some(sym::avx512_target_feature)),
160 ("avx512cd", Some(sym::avx512_target_feature)),
161 ("avx512dq", Some(sym::avx512_target_feature)),
162 ("avx512er", Some(sym::avx512_target_feature)),
163 ("avx512f", Some(sym::avx512_target_feature)),
164 ("avx512gfni", Some(sym::avx512_target_feature)),
165 ("avx512ifma", Some(sym::avx512_target_feature)),
166 ("avx512pf", Some(sym::avx512_target_feature)),
167 ("avx512vaes", Some(sym::avx512_target_feature)),
168 ("avx512vbmi", Some(sym::avx512_target_feature)),
169 ("avx512vbmi2", Some(sym::avx512_target_feature)),
170 ("avx512vl", Some(sym::avx512_target_feature)),
171 ("avx512vnni", Some(sym::avx512_target_feature)),
172 ("avx512vp2intersect", Some(sym::avx512_target_feature)),
173 ("avx512vpclmulqdq", Some(sym::avx512_target_feature)),
174 ("avx512vpopcntdq", Some(sym::avx512_target_feature)),
177 ("cmpxchg16b", Some(sym::cmpxchg16b_target_feature)),
178 ("ermsb", Some(sym::ermsb_target_feature)),
179 ("f16c", Some(sym::f16c_target_feature)),
182 ("gfni", Some(sym::avx512_target_feature)),
184 ("movbe", Some(sym::movbe_target_feature)),
189 ("rtm", Some(sym::rtm_target_feature)),
196 ("sse4a", Some(sym::sse4a_target_feature)),
198 ("tbm", Some(sym::tbm_target_feature)),
199 ("vaes", Some(sym::avx512_target_feature)),
200 ("vpclmulqdq", Some(sym::avx512_target_feature)),
205 // tidy-alphabetical-end
208 const HEXAGON_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[
209 // tidy-alphabetical-start
210 ("hvx", Some(sym::hexagon_target_feature)),
211 ("hvx-length128b", Some(sym::hexagon_target_feature)),
212 // tidy-alphabetical-end
215 const POWERPC_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[
216 // tidy-alphabetical-start
217 ("altivec", Some(sym::powerpc_target_feature)),
218 ("power10-vector", Some(sym::powerpc_target_feature)),
219 ("power8-altivec", Some(sym::powerpc_target_feature)),
220 ("power8-vector", Some(sym::powerpc_target_feature)),
221 ("power9-altivec", Some(sym::powerpc_target_feature)),
222 ("power9-vector", Some(sym::powerpc_target_feature)),
223 ("vsx", Some(sym::powerpc_target_feature)),
224 // tidy-alphabetical-end
227 const MIPS_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[
228 // tidy-alphabetical-start
229 ("fp64", Some(sym::mips_target_feature)),
230 ("msa", Some(sym::mips_target_feature)),
231 ("virt", Some(sym::mips_target_feature)),
232 // tidy-alphabetical-end
235 const RISCV_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[
236 // tidy-alphabetical-start
237 ("a", Some(sym::riscv_target_feature)),
238 ("c", Some(sym::riscv_target_feature)),
239 ("d", Some(sym::riscv_target_feature)),
240 ("e", Some(sym::riscv_target_feature)),
241 ("f", Some(sym::riscv_target_feature)),
242 ("m", Some(sym::riscv_target_feature)),
243 ("v", Some(sym::riscv_target_feature)),
244 ("zba", Some(sym::riscv_target_feature)),
245 ("zbb", Some(sym::riscv_target_feature)),
246 ("zbc", Some(sym::riscv_target_feature)),
247 ("zbkb", Some(sym::riscv_target_feature)),
248 ("zbkc", Some(sym::riscv_target_feature)),
249 ("zbkx", Some(sym::riscv_target_feature)),
250 ("zbs", Some(sym::riscv_target_feature)),
251 ("zdinx", Some(sym::riscv_target_feature)),
252 ("zfh", Some(sym::riscv_target_feature)),
253 ("zfhmin", Some(sym::riscv_target_feature)),
254 ("zfinx", Some(sym::riscv_target_feature)),
255 ("zhinx", Some(sym::riscv_target_feature)),
256 ("zhinxmin", Some(sym::riscv_target_feature)),
257 ("zk", Some(sym::riscv_target_feature)),
258 ("zkn", Some(sym::riscv_target_feature)),
259 ("zknd", Some(sym::riscv_target_feature)),
260 ("zkne", Some(sym::riscv_target_feature)),
261 ("zknh", Some(sym::riscv_target_feature)),
262 ("zkr", Some(sym::riscv_target_feature)),
263 ("zks", Some(sym::riscv_target_feature)),
264 ("zksed", Some(sym::riscv_target_feature)),
265 ("zksh", Some(sym::riscv_target_feature)),
266 ("zkt", Some(sym::riscv_target_feature)),
267 // tidy-alphabetical-end
270 const WASM_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[
271 // tidy-alphabetical-start
272 ("atomics", Some(sym::wasm_target_feature)),
273 ("bulk-memory", Some(sym::wasm_target_feature)),
274 ("multivalue", Some(sym::wasm_target_feature)),
275 ("mutable-globals", Some(sym::wasm_target_feature)),
276 ("nontrapping-fptoint", Some(sym::wasm_target_feature)),
277 ("reference-types", Some(sym::wasm_target_feature)),
278 ("sign-ext", Some(sym::wasm_target_feature)),
280 // tidy-alphabetical-end
283 const BPF_ALLOWED_FEATURES: &[(&str, Option<Symbol>)] = &[("alu32", Some(sym::bpf_target_feature))];
285 /// When rustdoc is running, provide a list of all known features so that all their respective
286 /// primitives may be documented.
288 /// IMPORTANT: If you're adding another feature list above, make sure to add it to this iterator!
289 pub fn all_known_features() -> impl Iterator<Item = (&'static str, Option<Symbol>)> {
291 .chain(ARM_ALLOWED_FEATURES.iter())
292 .chain(AARCH64_ALLOWED_FEATURES.iter())
293 .chain(X86_ALLOWED_FEATURES.iter())
294 .chain(HEXAGON_ALLOWED_FEATURES.iter())
295 .chain(POWERPC_ALLOWED_FEATURES.iter())
296 .chain(MIPS_ALLOWED_FEATURES.iter())
297 .chain(RISCV_ALLOWED_FEATURES.iter())
298 .chain(WASM_ALLOWED_FEATURES.iter())
299 .chain(BPF_ALLOWED_FEATURES.iter())
303 pub fn supported_target_features(sess: &Session) -> &'static [(&'static str, Option<Symbol>)] {
304 match &*sess.target.arch {
305 "arm" => ARM_ALLOWED_FEATURES,
306 "aarch64" => AARCH64_ALLOWED_FEATURES,
307 "x86" | "x86_64" => X86_ALLOWED_FEATURES,
308 "hexagon" => HEXAGON_ALLOWED_FEATURES,
309 "mips" | "mips64" => MIPS_ALLOWED_FEATURES,
310 "powerpc" | "powerpc64" => POWERPC_ALLOWED_FEATURES,
311 "riscv32" | "riscv64" => RISCV_ALLOWED_FEATURES,
312 "wasm32" | "wasm64" => WASM_ALLOWED_FEATURES,
313 "bpf" => BPF_ALLOWED_FEATURES,
318 pub fn tied_target_features(sess: &Session) -> &'static [&'static [&'static str]] {
319 match &*sess.target.arch {
320 "aarch64" => AARCH64_TIED_FEATURES,
325 pub(crate) fn provide(providers: &mut Providers) {
326 providers.supported_target_features = |tcx, cnum| {
327 assert_eq!(cnum, LOCAL_CRATE);
328 if tcx.sess.opts.actually_rustdoc {
329 // rustdoc needs to be able to document functions that use all the features, so
330 // whitelist them all
331 all_known_features().map(|(a, b)| (a.to_string(), b)).collect()
333 supported_target_features(tcx.sess).iter().map(|&(a, b)| (a.to_string(), b)).collect()