1use std::collections::VecDeque;
2use std::ffi::{CStr, CString};
3use std::fmt::Write;
4use std::path::Path;
5use std::sync::Once;
6use std::{ptr, slice, str};
78use libc::c_int;
9use rustc_codegen_ssa::base::wants_wasm_eh;
10use rustc_codegen_ssa::target_features::internal_target_features;
11use rustc_codegen_ssa::{TargetConfig, target_features};
12use rustc_data_structures::fx::FxHashSet;
13use rustc_data_structures::small_c_str::SmallCStr;
14use rustc_fs_util::path_to_c_string;
15use rustc_middle::bug;
16use rustc_session::Session;
17use rustc_session::config::{NATIVE_CPU, PrintKind, PrintRequest};
18use rustc_target::spec::{
19Arch, CfgAbi, Env, MergeFunctions, Os, PanicStrategy, SmallDataThresholdSupport,
20};
21use smallvec::{SmallVec, smallvec};
2223use crate::back::write::create_informational_target_machine;
24use crate::{diagnostics, llvm};
2526static INIT: Once = Once::new();
2728pub(crate) fn init(sess: &Session) {
29unsafe {
30// Before we touch LLVM, make sure that multithreading is enabled.
31if !llvm::LLVMIsMultithreaded().is_true() {
32::rustc_middle::util::bug::bug_fmt(format_args!("LLVM compiled without support for threads"));bug!("LLVM compiled without support for threads");
33 }
34INIT.call_once(|| {
35configure_llvm(sess);
36 });
37 }
38}
3940fn require_inited() {
41if !INIT.is_completed() {
42::rustc_middle::util::bug::bug_fmt(format_args!("LLVM is not initialized"));bug!("LLVM is not initialized");
43 }
44}
4546unsafe fn configure_llvm(sess: &Session) {
47let n_args = sess.opts.cg.llvm_args.len() + sess.target.llvm_args.len();
48let mut llvm_c_strs = Vec::with_capacity(n_args + 1);
49let mut llvm_args = Vec::with_capacity(n_args + 1);
5051unsafe {
52 llvm::LLVMRustInstallErrorHandlers();
53 }
54// On Windows, an LLVM assertion will open an Abort/Retry/Ignore dialog
55 // box for the purpose of launching a debugger. However, on CI this will
56 // cause it to hang until it times out, which can take several hours.
57if std::env::var_os("CI").is_some() {
58unsafe {
59 llvm::LLVMRustDisableSystemDialogsOnCrash();
60 }
61 }
6263fn llvm_arg_to_arg_name(full_arg: &str) -> &str {
64full_arg.trim().split(|c: char| c == '=' || c.is_whitespace()).next().unwrap_or("")
65 }
6667let cg_opts = sess.opts.cg.llvm_args.iter().map(AsRef::as_ref);
68let tg_opts = sess.target.llvm_args.iter().map(AsRef::as_ref);
69// Target-spec args are passed to LLVM before user `-Cllvm-args`. LLVM's
70 // `cl::opt` parser is last-wins, so this lets `-Cllvm-args=...` override
71 // a value already set in the target spec (e.g. `-wasm-use-legacy-eh`).
72let sess_args = tg_opts.chain(cg_opts);
7374let user_specified_args: FxHashSet<_> =
75sess_args.clone().map(|s| llvm_arg_to_arg_name(s)).filter(|s| !s.is_empty()).collect();
7677 {
78// This adds the given argument to LLVM. Unless `force` is true
79 // user specified arguments are *not* overridden.
80let mut add = |arg: &str, force: bool| {
81if force || !user_specified_args.contains(llvm_arg_to_arg_name(arg)) {
82let s = CString::new(arg).unwrap();
83llvm_args.push(s.as_ptr());
84llvm_c_strs.push(s);
85 }
86 };
87// Set the llvm "program name" to make usage and invalid argument messages more clear.
88add("rustc -Cllvm-args=\"...\" with", true);
89if sess.opts.unstable_opts.time_llvm_passes {
90add("-time-passes", false);
91 }
92if sess.opts.unstable_opts.print_llvm_passes {
93add("-debug-pass=Structure", false);
94 }
95if sess.target.generate_arange_section
96 && !sess.opts.unstable_opts.no_generate_arange_section
97 {
98add("-generate-arange-section", false);
99 }
100101match sess.opts.unstable_opts.merge_functions.unwrap_or(sess.target.merge_functions) {
102 MergeFunctions::Disabled | MergeFunctions::Trampolines => {}
103 MergeFunctions::Aliases => {
104add("-mergefunc-use-aliases", false);
105 }
106 }
107108if wants_wasm_eh(sess) {
109add("-wasm-enable-eh", false);
110 }
111112// HACK(eddyb) LLVM inserts `llvm.assume` calls to preserve align attributes
113 // during inlining. Unfortunately these may block other optimizations.
114add("-preserve-alignment-assumptions-during-inlining=false", false);
115116// Use non-zero `import-instr-limit` multiplier for cold callsites.
117add("-import-cold-multiplier=0.1", false);
118119if sess.print_llvm_stats() || sess.print_llvm_stats_json().is_some() {
120add("-stats", false);
121 }
122123for arg in sess_args {
124 add(&(*arg), true);
125 }
126127match (
128sess.opts.unstable_opts.small_data_threshold,
129sess.target.small_data_threshold_support(),
130 ) {
131// Set up the small-data optimization limit for architectures that use
132 // an LLVM argument to control this.
133(Some(threshold), SmallDataThresholdSupport::LlvmArg(arg)) => {
134add(&::alloc::__export::must_use({
::alloc::fmt::format(format_args!("--{0}={1}", arg, threshold))
})format!("--{arg}={threshold}"), false)
135 }
136_ => (),
137 };
138 }
139140if sess.opts.unstable_opts.llvm_time_trace {
141unsafe { llvm::LLVMRustTimeTraceProfilerInitialize() };
142 }
143144 rustc_llvm::initialize_available_targets();
145146unsafe { llvm::LLVMRustSetLLVMOptions(llvm_args.len() as c_int, llvm_args.as_ptr()) };
147}
148149pub(crate) fn time_trace_profiler_finish(file_name: &Path) {
150unsafe {
151let file_name = path_to_c_string(file_name);
152 llvm::LLVMRustTimeTraceProfilerFinish(file_name.as_ptr());
153 }
154}
155156enum TargetFeatureFoldStrength<'a> {
157// The feature is only tied when enabling the feature, disabling
158 // this feature shouldn't disable the tied feature.
159EnableOnly(&'a str),
160// The feature is tied for both enabling and disabling this feature.
161Both(&'a str),
162}
163164impl<'a> TargetFeatureFoldStrength<'a> {
165fn as_str(&self) -> &'a str {
166match self {
167 TargetFeatureFoldStrength::EnableOnly(feat) => feat,
168 TargetFeatureFoldStrength::Both(feat) => feat,
169 }
170 }
171}
172173pub(crate) struct LLVMFeature<'a> {
174 llvm_feature_name: &'a str,
175 dependencies: SmallVec<[TargetFeatureFoldStrength<'a>; 1]>,
176}
177178impl<'a> LLVMFeature<'a> {
179fn new(llvm_feature_name: &'a str) -> Self {
180Self { llvm_feature_name, dependencies: SmallVec::new() }
181 }
182183fn with_dependencies(
184 llvm_feature_name: &'a str,
185 dependencies: SmallVec<[TargetFeatureFoldStrength<'a>; 1]>,
186 ) -> Self {
187Self { llvm_feature_name, dependencies }
188 }
189}
190191impl<'a> IntoIteratorfor LLVMFeature<'a> {
192type Item = &'a str;
193type IntoIter = impl Iterator<Item = &'a str>;
194195fn into_iter(self) -> Self::IntoIter {
196let dependencies = self.dependencies.into_iter().map(|feat| feat.as_str());
197 std::iter::once(self.llvm_feature_name).chain(dependencies)
198 }
199}
200201/// Convert a Rust feature name to an LLVM feature name. Returning `None` means the
202/// feature should be skipped, usually because it is not supported by the current
203/// LLVM version.
204///
205/// WARNING: the features after applying `to_llvm_features` must be known
206/// to LLVM or the feature detection code will walk past the end of the feature
207/// array, leading to crashes.
208///
209/// To find a list of LLVM's names, see llvm-project/llvm/lib/Target/{ARCH}/*.td
210/// where `{ARCH}` is the architecture name. Look for instances of `SubtargetFeature`.
211///
212/// Check the current rustc fork of LLVM in the repo at
213/// <https://github.com/rust-lang/llvm-project/>. The commit in use can be found via the
214/// `llvm-project` submodule in <https://github.com/rust-lang/rust/tree/HEAD/src> Though note that
215/// Rust can also be build with an external precompiled version of LLVM which might lead to failures
216/// if the oldest tested / supported LLVM version doesn't yet support the relevant intrinsics.
217pub(crate) fn to_llvm_features<'a>(sess: &Session, s: &'a str) -> Option<LLVMFeature<'a>> {
218let (major, _, _) = get_version();
219match sess.target.arch {
220 Arch::AArch64 | Arch::Arm64EC => {
221match s {
222"rcpc2" => Some(LLVMFeature::new("rcpc-immo")),
223"dpb" => Some(LLVMFeature::new("ccpp")),
224"dpb2" => Some(LLVMFeature::new("ccdp")),
225"frintts" => Some(LLVMFeature::new("fptoint")),
226"fcma" => Some(LLVMFeature::new("complxnum")),
227"pmuv3" => Some(LLVMFeature::new("perfmon")),
228"paca" => Some(LLVMFeature::new("pauth")),
229"pacg" => Some(LLVMFeature::new("pauth")),
230"flagm2" => Some(LLVMFeature::new("altnzcv")),
231// Rust ties fp and neon together.
232"neon" => Some(LLVMFeature::with_dependencies(
233"neon",
234{
let count = 0usize + 1usize;
let mut vec = ::smallvec::SmallVec::new();
if count <= vec.inline_size() {
vec.push(TargetFeatureFoldStrength::Both("fp-armv8"));
vec
} else {
::smallvec::SmallVec::from_vec(::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
[TargetFeatureFoldStrength::Both("fp-armv8")])))
}
}smallvec![TargetFeatureFoldStrength::Both("fp-armv8")],
235 )),
236// In LLVM neon implicitly enables fp, but we manually enable
237 // neon when a feature only implicitly enables fp
238"fhm" => Some(LLVMFeature::new("fp16fml")),
239"fp16" => Some(LLVMFeature::new("fullfp16")),
240// Filter out features that are not supported by the current LLVM version
241"fpmr" => None, // only existed in 18
242 // Withdrawn by ARM; removed from LLVM in 22
243"tme" if major >= 22 => None,
244 s => Some(LLVMFeature::new(s)),
245 }
246 }
247 Arch::Arm => match s {
248"fp16" => Some(LLVMFeature::new("fullfp16")),
249 s => Some(LLVMFeature::new(s)),
250 },
251 Arch::Bpf => match s {
252"allows-misaligned-mem-access" if major < 22 => None,
253 s => Some(LLVMFeature::new(s)),
254 },
255 Arch::Nvptx64 => match s {
256"sm_101" if major >= 24 => Some(LLVMFeature::new("sm_110")),
257"sm_101a" if major >= 24 => Some(LLVMFeature::new("sm_110a")),
258"sm_101f" if major >= 24 => Some(LLVMFeature::new("sm_110f")),
259 s => Some(LLVMFeature::new(s)),
260 },
261// Filter out features that are not supported by the current LLVM version
262Arch::PowerPC | Arch::PowerPC64 => match s {
263"power8-crypto" => Some(LLVMFeature::new("crypto")),
264 s => Some(LLVMFeature::new(s)),
265 },
266 Arch::RiscV32 | Arch::RiscV64 => match s {
267// Filter out Rust-specific *virtual* target feature
268"zkne_or_zknd" => None,
269 s => Some(LLVMFeature::new(s)),
270 },
271 Arch::Sparc | Arch::Sparc64 => match s {
272"leoncasa" => Some(LLVMFeature::new("hasleoncasa")),
273 s => Some(LLVMFeature::new(s)),
274 },
275 Arch::Wasm32 | Arch::Wasm64 => match s {
276"gc" if major < 22 => None,
277 s => Some(LLVMFeature::new(s)),
278 },
279 Arch::X86 | Arch::X86_64 => {
280match s {
281"sse4.2" => Some(LLVMFeature::with_dependencies(
282"sse4.2",
283{
let count = 0usize + 1usize;
let mut vec = ::smallvec::SmallVec::new();
if count <= vec.inline_size() {
vec.push(TargetFeatureFoldStrength::EnableOnly("crc32"));
vec
} else {
::smallvec::SmallVec::from_vec(::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
[TargetFeatureFoldStrength::EnableOnly("crc32")])))
}
}smallvec![TargetFeatureFoldStrength::EnableOnly("crc32")],
284 )),
285"pclmulqdq" => Some(LLVMFeature::new("pclmul")),
286"rdrand" => Some(LLVMFeature::new("rdrnd")),
287"bmi1" => Some(LLVMFeature::new("bmi")),
288"cmpxchg16b" => Some(LLVMFeature::new("cx16")),
289"lahfsahf" => Some(LLVMFeature::new("sahf")),
290// Enable the evex512 target feature if an avx512 target feature is enabled.
291s if s.starts_with("avx512") && major < 22 => Some(LLVMFeature::with_dependencies(
292s,
293{
let count = 0usize + 1usize;
let mut vec = ::smallvec::SmallVec::new();
if count <= vec.inline_size() {
vec.push(TargetFeatureFoldStrength::EnableOnly("evex512"));
vec
} else {
::smallvec::SmallVec::from_vec(::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
[TargetFeatureFoldStrength::EnableOnly("evex512")])))
}
}smallvec![TargetFeatureFoldStrength::EnableOnly("evex512")],
294 )),
295"avx10.1" if major < 22 => Some(LLVMFeature::new("avx10.1-512")),
296"avx10.2" if major < 22 => Some(LLVMFeature::new("avx10.2-512")),
297"apxf" => Some(LLVMFeature::with_dependencies(
298"egpr",
299{
let count =
0usize + 1usize + 1usize + 1usize + 1usize + 1usize + 1usize + 1usize;
let mut vec = ::smallvec::SmallVec::new();
if count <= vec.inline_size() {
vec.push(TargetFeatureFoldStrength::Both("push2pop2"));
vec.push(TargetFeatureFoldStrength::Both("ppx"));
vec.push(TargetFeatureFoldStrength::Both("ndd"));
vec.push(TargetFeatureFoldStrength::Both("ccmp"));
vec.push(TargetFeatureFoldStrength::Both("cf"));
vec.push(TargetFeatureFoldStrength::Both("nf"));
vec.push(TargetFeatureFoldStrength::Both("zu"));
vec
} else {
::smallvec::SmallVec::from_vec(::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
[TargetFeatureFoldStrength::Both("push2pop2"),
TargetFeatureFoldStrength::Both("ppx"),
TargetFeatureFoldStrength::Both("ndd"),
TargetFeatureFoldStrength::Both("ccmp"),
TargetFeatureFoldStrength::Both("cf"),
TargetFeatureFoldStrength::Both("nf"),
TargetFeatureFoldStrength::Both("zu")])))
}
}smallvec![
300 TargetFeatureFoldStrength::Both("push2pop2"),
301 TargetFeatureFoldStrength::Both("ppx"),
302 TargetFeatureFoldStrength::Both("ndd"),
303 TargetFeatureFoldStrength::Both("ccmp"),
304 TargetFeatureFoldStrength::Both("cf"),
305 TargetFeatureFoldStrength::Both("nf"),
306 TargetFeatureFoldStrength::Both("zu"),
307 ],
308 )),
309 s => Some(LLVMFeature::new(s)),
310 }
311 }
312_ => Some(LLVMFeature::new(s)),
313 }
314}
315316/// Used to generate cfg variables and apply features.
317/// Must express features in the way Rust understands them.
318///
319/// We do not have to worry about RUSTC_SPECIFIC_FEATURES here, those are handled outside codegen.
320pub(crate) fn target_config(sess: &Session) -> TargetConfig {
321let target_machine = create_informational_target_machine(sess, true);
322323let internal_target_features = internal_target_features(
324sess,
325 |feature| {
326to_llvm_features(sess, feature)
327 .map(|f| SmallVec::<[&str; 2]>::from_iter(f.into_iter()))
328 .unwrap_or_default()
329 },
330 |feature| {
331// This closure determines whether the target CPU has the feature according to LLVM. We
332 // do *not* consider the `-Ctarget-feature`s here, as that will be handled later in
333 // `internal_target_features`.
334if let Some(feat) = to_llvm_features(sess, feature) {
335// All the LLVM features this expands to must be enabled.
336for llvm_feature in feat {
337let cstr = SmallCStr::new(llvm_feature);
338// `LLVMRustHasFeature` is moderately expensive. On targets with many
339 // features (e.g. x86) these calls take a non-trivial fraction of runtime
340 // when compiling very small programs.
341if !unsafe { llvm::LLVMRustHasFeature(target_machine.raw(), cstr.as_ptr()) } {
342return false;
343 }
344 }
345true
346} else {
347false
348}
349 },
350 );
351352let mut cfg = TargetConfig {
353internal_target_features,
354 has_reliable_f16: true,
355 has_reliable_f16_math: true,
356 has_reliable_f128: true,
357 has_reliable_f128_math: true,
358 };
359360update_target_reliable_float_cfg(sess, &mut cfg);
361cfg362}
363364/// Determine whether or not experimental float types are reliable based on known bugs.
365fn update_target_reliable_float_cfg(sess: &Session, cfg: &mut TargetConfig) {
366let target_arch = &sess.target.arch;
367let target_os = &sess.target.options.os;
368let target_env = &sess.target.options.env;
369let target_abi = &sess.target.options.cfg_abi;
370let target_pointer_width = sess.target.pointer_width;
371let version = get_version();
372let (major, _, _) = version;
373374cfg.has_reliable_f16 = match (target_arch, target_os) {
375// Unsupported <https://github.com/llvm/llvm-project/issues/94434> (fixed in llvm22)
376(Arch::Arm64EC, _) if major < 22 => false,
377// MinGW ABI bugs <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115054>
378(Arch::X86_64, Os::Windows) if *target_env == Env::Gnu && *target_abi != CfgAbi::Llvm => {
379false
380}
381// Infinite recursion <https://github.com/llvm/llvm-project/issues/97981>
382(Arch::CSky, _) if major < 22 => false, // (fixed in llvm22)
383(Arch::PowerPC | Arch::PowerPC64, _) if major < 22 => false, // (fixed in llvm22)
384(Arch::Sparc | Arch::Sparc64, _) if major < 22 => false, // (fixed in llvm22)
385(Arch::Wasm32 | Arch::Wasm64, _) if major < 22 => false, // (fixed in llvm22)
386 // `f16` support only requires that symbols converting to and from `f32` are available. We
387 // provide these in `compiler-builtins`, so `f16` should be available on all platforms that
388 // do not have other ABI issues or LLVM crashes.
389_ => true,
390 };
391392cfg.has_reliable_f128 = match (target_arch, target_os) {
393// Unsupported https://github.com/llvm/llvm-project/issues/121122
394(Arch::AmdGpu, _) => false,
395 (Arch::Arm64EC, _) if major < 23 => false, // (fixed in llvm23)
396 // Selection bug <https://github.com/llvm/llvm-project/issues/95471>. This issue is closed
397 // but basic math still does not work.
398(Arch::Nvptx64, _) => false,
399// ABI bugs <https://github.com/rust-lang/rust/issues/125109> et al. (full
400 // list at <https://github.com/rust-lang/rust/issues/116909>)
401(Arch::PowerPC | Arch::PowerPC64, _) => false,
402// ABI unsupported <https://github.com/llvm/llvm-project/issues/41838> (fixed in llvm22)
403(Arch::Sparc, _) if major < 22 => false,
404// MinGW ABI bugs <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115054>
405(Arch::X86_64, Os::Windows) if *target_env == Env::Gnu && *target_abi != CfgAbi::Llvm => {
406false
407}
408// There are no known problems on other platforms, so the only requirement is that symbols
409 // are available. `compiler-builtins` provides all symbols required for core `f128`
410 // support, so this should work for everything else.
411_ => true,
412 };
413414// Assume that working `f16` means working `f16` math for most platforms, since
415 // operations just go through `f32`.
416cfg.has_reliable_f16_math = cfg.has_reliable_f16;
417418cfg.has_reliable_f128_math = match (target_arch, target_os) {
419// LLVM lowers `fp128` math to `long double` symbols even on platforms where
420 // `long double` is not IEEE binary128. See
421 // <https://github.com/llvm/llvm-project/issues/44744>.
422 //
423 // This rules out anything that doesn't have `long double` = `binary128`; <= 32 bits
424 // (ld is `f64`), anything other than Linux (Windows and MacOS use `f64`), and `x86`
425 // (ld is 80-bit extended precision).
426 //
427 // musl does not implement the symbols required for f128 math at all.
428_ if *target_env == Env::Musl => false,
429 (Arch::X86_64, _) => false,
430 (_, Os::Linux) if target_pointer_width == 64 => true,
431_ => false,
432 } && cfg.has_reliable_f128;
433}
434435pub(crate) fn print_version() {
436let (major, minor, patch) = get_version();
437{
::std::io::_print(format_args!("LLVM version: {0}.{1}.{2}\n", major,
minor, patch));
};println!("LLVM version: {major}.{minor}.{patch}");
438}
439440pub(crate) fn get_version() -> (u32, u32, u32) {
441// Can be called without initializing LLVM
442unsafe {
443 (llvm::LLVMRustVersionMajor(), llvm::LLVMRustVersionMinor(), llvm::LLVMRustVersionPatch())
444 }
445}
446447pub(crate) fn print_passes() {
448// Can be called without initializing LLVM
449unsafe {
450 llvm::LLVMRustPrintPasses();
451 }
452}
453454fn llvm_target_features(tm: &llvm::TargetMachine) -> Vec<(&str, &str)> {
455let len = unsafe { llvm::LLVMRustGetTargetFeaturesCount(tm) };
456let mut ret = Vec::with_capacity(len);
457for i in 0..len {
458unsafe {
459let mut feature = ptr::null();
460let mut desc = ptr::null();
461 llvm::LLVMRustGetTargetFeature(tm, i, &mut feature, &mut desc);
462if feature.is_null() || desc.is_null() {
463::rustc_middle::util::bug::bug_fmt(format_args!("LLVM returned a `null` target feature string"));bug!("LLVM returned a `null` target feature string");
464 }
465let feature = CStr::from_ptr(feature).to_str().unwrap_or_else(|e| {
466::rustc_middle::util::bug::bug_fmt(format_args!("LLVM returned a non-utf8 feature string: {0}",
e));bug!("LLVM returned a non-utf8 feature string: {}", e);
467 });
468let desc = CStr::from_ptr(desc).to_str().unwrap_or_else(|e| {
469::rustc_middle::util::bug::bug_fmt(format_args!("LLVM returned a non-utf8 feature string: {0}",
e));bug!("LLVM returned a non-utf8 feature string: {}", e);
470 });
471 ret.push((feature, desc));
472 }
473 }
474ret475}
476477pub(crate) fn print(req: &PrintRequest, out: &mut String, sess: &Session) {
478require_inited();
479let tm = create_informational_target_machine(sess, false);
480match req.kind {
481 PrintKind::TargetCPUs => print_target_cpus(sess, tm.raw(), out),
482 PrintKind::TargetFeatures => print_target_features(sess, tm.raw(), out),
483_ => ::rustc_middle::util::bug::bug_fmt(format_args!("rustc_codegen_llvm can\'t handle print request: {0:?}",
req))bug!("rustc_codegen_llvm can't handle print request: {:?}", req),
484 }
485}
486487fn print_target_cpus(sess: &Session, tm: &llvm::TargetMachine, out: &mut String) {
488let cpu_names = llvm::build_string(|s| unsafe {
489 llvm::LLVMRustPrintTargetCPUs(&tm, s);
490 })
491 .unwrap();
492493struct Cpu<'a> {
494 cpu_name: &'a str,
495 remark: String,
496 }
497// Compare CPU against current target to label the default.
498let target_cpu = handle_native(&sess.target.cpu);
499let make_remark = |cpu_name| {
500if cpu_name == target_cpu {
501// FIXME(#132514): This prints the LLVM target string, which can be
502 // different from the Rust target string. Is that intended?
503let target = &sess.target.llvm_target;
504::alloc::__export::must_use({
::alloc::fmt::format(format_args!(" - This is the default target CPU for the current build target (currently {0}).",
target))
})format!(
505" - This is the default target CPU for the current build target (currently {target})."
506)507 } else {
508"".to_owned()
509 }
510 };
511let mut cpus = cpu_names512 .lines()
513 .filter(|cpu_name| {
514 !sess.target.unsupported_cpus.contains(&std::borrow::Cow::Borrowed(*cpu_name))
515 })
516 .map(|cpu_name| Cpu { cpu_name, remark: make_remark(cpu_name) })
517 .collect::<VecDeque<_>>();
518519// Only print the "native" entry when host and target are the same arch,
520 // since otherwise it could be wrong or misleading.
521 // Also do not print it if `requires_consistent_cpu` is set, because in this case
522 // "native" would be rejected.
523if sess.host.arch == sess.target.arch && !sess.target.requires_consistent_cpu {
524let host = get_host_cpu_name();
525cpus.push_front(Cpu {
526 cpu_name: NATIVE_CPU,
527 remark: ::alloc::__export::must_use({
::alloc::fmt::format(format_args!(" - Select the CPU of the current host (currently {0}).",
host))
})format!(" - Select the CPU of the current host (currently {host})."),
528 });
529 }
530531let max_name_width = cpus.iter().map(|cpu| cpu.cpu_name.len()).max().unwrap_or(0);
532out.write_fmt(format_args!("Available CPUs for this target:\n"))writeln!(out, "Available CPUs for this target:").unwrap();
533for Cpu { cpu_name, remark } in cpus {
534// Only pad the CPU name if there's a remark to print after it.
535let width = if remark.is_empty() { 0 } else { max_name_width };
536out.write_fmt(format_args!(" {0:<1$}{2}\n", cpu_name, width, remark))writeln!(out, " {cpu_name:<width$}{remark}").unwrap();
537 }
538}
539540fn print_target_features(sess: &Session, tm: &llvm::TargetMachine, out: &mut String) {
541let mut llvm_target_features = llvm_target_features(tm);
542let mut known_llvm_target_features = FxHashSet::<&'static str>::default();
543let mut rustc_target_features = sess544 .target
545 .rust_target_features()
546 .iter()
547 .filter_map(|(feature, gate, _implied)| {
548if !gate.in_cfg() {
549// Only list (experimentally) supported features.
550return None;
551 }
552// LLVM asserts that these are sorted. LLVM and Rust both use byte comparison for these
553 // strings.
554let llvm_feature = to_llvm_features(sess, *feature)?.llvm_feature_name;
555let desc =
556match llvm_target_features.binary_search_by_key(&llvm_feature, |(f, _d)| f).ok() {
557Some(index) => {
558known_llvm_target_features.insert(llvm_feature);
559llvm_target_features[index].1
560}
561None => "",
562 };
563564Some((*feature, desc))
565 })
566 .collect::<Vec<_>>();
567568// Since we add this at the end ...
569rustc_target_features.extend_from_slice(&[(
570"crt-static",
571"Enables C Run-time Libraries to be statically linked",
572 )]);
573// ... we need to sort the list again.
574rustc_target_features.sort();
575576llvm_target_features.retain(|(f, _d)| !known_llvm_target_features.contains(f));
577578let max_feature_len = llvm_target_features579 .iter()
580 .chain(rustc_target_features.iter())
581 .map(|(feature, _desc)| feature.len())
582 .max()
583 .unwrap_or(0);
584585out.write_fmt(format_args!("Features supported by rustc for this target:\n"))writeln!(out, "Features supported by rustc for this target:").unwrap();
586for (feature, desc) in &rustc_target_features {
587out.write_fmt(format_args!(" {0:1$} - {2}.\n", feature, max_feature_len,
desc))writeln!(out, " {feature:max_feature_len$} - {desc}.").unwrap();
588 }
589out.write_fmt(format_args!("\nCode-generation features supported by LLVM for this target:\n"))writeln!(out, "\nCode-generation features supported by LLVM for this target:").unwrap();
590for (feature, desc) in &llvm_target_features {
591out.write_fmt(format_args!(" {0:1$} - {2}.\n", feature, max_feature_len,
desc))writeln!(out, " {feature:max_feature_len$} - {desc}.").unwrap();
592 }
593if llvm_target_features.is_empty() {
594out.write_fmt(format_args!(" Target features listing is not supported by this LLVM version.\n"))writeln!(out, " Target features listing is not supported by this LLVM version.")595 .unwrap();
596 }
597out.write_fmt(format_args!("\nUse +feature to enable a feature, or -feature to disable it.\n"))writeln!(out, "\nUse +feature to enable a feature, or -feature to disable it.").unwrap();
598out.write_fmt(format_args!("For example, rustc -C target-cpu=mycpu -C target-feature=+feature1,-feature2\n\n"))writeln!(out, "For example, rustc -C target-cpu=mycpu -C target-feature=+feature1,-feature2\n")599 .unwrap();
600out.write_fmt(format_args!("Code-generation features cannot be used in cfg or #[target_feature],\n"))writeln!(out, "Code-generation features cannot be used in cfg or #[target_feature],").unwrap();
601out.write_fmt(format_args!("and may be renamed or removed in a future version of LLVM or rustc.\n\n"))writeln!(out, "and may be renamed or removed in a future version of LLVM or rustc.\n").unwrap();
602}
603604/// Returns the host CPU name, according to LLVM.
605fn get_host_cpu_name() -> &'static str {
606let mut len = 0;
607// SAFETY: The underlying C++ global function returns a `StringRef` that
608 // isn't tied to any particular backing buffer, so it must be 'static.
609let slice: &'static [u8] = unsafe {
610let ptr = llvm::LLVMRustGetHostCPUName(&mut len);
611if !!ptr.is_null() {
::core::panicking::panic("assertion failed: !ptr.is_null()")
};assert!(!ptr.is_null());
612 slice::from_raw_parts(ptr, len)
613 };
614 str::from_utf8(slice).expect("host CPU name should be UTF-8")
615}
616617/// If the given string is `"native"`, returns the host CPU name according to
618/// LLVM. Otherwise, the string is returned as-is.
619fn handle_native(cpu_name: &str) -> &str {
620match cpu_name {
621NATIVE_CPU => get_host_cpu_name(),
622_ => cpu_name,
623 }
624}
625626pub(crate) fn target_cpu(sess: &Session) -> &str {
627let cpu_name = sess.opts.cg.target_cpu.as_deref().unwrap_or_else(|| &sess.target.cpu);
628handle_native(cpu_name)
629}
630631/// The target features for compiler flags other than `-Ctarget-features`.
632fn llvm_features_by_flags(sess: &Session, features: &mut Vec<String>) {
633if wants_wasm_eh(sess) && sess.panic_strategy() == PanicStrategy::Unwind {
634features.push("+exception-handling".into());
635 }
636637 target_features::retpoline_features_by_flags(sess, features);
638 target_features::sanitizer_features_by_flags(sess, features);
639640// -Zfixed-x18
641if sess.opts.unstable_opts.fixed_x18 {
642if sess.target.arch != Arch::AArch64 {
643sess.dcx()
644 .emit_fatal(diagnostics::FixedX18InvalidArch { arch: sess.target.arch.desc() });
645 } else {
646features.push("+reserve-x18".into());
647 }
648 }
649}
650651/// The list of LLVM features computed from CLI flags (`-Ctarget-cpu`, `-Ctarget-feature`,
652/// `--target` and similar).
653///
654/// If `for_cfg` is `true` then we are assembling the feature list for the purpose of populating
655/// [`rustc_codegen_ssa::TargetConfig`] based on what LLVM actually enables in this configuration.
656/// `-Ctarget-feature` should be ignored in that case since it is already processed separately.
657pub(crate) fn global_llvm_features(sess: &Session, for_cfg: bool) -> Vec<String> {
658// Features that come earlier are overridden by conflicting features later in the string.
659 // Typically we'll want more explicit settings to override the implicit ones, so:
660 //
661 // * Features from -Ctarget-cpu=*; are overridden by [^1]
662 // * Features implied by --target; are overridden by
663 // * Features from -Ctarget-feature; are overridden by
664 // * function specific features.
665 //
666 // [^1]: target-cpu=native is handled here, other target-cpu values are handled implicitly
667 // through LLVM TargetMachine implementation.
668 //
669 // FIXME(nagisa): it isn't clear what's the best interaction between features implied by
670 // `-Ctarget-cpu` and `--target` are. On one hand, you'd expect CLI arguments to always
671 // override anything that's implicit, so e.g. when there's no `--target` flag, features implied
672 // the host target are overridden by `-Ctarget-cpu=*`. On the other hand, what about when both
673 // `--target` and `-Ctarget-cpu=*` are specified? Both then imply some target features and both
674 // flags are specified by the user on the CLI. It isn't as clear-cut which order of precedence
675 // should be taken in cases like these.
676let mut features = ::alloc::vec::Vec::new()vec![];
677678// -Ctarget-cpu=native
679match sess.opts.cg.target_cpu {
680Some(ref s) if s == NATIVE_CPU => {
681// We have already figured out the actual CPU name with `LLVMRustGetHostCPUName` and set
682 // that for LLVM, so the features implied by that CPU name will be available everywhere.
683 // However, that is not sufficient: e.g. `skylake` alone is not sufficient to tell if
684 // some of the instructions are available or not. So we have to also explicitly ask for
685 // the exact set of features available on the host, and enable all of them.
686let features_string = unsafe {
687let ptr = llvm::LLVMGetHostCPUFeatures();
688let features_string = if !ptr.is_null() {
689CStr::from_ptr(ptr)
690 .to_str()
691 .unwrap_or_else(|e| {
692::rustc_middle::util::bug::bug_fmt(format_args!("LLVM returned a non-utf8 features string: {0}",
e));bug!("LLVM returned a non-utf8 features string: {}", e);
693 })
694 .to_owned()
695 } else {
696::rustc_middle::util::bug::bug_fmt(format_args!("could not allocate host CPU features, LLVM returned a `null` string"));bug!("could not allocate host CPU features, LLVM returned a `null` string");
697 };
698699 llvm::LLVMDisposeMessage(ptr);
700701features_string702 };
703if !features_string.is_empty() {
704features.extend(features_string.split(',').map(String::from));
705 }
706 }
707Some(_) | None => {}
708 };
709710let mut extend_backend_features = |feature: &str, enable: bool| {
711let enable_disable = if enable { '+' } else { '-' };
712// We run through `to_llvm_features` when
713 // passing requests down to LLVM. This means that all in-language
714 // features also work on the command line instead of having two
715 // different names when the LLVM name and the Rust name differ.
716let Some(llvm_feature) = to_llvm_features(sess, feature) else { return };
717718features.extend(
719 std::iter::once(::alloc::__export::must_use({
::alloc::fmt::format(format_args!("{0}{1}", enable_disable,
llvm_feature.llvm_feature_name))
})format!("{}{}", enable_disable, llvm_feature.llvm_feature_name)).chain(
720llvm_feature.dependencies.into_iter().filter_map(move |feat| {
721match (enable, feat) {
722 (_, TargetFeatureFoldStrength::Both(f))
723 | (true, TargetFeatureFoldStrength::EnableOnly(f)) => {
724Some(::alloc::__export::must_use({
::alloc::fmt::format(format_args!("{0}{1}", enable_disable, f))
})format!("{enable_disable}{f}"))
725 }
726_ => None,
727 }
728 }),
729 ),
730 );
731 };
732733// Features implied by an implicit or explicit `--target`.
734target_features::target_spec_to_backend_features(sess, &mut extend_backend_features);
735736// -Ctarget-features. Skipped for `cfg` as there we parse -Ctarget-features directly instead of
737 // going via an LLVM target machine (which avoids accidentally picking up LLVM-level target
738 // feature implications that we do not want).
739if !for_cfg {
740 target_features::flag_to_backend_features(sess, extend_backend_features);
741 }
742743// `-C` flags that map to LLVM target features.
744 // We need to include them even with `only_base_features` as this is used to populate
745 // `sess.internal_target_features` where we very much want them to be present (e.g. the inline
746 // asm logic uses that to check which registers may be used).
747llvm_features_by_flags(sess, &mut features);
748749// `-Zllvm-target-features`, all the way at the end to overwrite everything.
750 // Should be picked up by `cfg` (e.g. if someone enables AVX this way).
751for feature in sess.opts.unstable_opts.llvm_target_feature.split(',') {
752if feature.is_empty() {
753continue;
754 }
755if feature.starts_with('+') || feature.starts_with('-') {
756 features.push(feature.to_owned());
757 } else {
758// LLVM seems to silently ignore entries without leading `+`/`-`. Let's emit a warning
759 // to avoid confusion. But only emit this warning once, under `for_cfg`.
760if for_cfg {
761 sess.dcx().emit_warn(diagnostics::UnknownLlvmTargetFeaturePrefix { feature });
762 }
763 }
764 }
765766features767}
768769pub(crate) fn tune_cpu(sess: &Session) -> Option<&str> {
770let name = sess.opts.unstable_opts.tune_cpu.as_ref()?;
771Some(handle_native(name))
772}
773774pub(crate) fn target_has_mnemonic(sess: &Session, mnemonic: &str) -> bool {
775require_inited();
776let tm = create_informational_target_machine(sess, false);
777let cstr = SmallCStr::new(mnemonic);
778unsafe { llvm::LLVMRustTargetHasMnemonic(tm.raw(), cstr.as_ptr()) }
779}