Skip to main content

rustc_codegen_ssa/back/
write.rs

1use std::marker::PhantomData;
2use std::panic::AssertUnwindSafe;
3use std::path::{Path, PathBuf};
4use std::sync::Arc;
5use std::sync::mpsc::{Receiver, Sender, channel};
6use std::{assert_matches, fs, io, mem, str, thread};
7
8use rustc_abi::Size;
9use rustc_data_structures::fx::FxIndexMap;
10use rustc_data_structures::jobserver::{self, Acquired};
11use rustc_data_structures::profiling::{SelfProfilerRef, VerboseTimingGuard};
12use rustc_errors::emitter::Emitter;
13use rustc_errors::{
14    Diag, DiagArgMap, DiagCtxt, DiagCtxtHandle, DiagMessage, ErrCode, FatalError, FatalErrorMarker,
15    Level, MultiSpan, Style, Suggestions, catch_fatal_errors,
16};
17use rustc_fs_util::link_or_copy;
18use rustc_hir::find_attr;
19use rustc_incremental::{
20    copy_cgu_workproduct_to_incr_comp_cache_dir, in_incr_comp_dir, in_incr_comp_dir_sess,
21};
22use rustc_macros::{Decodable, Encodable};
23use rustc_metadata::fs::copy_to_stdout;
24use rustc_middle::bug;
25use rustc_middle::dep_graph::{WorkProduct, WorkProductId};
26use rustc_middle::ty::TyCtxt;
27use rustc_session::Session;
28use rustc_session::config::{
29    self, CrateType, Lto, OptLevel, OutFileName, OutputFilenames, OutputType, Passes,
30    SwitchWithOptPath,
31};
32use rustc_span::source_map::SourceMap;
33use rustc_span::{FileName, InnerSpan, Span, SpanData};
34use rustc_target::spec::{MergeFunctions, SanitizerSet};
35use tracing::debug;
36
37use crate::back::link::ensure_removed;
38use crate::back::lto::{self, SerializedModule, check_lto_allowed};
39use crate::errors::ErrorCreatingRemarkDir;
40use crate::traits::*;
41use crate::{
42    CachedModuleCodegen, CompiledModule, CompiledModules, CrateInfo, ModuleCodegen, ModuleKind,
43    errors,
44};
45
46const PRE_LTO_BC_EXT: &str = "pre-lto.bc";
47
48/// What kind of object file to emit.
49#[derive(#[automatically_derived]
impl ::core::clone::Clone for EmitObj {
    #[inline]
    fn clone(&self) -> EmitObj {
        let _: ::core::clone::AssertParamIsClone<BitcodeSection>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for EmitObj { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for EmitObj {
    #[inline]
    fn eq(&self, other: &EmitObj) -> bool {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        __self_discr == __arg1_discr &&
            match (self, other) {
                (EmitObj::ObjectCode(__self_0), EmitObj::ObjectCode(__arg1_0))
                    => __self_0 == __arg1_0,
                _ => true,
            }
    }
}PartialEq, const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for EmitObj {
            fn encode(&self, __encoder: &mut __E) {
                let disc =
                    match *self {
                        EmitObj::None => { 0usize }
                        EmitObj::Bitcode => { 1usize }
                        EmitObj::ObjectCode(ref __binding_0) => { 2usize }
                    };
                ::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
                match *self {
                    EmitObj::None => {}
                    EmitObj::Bitcode => {}
                    EmitObj::ObjectCode(ref __binding_0) => {
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_0,
                            __encoder);
                    }
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for EmitObj {
            fn decode(__decoder: &mut __D) -> Self {
                match ::rustc_serialize::Decoder::read_u8(__decoder) as usize
                    {
                    0usize => { EmitObj::None }
                    1usize => { EmitObj::Bitcode }
                    2usize => {
                        EmitObj::ObjectCode(::rustc_serialize::Decodable::decode(__decoder))
                    }
                    n => {
                        ::core::panicking::panic_fmt(format_args!("invalid enum variant tag while decoding `EmitObj`, expected 0..3, actual {0}",
                                n));
                    }
                }
            }
        }
    };Decodable)]
50pub enum EmitObj {
51    // No object file.
52    None,
53
54    // Just uncompressed llvm bitcode. Provides easy compatibility with
55    // emscripten's ecc compiler, when used as the linker.
56    Bitcode,
57
58    // Object code, possibly augmented with a bitcode section.
59    ObjectCode(BitcodeSection),
60}
61
62/// What kind of llvm bitcode section to embed in an object file.
63#[derive(#[automatically_derived]
impl ::core::clone::Clone for BitcodeSection {
    #[inline]
    fn clone(&self) -> BitcodeSection { *self }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for BitcodeSection { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for BitcodeSection {
    #[inline]
    fn eq(&self, other: &BitcodeSection) -> bool {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        __self_discr == __arg1_discr
    }
}PartialEq, const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for BitcodeSection {
            fn encode(&self, __encoder: &mut __E) {
                let disc =
                    match *self {
                        BitcodeSection::None => { 0usize }
                        BitcodeSection::Full => { 1usize }
                    };
                ::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
                match *self {
                    BitcodeSection::None => {}
                    BitcodeSection::Full => {}
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for BitcodeSection {
            fn decode(__decoder: &mut __D) -> Self {
                match ::rustc_serialize::Decoder::read_u8(__decoder) as usize
                    {
                    0usize => { BitcodeSection::None }
                    1usize => { BitcodeSection::Full }
                    n => {
                        ::core::panicking::panic_fmt(format_args!("invalid enum variant tag while decoding `BitcodeSection`, expected 0..2, actual {0}",
                                n));
                    }
                }
            }
        }
    };Decodable)]
64pub enum BitcodeSection {
65    // No bitcode section.
66    None,
67
68    // A full, uncompressed bitcode section.
69    Full,
70}
71
72/// Module-specific configuration for `optimize_and_codegen`.
73#[derive(const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for ModuleConfig {
            fn encode(&self, __encoder: &mut __E) {
                match *self {
                    ModuleConfig {
                        passes: ref __binding_0,
                        opt_level: ref __binding_1,
                        pgo_gen: ref __binding_2,
                        pgo_use: ref __binding_3,
                        pgo_sample_use: ref __binding_4,
                        debug_info_for_profiling: ref __binding_5,
                        instrument_coverage: ref __binding_6,
                        sanitizer: ref __binding_7,
                        sanitizer_recover: ref __binding_8,
                        sanitizer_dataflow_abilist: ref __binding_9,
                        sanitizer_memory_track_origins: ref __binding_10,
                        emit_pre_lto_bc: ref __binding_11,
                        emit_bc: ref __binding_12,
                        emit_ir: ref __binding_13,
                        emit_asm: ref __binding_14,
                        emit_obj: ref __binding_15,
                        emit_thin_lto_summary: ref __binding_16,
                        verify_llvm_ir: ref __binding_17,
                        lint_llvm_ir: ref __binding_18,
                        no_prepopulate_passes: ref __binding_19,
                        no_builtins: ref __binding_20,
                        vectorize_loop: ref __binding_21,
                        vectorize_slp: ref __binding_22,
                        merge_functions: ref __binding_23,
                        emit_lifetime_markers: ref __binding_24,
                        llvm_plugins: ref __binding_25,
                        autodiff: ref __binding_26,
                        offload: ref __binding_27 } => {
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_0,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_1,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_2,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_3,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_4,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_5,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_6,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_7,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_8,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_9,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_10,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_11,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_12,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_13,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_14,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_15,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_16,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_17,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_18,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_19,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_20,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_21,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_22,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_23,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_24,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_25,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_26,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_27,
                            __encoder);
                    }
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for ModuleConfig {
            fn decode(__decoder: &mut __D) -> Self {
                ModuleConfig {
                    passes: ::rustc_serialize::Decodable::decode(__decoder),
                    opt_level: ::rustc_serialize::Decodable::decode(__decoder),
                    pgo_gen: ::rustc_serialize::Decodable::decode(__decoder),
                    pgo_use: ::rustc_serialize::Decodable::decode(__decoder),
                    pgo_sample_use: ::rustc_serialize::Decodable::decode(__decoder),
                    debug_info_for_profiling: ::rustc_serialize::Decodable::decode(__decoder),
                    instrument_coverage: ::rustc_serialize::Decodable::decode(__decoder),
                    sanitizer: ::rustc_serialize::Decodable::decode(__decoder),
                    sanitizer_recover: ::rustc_serialize::Decodable::decode(__decoder),
                    sanitizer_dataflow_abilist: ::rustc_serialize::Decodable::decode(__decoder),
                    sanitizer_memory_track_origins: ::rustc_serialize::Decodable::decode(__decoder),
                    emit_pre_lto_bc: ::rustc_serialize::Decodable::decode(__decoder),
                    emit_bc: ::rustc_serialize::Decodable::decode(__decoder),
                    emit_ir: ::rustc_serialize::Decodable::decode(__decoder),
                    emit_asm: ::rustc_serialize::Decodable::decode(__decoder),
                    emit_obj: ::rustc_serialize::Decodable::decode(__decoder),
                    emit_thin_lto_summary: ::rustc_serialize::Decodable::decode(__decoder),
                    verify_llvm_ir: ::rustc_serialize::Decodable::decode(__decoder),
                    lint_llvm_ir: ::rustc_serialize::Decodable::decode(__decoder),
                    no_prepopulate_passes: ::rustc_serialize::Decodable::decode(__decoder),
                    no_builtins: ::rustc_serialize::Decodable::decode(__decoder),
                    vectorize_loop: ::rustc_serialize::Decodable::decode(__decoder),
                    vectorize_slp: ::rustc_serialize::Decodable::decode(__decoder),
                    merge_functions: ::rustc_serialize::Decodable::decode(__decoder),
                    emit_lifetime_markers: ::rustc_serialize::Decodable::decode(__decoder),
                    llvm_plugins: ::rustc_serialize::Decodable::decode(__decoder),
                    autodiff: ::rustc_serialize::Decodable::decode(__decoder),
                    offload: ::rustc_serialize::Decodable::decode(__decoder),
                }
            }
        }
    };Decodable)]
74pub struct ModuleConfig {
75    /// Names of additional optimization passes to run.
76    pub passes: Vec<String>,
77    /// Some(level) to optimize at a certain level, or None to run
78    /// absolutely no optimizations (used for the allocator module).
79    pub opt_level: Option<config::OptLevel>,
80
81    pub pgo_gen: SwitchWithOptPath,
82    pub pgo_use: Option<PathBuf>,
83    pub pgo_sample_use: Option<PathBuf>,
84    pub debug_info_for_profiling: bool,
85    pub instrument_coverage: bool,
86
87    pub sanitizer: SanitizerSet,
88    pub sanitizer_recover: SanitizerSet,
89    pub sanitizer_dataflow_abilist: Vec<String>,
90    pub sanitizer_memory_track_origins: usize,
91
92    // Flags indicating which outputs to produce.
93    pub emit_pre_lto_bc: bool,
94    pub emit_bc: bool,
95    pub emit_ir: bool,
96    pub emit_asm: bool,
97    pub emit_obj: EmitObj,
98    pub emit_thin_lto_summary: bool,
99
100    // Miscellaneous flags. These are mostly copied from command-line
101    // options.
102    pub verify_llvm_ir: bool,
103    pub lint_llvm_ir: bool,
104    pub no_prepopulate_passes: bool,
105    pub no_builtins: bool,
106    pub vectorize_loop: bool,
107    pub vectorize_slp: bool,
108    pub merge_functions: bool,
109    pub emit_lifetime_markers: bool,
110    pub llvm_plugins: Vec<String>,
111    pub autodiff: Vec<config::AutoDiff>,
112    pub offload: Vec<config::Offload>,
113}
114
115impl ModuleConfig {
116    fn new(kind: ModuleKind, tcx: TyCtxt<'_>, no_builtins: bool) -> ModuleConfig {
117        // If it's a regular module, use `$regular`, otherwise use `$other`.
118        // `$regular` and `$other` are evaluated lazily.
119        macro_rules! if_regular {
120            ($regular: expr, $other: expr) => {
121                if let ModuleKind::Regular = kind { $regular } else { $other }
122            };
123        }
124
125        let sess = tcx.sess;
126        let opt_level_and_size = if let ModuleKind::Regular = kind { Some(sess.opts.optimize) } else { None }if_regular!(Some(sess.opts.optimize), None);
127
128        let save_temps = sess.opts.cg.save_temps;
129
130        let should_emit_obj = sess.opts.output_types.contains_key(&OutputType::Exe)
131            || match kind {
132                ModuleKind::Regular => sess.opts.output_types.contains_key(&OutputType::Object),
133                ModuleKind::Allocator => false,
134            };
135
136        let emit_obj = if !should_emit_obj {
137            EmitObj::None
138        } else if sess.target.obj_is_bitcode
139            || (sess.opts.cg.linker_plugin_lto.enabled()
140                && (!no_builtins || tcx.sess.is_sanitizer_cfi_enabled()))
141        {
142            // This case is selected if the target uses objects as bitcode, or
143            // if linker plugin LTO is enabled. In the linker plugin LTO case
144            // the assumption is that the final link-step will read the bitcode
145            // and convert it to object code. This may be done by either the
146            // native linker or rustc itself.
147            //
148            // By default this branch is skipped for `#![no_builtins]` crates so
149            // they emit native object files (machine code), not LLVM bitcode
150            // objects for the linker (see rust-lang/rust#146133).
151            //
152            // However, when LLVM CFI is enabled (`-Zsanitizer=cfi`), this
153            // breaks LLVM's expected pipeline: LLVM emits `llvm.type.test`
154            // intrinsics and related metadata that must be lowered by LLVM's
155            // `LowerTypeTests` pass before instruction selection during
156            // link-time LTO. Otherwise, `llvm.type.test` intrinsics and related
157            // metadata are not lowered by LLVM's `LowerTypeTests` pass before
158            // reaching the target backend, and LLVM may abort during codegen
159            // (for example in SelectionDAG type legalization) (see
160            // rust-lang/rust#142284).
161            //
162            // Therefore, with `-Clinker-plugin-lto` and `-Zsanitizer=cfi`, a
163            // `#![no_builtins]` crate must still use rustc's `EmitObj::Bitcode`
164            // path (and emit LLVM bitcode in the `.o` for linker-based LTO).
165            EmitObj::Bitcode
166        } else if need_bitcode_in_object(tcx) || sess.target.requires_lto {
167            EmitObj::ObjectCode(BitcodeSection::Full)
168        } else {
169            EmitObj::ObjectCode(BitcodeSection::None)
170        };
171
172        ModuleConfig {
173            passes: if let ModuleKind::Regular = kind {
    sess.opts.cg.passes.clone()
} else { ::alloc::vec::Vec::new() }if_regular!(sess.opts.cg.passes.clone(), vec![]),
174
175            opt_level: opt_level_and_size,
176
177            pgo_gen: if let ModuleKind::Regular = kind {
    sess.opts.cg.profile_generate.clone()
} else { SwitchWithOptPath::Disabled }if_regular!(
178                sess.opts.cg.profile_generate.clone(),
179                SwitchWithOptPath::Disabled
180            ),
181            pgo_use: if let ModuleKind::Regular = kind {
    sess.opts.cg.profile_use.clone()
} else { None }if_regular!(sess.opts.cg.profile_use.clone(), None),
182            pgo_sample_use: if let ModuleKind::Regular = kind {
    sess.opts.unstable_opts.profile_sample_use.clone()
} else { None }if_regular!(sess.opts.unstable_opts.profile_sample_use.clone(), None),
183            debug_info_for_profiling: sess.opts.unstable_opts.debuginfo_for_profiling,
184            instrument_coverage: if let ModuleKind::Regular = kind {
    sess.instrument_coverage()
} else { false }if_regular!(sess.instrument_coverage(), false),
185
186            sanitizer: if let ModuleKind::Regular = kind {
    sess.sanitizers()
} else { SanitizerSet::empty() }if_regular!(sess.sanitizers(), SanitizerSet::empty()),
187            sanitizer_dataflow_abilist: if let ModuleKind::Regular = kind {
    sess.opts.unstable_opts.sanitizer_dataflow_abilist.clone()
} else { Vec::new() }if_regular!(
188                sess.opts.unstable_opts.sanitizer_dataflow_abilist.clone(),
189                Vec::new()
190            ),
191            sanitizer_recover: if let ModuleKind::Regular = kind {
    sess.opts.unstable_opts.sanitizer_recover
} else { SanitizerSet::empty() }if_regular!(
192                sess.opts.unstable_opts.sanitizer_recover,
193                SanitizerSet::empty()
194            ),
195            sanitizer_memory_track_origins: if let ModuleKind::Regular = kind {
    sess.opts.unstable_opts.sanitizer_memory_track_origins
} else { 0 }if_regular!(
196                sess.opts.unstable_opts.sanitizer_memory_track_origins,
197                0
198            ),
199
200            emit_pre_lto_bc: if let ModuleKind::Regular = kind {
    save_temps || need_pre_lto_bitcode_for_incr_comp(sess)
} else { false }if_regular!(
201                save_temps || need_pre_lto_bitcode_for_incr_comp(sess),
202                false
203            ),
204            emit_bc: if let ModuleKind::Regular = kind {
    save_temps || sess.opts.output_types.contains_key(&OutputType::Bitcode)
} else { save_temps }if_regular!(
205                save_temps || sess.opts.output_types.contains_key(&OutputType::Bitcode),
206                save_temps
207            ),
208            emit_ir: if let ModuleKind::Regular = kind {
    sess.opts.output_types.contains_key(&OutputType::LlvmAssembly)
} else { false }if_regular!(
209                sess.opts.output_types.contains_key(&OutputType::LlvmAssembly),
210                false
211            ),
212            emit_asm: if let ModuleKind::Regular = kind {
    sess.opts.output_types.contains_key(&OutputType::Assembly)
} else { false }if_regular!(
213                sess.opts.output_types.contains_key(&OutputType::Assembly),
214                false
215            ),
216            emit_obj,
217            emit_thin_lto_summary: if let ModuleKind::Regular = kind {
    sess.opts.output_types.contains_key(&OutputType::ThinLinkBitcode)
} else { false }if_regular!(
218                sess.opts.output_types.contains_key(&OutputType::ThinLinkBitcode),
219                false
220            ),
221
222            verify_llvm_ir: sess.verify_llvm_ir(),
223            lint_llvm_ir: sess.opts.unstable_opts.lint_llvm_ir,
224            no_prepopulate_passes: sess.opts.cg.no_prepopulate_passes,
225            no_builtins: no_builtins || sess.target.no_builtins,
226
227            // Copy what clang does by turning on loop vectorization at O2 and
228            // slp vectorization at O3.
229            vectorize_loop: !sess.opts.cg.no_vectorize_loops
230                && (sess.opts.optimize == config::OptLevel::More
231                    || sess.opts.optimize == config::OptLevel::Aggressive),
232            vectorize_slp: !sess.opts.cg.no_vectorize_slp
233                && sess.opts.optimize == config::OptLevel::Aggressive,
234
235            // Some targets (namely, NVPTX) interact badly with the
236            // MergeFunctions pass. This is because MergeFunctions can generate
237            // new function calls which may interfere with the target calling
238            // convention; e.g. for the NVPTX target, PTX kernels should not
239            // call other PTX kernels. MergeFunctions can also be configured to
240            // generate aliases instead, but aliases are not supported by some
241            // backends (again, NVPTX). Therefore, allow targets to opt out of
242            // the MergeFunctions pass, but otherwise keep the pass enabled (at
243            // O2 and O3) since it can be useful for reducing code size.
244            merge_functions: match sess
245                .opts
246                .unstable_opts
247                .merge_functions
248                .unwrap_or(sess.target.merge_functions)
249            {
250                MergeFunctions::Disabled => false,
251                MergeFunctions::Trampolines | MergeFunctions::Aliases => {
252                    use config::OptLevel::*;
253                    match sess.opts.optimize {
254                        Aggressive | More | SizeMin | Size => true,
255                        Less | No => false,
256                    }
257                }
258            },
259
260            emit_lifetime_markers: sess.emit_lifetime_markers(),
261            llvm_plugins: if let ModuleKind::Regular = kind {
    sess.opts.unstable_opts.llvm_plugins.clone()
} else { ::alloc::vec::Vec::new() }if_regular!(sess.opts.unstable_opts.llvm_plugins.clone(), vec![]),
262            autodiff: if let ModuleKind::Regular = kind {
    sess.opts.unstable_opts.autodiff.clone()
} else { ::alloc::vec::Vec::new() }if_regular!(sess.opts.unstable_opts.autodiff.clone(), vec![]),
263            offload: if let ModuleKind::Regular = kind {
    sess.opts.unstable_opts.offload.clone()
} else { ::alloc::vec::Vec::new() }if_regular!(sess.opts.unstable_opts.offload.clone(), vec![]),
264        }
265    }
266
267    pub fn bitcode_needed(&self) -> bool {
268        self.emit_bc
269            || self.emit_thin_lto_summary
270            || self.emit_obj == EmitObj::Bitcode
271            || self.emit_obj == EmitObj::ObjectCode(BitcodeSection::Full)
272    }
273
274    pub fn embed_bitcode(&self) -> bool {
275        self.emit_obj == EmitObj::ObjectCode(BitcodeSection::Full)
276    }
277}
278
279/// Configuration passed to the function returned by the `target_machine_factory`.
280pub struct TargetMachineFactoryConfig {
281    /// Split DWARF is enabled in LLVM by checking that `TM.MCOptions.SplitDwarfFile` isn't empty,
282    /// so the path to the dwarf object has to be provided when we create the target machine.
283    /// This can be ignored by backends which do not need it for their Split DWARF support.
284    pub split_dwarf_file: Option<PathBuf>,
285
286    /// The name of the output object file. Used for setting OutputFilenames in target options
287    /// so that LLVM can emit the CodeView S_OBJNAME record in pdb files
288    pub output_obj_file: Option<PathBuf>,
289}
290
291impl TargetMachineFactoryConfig {
292    pub fn new(cgcx: &CodegenContext, module_name: &str) -> TargetMachineFactoryConfig {
293        let split_dwarf_file = if cgcx.target_can_use_split_dwarf {
294            cgcx.output_filenames.split_dwarf_path(
295                cgcx.split_debuginfo,
296                cgcx.split_dwarf_kind,
297                module_name,
298            )
299        } else {
300            None
301        };
302
303        let output_obj_file =
304            Some(cgcx.output_filenames.temp_path_for_cgu(OutputType::Object, module_name));
305        TargetMachineFactoryConfig { split_dwarf_file, output_obj_file }
306    }
307}
308
309pub type TargetMachineFactoryFn<B> = Arc<
310    dyn Fn(
311            DiagCtxtHandle<'_>,
312            TargetMachineFactoryConfig,
313        ) -> <B as WriteBackendMethods>::TargetMachine
314        + Send
315        + Sync,
316>;
317
318/// Additional resources used by optimize_and_codegen (not module specific)
319#[derive(#[automatically_derived]
impl ::core::clone::Clone for CodegenContext {
    #[inline]
    fn clone(&self) -> CodegenContext {
        CodegenContext {
            lto: ::core::clone::Clone::clone(&self.lto),
            use_linker_plugin_lto: ::core::clone::Clone::clone(&self.use_linker_plugin_lto),
            dylib_lto: ::core::clone::Clone::clone(&self.dylib_lto),
            prefer_dynamic: ::core::clone::Clone::clone(&self.prefer_dynamic),
            save_temps: ::core::clone::Clone::clone(&self.save_temps),
            fewer_names: ::core::clone::Clone::clone(&self.fewer_names),
            time_trace: ::core::clone::Clone::clone(&self.time_trace),
            crate_types: ::core::clone::Clone::clone(&self.crate_types),
            output_filenames: ::core::clone::Clone::clone(&self.output_filenames),
            module_config: ::core::clone::Clone::clone(&self.module_config),
            opt_level: ::core::clone::Clone::clone(&self.opt_level),
            backend_features: ::core::clone::Clone::clone(&self.backend_features),
            msvc_imps_needed: ::core::clone::Clone::clone(&self.msvc_imps_needed),
            is_pe_coff: ::core::clone::Clone::clone(&self.is_pe_coff),
            target_can_use_split_dwarf: ::core::clone::Clone::clone(&self.target_can_use_split_dwarf),
            target_arch: ::core::clone::Clone::clone(&self.target_arch),
            target_is_like_darwin: ::core::clone::Clone::clone(&self.target_is_like_darwin),
            target_is_like_aix: ::core::clone::Clone::clone(&self.target_is_like_aix),
            target_is_like_gpu: ::core::clone::Clone::clone(&self.target_is_like_gpu),
            split_debuginfo: ::core::clone::Clone::clone(&self.split_debuginfo),
            split_dwarf_kind: ::core::clone::Clone::clone(&self.split_dwarf_kind),
            pointer_size: ::core::clone::Clone::clone(&self.pointer_size),
            remark: ::core::clone::Clone::clone(&self.remark),
            remark_dir: ::core::clone::Clone::clone(&self.remark_dir),
            incr_comp_session_dir: ::core::clone::Clone::clone(&self.incr_comp_session_dir),
            parallel: ::core::clone::Clone::clone(&self.parallel),
        }
    }
}Clone, const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for CodegenContext {
            fn encode(&self, __encoder: &mut __E) {
                match *self {
                    CodegenContext {
                        lto: ref __binding_0,
                        use_linker_plugin_lto: ref __binding_1,
                        dylib_lto: ref __binding_2,
                        prefer_dynamic: ref __binding_3,
                        save_temps: ref __binding_4,
                        fewer_names: ref __binding_5,
                        time_trace: ref __binding_6,
                        crate_types: ref __binding_7,
                        output_filenames: ref __binding_8,
                        module_config: ref __binding_9,
                        opt_level: ref __binding_10,
                        backend_features: ref __binding_11,
                        msvc_imps_needed: ref __binding_12,
                        is_pe_coff: ref __binding_13,
                        target_can_use_split_dwarf: ref __binding_14,
                        target_arch: ref __binding_15,
                        target_is_like_darwin: ref __binding_16,
                        target_is_like_aix: ref __binding_17,
                        target_is_like_gpu: ref __binding_18,
                        split_debuginfo: ref __binding_19,
                        split_dwarf_kind: ref __binding_20,
                        pointer_size: ref __binding_21,
                        remark: ref __binding_22,
                        remark_dir: ref __binding_23,
                        incr_comp_session_dir: ref __binding_24,
                        parallel: ref __binding_25 } => {
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_0,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_1,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_2,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_3,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_4,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_5,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_6,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_7,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_8,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_9,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_10,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_11,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_12,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_13,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_14,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_15,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_16,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_17,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_18,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_19,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_20,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_21,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_22,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_23,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_24,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_25,
                            __encoder);
                    }
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for CodegenContext {
            fn decode(__decoder: &mut __D) -> Self {
                CodegenContext {
                    lto: ::rustc_serialize::Decodable::decode(__decoder),
                    use_linker_plugin_lto: ::rustc_serialize::Decodable::decode(__decoder),
                    dylib_lto: ::rustc_serialize::Decodable::decode(__decoder),
                    prefer_dynamic: ::rustc_serialize::Decodable::decode(__decoder),
                    save_temps: ::rustc_serialize::Decodable::decode(__decoder),
                    fewer_names: ::rustc_serialize::Decodable::decode(__decoder),
                    time_trace: ::rustc_serialize::Decodable::decode(__decoder),
                    crate_types: ::rustc_serialize::Decodable::decode(__decoder),
                    output_filenames: ::rustc_serialize::Decodable::decode(__decoder),
                    module_config: ::rustc_serialize::Decodable::decode(__decoder),
                    opt_level: ::rustc_serialize::Decodable::decode(__decoder),
                    backend_features: ::rustc_serialize::Decodable::decode(__decoder),
                    msvc_imps_needed: ::rustc_serialize::Decodable::decode(__decoder),
                    is_pe_coff: ::rustc_serialize::Decodable::decode(__decoder),
                    target_can_use_split_dwarf: ::rustc_serialize::Decodable::decode(__decoder),
                    target_arch: ::rustc_serialize::Decodable::decode(__decoder),
                    target_is_like_darwin: ::rustc_serialize::Decodable::decode(__decoder),
                    target_is_like_aix: ::rustc_serialize::Decodable::decode(__decoder),
                    target_is_like_gpu: ::rustc_serialize::Decodable::decode(__decoder),
                    split_debuginfo: ::rustc_serialize::Decodable::decode(__decoder),
                    split_dwarf_kind: ::rustc_serialize::Decodable::decode(__decoder),
                    pointer_size: ::rustc_serialize::Decodable::decode(__decoder),
                    remark: ::rustc_serialize::Decodable::decode(__decoder),
                    remark_dir: ::rustc_serialize::Decodable::decode(__decoder),
                    incr_comp_session_dir: ::rustc_serialize::Decodable::decode(__decoder),
                    parallel: ::rustc_serialize::Decodable::decode(__decoder),
                }
            }
        }
    };Decodable)]
320pub struct CodegenContext {
321    // Resources needed when running LTO
322    pub lto: Lto,
323    pub use_linker_plugin_lto: bool,
324    pub dylib_lto: bool,
325    pub prefer_dynamic: bool,
326    pub save_temps: bool,
327    pub fewer_names: bool,
328    pub time_trace: bool,
329    pub crate_types: Vec<CrateType>,
330    pub output_filenames: Arc<OutputFilenames>,
331    pub module_config: Arc<ModuleConfig>,
332    pub opt_level: OptLevel,
333    pub backend_features: Vec<String>,
334    pub msvc_imps_needed: bool,
335    pub is_pe_coff: bool,
336    pub target_can_use_split_dwarf: bool,
337    pub target_arch: String,
338    pub target_is_like_darwin: bool,
339    pub target_is_like_aix: bool,
340    pub target_is_like_gpu: bool,
341    pub split_debuginfo: rustc_target::spec::SplitDebuginfo,
342    pub split_dwarf_kind: rustc_session::config::SplitDwarfKind,
343    pub pointer_size: Size,
344
345    /// LLVM optimizations for which we want to print remarks.
346    pub remark: Passes,
347    /// Directory into which should the LLVM optimization remarks be written.
348    /// If `None`, they will be written to stderr.
349    pub remark_dir: Option<PathBuf>,
350    /// The incremental compilation session directory, or None if we are not
351    /// compiling incrementally
352    pub incr_comp_session_dir: Option<PathBuf>,
353    /// `true` if the codegen should be run in parallel.
354    ///
355    /// Depends on [`WriteBackendMethods::supports_parallel()`] and `-Zno_parallel_backend`.
356    pub parallel: bool,
357}
358
359fn generate_thin_lto_work<B: WriteBackendMethods>(
360    cgcx: &CodegenContext,
361    prof: &SelfProfilerRef,
362    dcx: DiagCtxtHandle<'_>,
363    exported_symbols_for_lto: &[String],
364    each_linked_rlib_for_lto: &[PathBuf],
365    needs_thin_lto: Vec<ThinLtoInput<B>>,
366) -> Vec<(ThinLtoWorkItem<B>, u64)> {
367    let _prof_timer = prof.generic_activity("codegen_thin_generate_lto_work");
368
369    let (lto_modules, copy_jobs) = B::run_thin_lto(
370        cgcx,
371        prof,
372        dcx,
373        exported_symbols_for_lto,
374        each_linked_rlib_for_lto,
375        needs_thin_lto,
376    );
377    lto_modules
378        .into_iter()
379        .map(|module| {
380            let cost = module.cost();
381            (ThinLtoWorkItem::ThinLto(module), cost)
382        })
383        .chain(copy_jobs.into_iter().map(|wp| {
384            (
385                ThinLtoWorkItem::CopyPostLtoArtifacts(CachedModuleCodegen {
386                    name: wp.cgu_name.clone(),
387                    source: wp,
388                }),
389                0, // copying is very cheap
390            )
391        }))
392        .collect()
393}
394
395enum MaybeLtoModules<B: WriteBackendMethods> {
396    NoLto(CompiledModules),
397    FatLto { cgcx: CodegenContext, needs_fat_lto: Vec<FatLtoInput<B>> },
398    ThinLto { cgcx: CodegenContext, needs_thin_lto: Vec<ThinLtoInput<B>> },
399}
400
401fn need_bitcode_in_object(tcx: TyCtxt<'_>) -> bool {
402    let sess = tcx.sess;
403    sess.opts.cg.embed_bitcode
404        && tcx.crate_types().contains(&CrateType::Rlib)
405        && sess.opts.output_types.contains_key(&OutputType::Exe)
406}
407
408fn need_pre_lto_bitcode_for_incr_comp(sess: &Session) -> bool {
409    if sess.opts.incremental.is_none() {
410        return false;
411    }
412
413    match sess.lto() {
414        Lto::No => false,
415        Lto::Fat | Lto::Thin | Lto::ThinLocal => true,
416    }
417}
418
419pub(crate) fn start_async_codegen<B: WriteBackendMethods>(
420    backend: B,
421    tcx: TyCtxt<'_>,
422    allocator_module: Option<ModuleCodegen<B::Module>>,
423) -> OngoingCodegen<B> {
424    let (coordinator_send, coordinator_receive) = channel();
425
426    let no_builtins = {
        'done:
            {
            for i in tcx.hir_krate_attrs() {
                #[allow(unused_imports)]
                use rustc_hir::attrs::AttributeKind::*;
                let i: &rustc_hir::Attribute = i;
                match i {
                    rustc_hir::Attribute::Parsed(NoBuiltins) => {
                        break 'done Some(());
                    }
                    rustc_hir::Attribute::Unparsed(..) =>
                        {}
                        #[deny(unreachable_patterns)]
                        _ => {}
                }
            }
            None
        }
    }.is_some()find_attr!(tcx, crate, NoBuiltins);
427
428    let regular_config = ModuleConfig::new(ModuleKind::Regular, tcx, no_builtins);
429    let allocator_config = ModuleConfig::new(ModuleKind::Allocator, tcx, no_builtins);
430
431    let (shared_emitter, shared_emitter_main) = SharedEmitter::new();
432    let (codegen_worker_send, codegen_worker_receive) = channel();
433
434    let coordinator_thread = start_executing_work(
435        backend.clone(),
436        tcx,
437        shared_emitter,
438        codegen_worker_send,
439        coordinator_receive,
440        Arc::new(regular_config),
441        Arc::new(allocator_config),
442        allocator_module,
443        coordinator_send.clone(),
444    );
445
446    OngoingCodegen {
447        backend,
448
449        codegen_worker_receive,
450        shared_emitter_main,
451        coordinator: Coordinator {
452            sender: coordinator_send,
453            future: Some(coordinator_thread),
454            phantom: PhantomData,
455        },
456        output_filenames: Arc::clone(tcx.output_filenames(())),
457    }
458}
459
460fn copy_all_cgu_workproducts_to_incr_comp_cache_dir(
461    sess: &Session,
462    compiled_modules: &CompiledModules,
463) -> FxIndexMap<WorkProductId, WorkProduct> {
464    let mut work_products = FxIndexMap::default();
465
466    if sess.opts.incremental.is_none() || sess.opts.unstable_opts.disable_incr_comp_backend_caching
467    {
468        return work_products;
469    }
470
471    let _timer = sess.timer("copy_all_cgu_workproducts_to_incr_comp_cache_dir");
472
473    for module in compiled_modules.modules.iter().filter(|m| m.kind == ModuleKind::Regular) {
474        let mut files = Vec::new();
475        if let Some(object_file_path) = &module.object {
476            files.push((OutputType::Object.extension(), object_file_path.as_path()));
477        }
478        if let Some(global_asm_object_file_path) = &module.global_asm_object {
479            files.push(("asm.o", global_asm_object_file_path.as_path()));
480        }
481        if let Some(dwarf_object_file_path) = &module.dwarf_object {
482            files.push(("dwo", dwarf_object_file_path.as_path()));
483        }
484        if let Some(path) = &module.assembly {
485            files.push((OutputType::Assembly.extension(), path.as_path()));
486        }
487        if let Some(path) = &module.llvm_ir {
488            files.push((OutputType::LlvmAssembly.extension(), path.as_path()));
489        }
490        if let Some(path) = &module.bytecode {
491            files.push((OutputType::Bitcode.extension(), path.as_path()));
492        }
493        if let Some((id, product)) = copy_cgu_workproduct_to_incr_comp_cache_dir(
494            sess,
495            &module.name,
496            files.as_slice(),
497            &module.links_from_incr_cache,
498        ) {
499            work_products.insert(id, product);
500        }
501    }
502
503    work_products
504}
505
506pub fn produce_final_output_artifacts(
507    sess: &Session,
508    compiled_modules: &CompiledModules,
509    crate_output: &OutputFilenames,
510) {
511    let mut user_wants_bitcode = false;
512    let mut user_wants_objects = false;
513
514    // Produce final compile outputs.
515    let copy_gracefully = |from: &Path, to: &OutFileName| match to {
516        OutFileName::Stdout if let Err(e) = copy_to_stdout(from) => {
517            sess.dcx().emit_err(errors::CopyPath::new(from, to.as_path(), e));
518        }
519        OutFileName::Real(path) if let Err(e) = fs::copy(from, path) => {
520            sess.dcx().emit_err(errors::CopyPath::new(from, path, e));
521        }
522        _ => {}
523    };
524
525    let copy_if_one_unit = |output_type: OutputType, keep_numbered: bool| {
526        if let [module] = &compiled_modules.modules[..] {
527            // 1) Only one codegen unit. In this case it's no difficulty
528            //    to copy `foo.0.x` to `foo.x`.
529            let path = crate_output.temp_path_for_cgu(output_type, &module.name);
530            let output = crate_output.path(output_type);
531            if !output_type.is_text_output() && output.is_tty() {
532                sess.dcx()
533                    .emit_err(errors::BinaryOutputToTty { shorthand: output_type.shorthand() });
534            } else {
535                copy_gracefully(&path, &output);
536            }
537            if !sess.opts.cg.save_temps && !keep_numbered {
538                // The user just wants `foo.x`, not `foo.#module-name#.x`.
539                ensure_removed(sess.dcx(), &path);
540            }
541        } else {
542            if crate_output.outputs.contains_explicit_name(&output_type) {
543                // 2) Multiple codegen units, with `--emit foo=some_name`. We have
544                //    no good solution for this case, so warn the user.
545                sess.dcx()
546                    .emit_warn(errors::IgnoringEmitPath { extension: output_type.extension() });
547            } else if crate_output.single_output_file.is_some() {
548                // 3) Multiple codegen units, with `-o some_name`. We have
549                //    no good solution for this case, so warn the user.
550                sess.dcx().emit_warn(errors::IgnoringOutput { extension: output_type.extension() });
551            } else {
552                // 4) Multiple codegen units, but no explicit name. We
553                //    just leave the `foo.0.x` files in place.
554                // (We don't have to do any work in this case.)
555            }
556        }
557    };
558
559    // Flag to indicate whether the user explicitly requested bitcode.
560    // Otherwise, we produced it only as a temporary output, and will need
561    // to get rid of it.
562    for output_type in crate_output.outputs.keys() {
563        match *output_type {
564            OutputType::Bitcode => {
565                user_wants_bitcode = true;
566                // Copy to .bc, but always keep the .0.bc. There is a later
567                // check to figure out if we should delete .0.bc files, or keep
568                // them for making an rlib.
569                copy_if_one_unit(OutputType::Bitcode, true);
570            }
571            OutputType::ThinLinkBitcode => {
572                copy_if_one_unit(OutputType::ThinLinkBitcode, false);
573            }
574            OutputType::LlvmAssembly => {
575                copy_if_one_unit(OutputType::LlvmAssembly, false);
576            }
577            OutputType::Assembly => {
578                copy_if_one_unit(OutputType::Assembly, false);
579            }
580            OutputType::Object => {
581                user_wants_objects = true;
582                copy_if_one_unit(OutputType::Object, true);
583            }
584            OutputType::Mir | OutputType::Metadata | OutputType::Exe | OutputType::DepInfo => {}
585        }
586    }
587
588    // Clean up unwanted temporary files.
589
590    // We create the following files by default:
591    //  - #crate#.#module-name#.rcgu.bc
592    //  - #crate#.#module-name#.rcgu.o
593    //  - #crate#.o (linked from crate.##.rcgu.o)
594    //  - #crate#.bc (copied from crate.##.rcgu.bc)
595    // We may create additional files if requested by the user (through
596    // `-C save-temps` or `--emit=` flags).
597
598    if !sess.opts.cg.save_temps {
599        // Remove the temporary .#module-name#.rcgu.o objects. If the user didn't
600        // explicitly request bitcode (with --emit=bc), and the bitcode is not
601        // needed for building an rlib, then we must remove .#module-name#.bc as
602        // well.
603
604        // Specific rules for keeping .#module-name#.rcgu.bc:
605        //  - If the user requested bitcode (`user_wants_bitcode`), and
606        //    codegen_units > 1, then keep it.
607        //  - If the user requested bitcode but codegen_units == 1, then we
608        //    can toss .#module-name#.rcgu.bc because we copied it to .bc earlier.
609        //  - If we're not building an rlib and the user didn't request
610        //    bitcode, then delete .#module-name#.rcgu.bc.
611        // If you change how this works, also update back::link::link_rlib,
612        // where .#module-name#.rcgu.bc files are (maybe) deleted after making an
613        // rlib.
614        let needs_crate_object = crate_output.outputs.contains_key(&OutputType::Exe);
615
616        let keep_numbered_bitcode = user_wants_bitcode && sess.codegen_units().as_usize() > 1;
617
618        let keep_numbered_objects =
619            needs_crate_object || (user_wants_objects && sess.codegen_units().as_usize() > 1);
620
621        for module in compiled_modules.modules.iter() {
622            if !keep_numbered_objects {
623                if let Some(ref path) = module.object {
624                    ensure_removed(sess.dcx(), path);
625                }
626
627                if let Some(ref path) = module.global_asm_object {
628                    ensure_removed(sess.dcx(), path);
629                }
630
631                if let Some(ref path) = module.dwarf_object {
632                    ensure_removed(sess.dcx(), path);
633                }
634            }
635
636            if let Some(ref path) = module.bytecode {
637                if !keep_numbered_bitcode {
638                    ensure_removed(sess.dcx(), path);
639                }
640            }
641        }
642
643        if !user_wants_bitcode
644            && let Some(ref allocator_module) = compiled_modules.allocator_module
645            && let Some(ref path) = allocator_module.bytecode
646        {
647            ensure_removed(sess.dcx(), path);
648        }
649    }
650
651    if sess.opts.json_artifact_notifications {
652        if let [module] = &compiled_modules.modules[..] {
653            module.for_each_output(|_path, ty| {
654                if sess.opts.output_types.contains_key(&ty) {
655                    let descr = ty.shorthand();
656                    // for single cgu file is renamed to drop cgu specific suffix
657                    // so we regenerate it the same way
658                    let path = crate_output.path(ty);
659                    sess.dcx().emit_artifact_notification(path.as_path(), descr);
660                }
661            });
662        } else {
663            for module in &compiled_modules.modules {
664                module.for_each_output(|path, ty| {
665                    if sess.opts.output_types.contains_key(&ty) {
666                        let descr = ty.shorthand();
667                        sess.dcx().emit_artifact_notification(&path, descr);
668                    }
669                });
670            }
671        }
672    }
673
674    // We leave the following files around by default:
675    //  - #crate#.o
676    //  - #crate#.bc
677    // These are used in linking steps and will be cleaned up afterward.
678}
679
680pub(crate) enum WorkItem<B: WriteBackendMethods> {
681    /// Optimize a newly codegened, totally unoptimized module.
682    Optimize(ModuleCodegen<B::Module>),
683    /// Copy the post-LTO artifacts from the incremental cache to the output
684    /// directory.
685    CopyPostLtoArtifacts(CachedModuleCodegen),
686}
687
688enum ThinLtoWorkItem<B: WriteBackendMethods> {
689    /// Copy the post-LTO artifacts from the incremental cache to the output
690    /// directory.
691    CopyPostLtoArtifacts(CachedModuleCodegen),
692    /// Performs thin-LTO on the given module.
693    ThinLto(lto::ThinModule<B>),
694}
695
696// `pthread_setname()` on *nix ignores anything beyond the first 15
697// bytes. Use short descriptions to maximize the space available for
698// the module name.
699#[cfg(not(windows))]
700fn desc(short: &str, _long: &str, name: &str) -> String {
701    // The short label is three bytes, and is followed by a space. That
702    // leaves 11 bytes for the CGU name. How we obtain those 11 bytes
703    // depends on the CGU name form.
704    //
705    // - Non-incremental, e.g. `regex.f10ba03eb5ec7975-cgu.0`: the part
706    //   before the `-cgu.0` is the same for every CGU, so use the
707    //   `cgu.0` part. The number suffix will be different for each
708    //   CGU.
709    //
710    // - Incremental (normal), e.g. `2i52vvl2hco29us0`: use the whole
711    //   name because each CGU will have a unique ASCII hash, and the
712    //   first 11 bytes will be enough to identify it.
713    //
714    // - Incremental (with `-Zhuman-readable-cgu-names`), e.g.
715    //   `regex.f10ba03eb5ec7975-re_builder.volatile`: use the whole
716    //   name. The first 11 bytes won't be enough to uniquely identify
717    //   it, but no obvious substring will, and this is a rarely used
718    //   option so it doesn't matter much.
719    //
720    match (&short.len(), &3) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(short.len(), 3);
721    let name = if let Some(index) = name.find("-cgu.") {
722        &name[index + 1..] // +1 skips the leading '-'.
723    } else {
724        name
725    };
726    ::alloc::__export::must_use({
        ::alloc::fmt::format(format_args!("{0} {1}", short, name))
    })format!("{short} {name}")
727}
728
729// Windows has no thread name length limit, so use more descriptive names.
730#[cfg(windows)]
731fn desc(_short: &str, long: &str, name: &str) -> String {
732    format!("{long} {name}")
733}
734
735impl<B: WriteBackendMethods> WorkItem<B> {
736    /// Generate a short description of this work item suitable for use as a thread name.
737    fn short_description(&self) -> String {
738        match self {
739            WorkItem::Optimize(m) => desc("opt", "optimize module", &m.name),
740            WorkItem::CopyPostLtoArtifacts(m) => desc("cpy", "copy LTO artifacts for", &m.name),
741        }
742    }
743}
744
745impl<B: WriteBackendMethods> ThinLtoWorkItem<B> {
746    /// Generate a short description of this work item suitable for use as a thread name.
747    fn short_description(&self) -> String {
748        match self {
749            ThinLtoWorkItem::CopyPostLtoArtifacts(m) => {
750                desc("cpy", "copy LTO artifacts for", &m.name)
751            }
752            ThinLtoWorkItem::ThinLto(m) => desc("lto", "thin-LTO module", m.name()),
753        }
754    }
755}
756
757/// A result produced by the backend.
758pub(crate) enum WorkItemResult<B: WriteBackendMethods> {
759    /// The backend has finished compiling a CGU, nothing more required.
760    Finished(CompiledModule),
761
762    /// The backend has finished compiling a CGU, which now needs to go through
763    /// fat LTO.
764    NeedsFatLto(FatLtoInput<B>),
765
766    /// The backend has finished compiling a CGU, which now needs to go through
767    /// thin LTO.
768    NeedsThinLto(String, B::ModuleBuffer),
769}
770
771pub enum FatLtoInput<B: WriteBackendMethods> {
772    Serialized { name: String, bitcode_path: PathBuf },
773    InMemory(ModuleCodegen<B::Module>),
774}
775
776pub enum ThinLtoInput<B: WriteBackendMethods> {
777    Red { name: String, buffer: SerializedModule<B::ModuleBuffer> },
778    Green { wp: WorkProduct, bitcode_path: PathBuf },
779}
780
781/// Actual LTO type we end up choosing based on multiple factors.
782pub(crate) enum ComputedLtoType {
783    No,
784    Thin,
785    Fat,
786}
787
788pub(crate) fn compute_per_cgu_lto_type(
789    sess_lto: &Lto,
790    linker_does_lto: bool,
791    sess_crate_types: &[CrateType],
792) -> ComputedLtoType {
793    // If the linker does LTO, we don't have to do it. Note that we
794    // keep doing full LTO, if it is requested, as not to break the
795    // assumption that the output will be a single module.
796
797    // We ignore a request for full crate graph LTO if the crate type
798    // is only an rlib, as there is no full crate graph to process,
799    // that'll happen later.
800    //
801    // This use case currently comes up primarily for targets that
802    // require LTO so the request for LTO is always unconditionally
803    // passed down to the backend, but we don't actually want to do
804    // anything about it yet until we've got a final product.
805    let is_rlib = #[allow(non_exhaustive_omitted_patterns)] match sess_crate_types {
    [CrateType::Rlib] => true,
    _ => false,
}matches!(sess_crate_types, [CrateType::Rlib]);
806
807    match sess_lto {
808        Lto::ThinLocal if !linker_does_lto => ComputedLtoType::Thin,
809        Lto::Thin if !linker_does_lto && !is_rlib => ComputedLtoType::Thin,
810        Lto::Fat if !is_rlib => ComputedLtoType::Fat,
811        _ => ComputedLtoType::No,
812    }
813}
814
815fn execute_optimize_work_item<B: WriteBackendMethods>(
816    cgcx: &CodegenContext,
817    prof: &SelfProfilerRef,
818    shared_emitter: SharedEmitter,
819    mut module: ModuleCodegen<B::Module>,
820) -> WorkItemResult<B> {
821    let _timer = prof.generic_activity_with_arg("codegen_module_optimize", &*module.name);
822
823    B::optimize(cgcx, prof, &shared_emitter, &mut module, &cgcx.module_config);
824
825    // After we've done the initial round of optimizations we need to
826    // decide whether to synchronously codegen this module or ship it
827    // back to the coordinator thread for further LTO processing (which
828    // has to wait for all the initial modules to be optimized).
829
830    let lto_type =
831        compute_per_cgu_lto_type(&cgcx.lto, cgcx.use_linker_plugin_lto, &cgcx.crate_types);
832
833    // If we're doing some form of incremental LTO then we need to be sure to
834    // save our module to disk first.
835    let bitcode = if cgcx.module_config.emit_pre_lto_bc {
836        let filename = pre_lto_bitcode_filename(&module.name);
837        cgcx.incr_comp_session_dir.as_ref().map(|path| path.join(&filename))
838    } else {
839        None
840    };
841
842    match lto_type {
843        ComputedLtoType::No => {
844            let module = B::codegen(cgcx, &prof, &shared_emitter, module, &cgcx.module_config);
845            WorkItemResult::Finished(module)
846        }
847        ComputedLtoType::Thin => {
848            let thin_buffer = B::serialize_module(module.module_llvm, true);
849            if let Some(path) = bitcode {
850                fs::write(&path, thin_buffer.data()).unwrap_or_else(|e| {
851                    {
    ::core::panicking::panic_fmt(format_args!("Error writing pre-lto-bitcode file `{0}`: {1}",
            path.display(), e));
};panic!("Error writing pre-lto-bitcode file `{}`: {}", path.display(), e);
852                });
853            }
854            WorkItemResult::NeedsThinLto(module.name, thin_buffer)
855        }
856        ComputedLtoType::Fat => match bitcode {
857            Some(path) => {
858                let buffer = B::serialize_module(module.module_llvm, false);
859                fs::write(&path, buffer.data()).unwrap_or_else(|e| {
860                    {
    ::core::panicking::panic_fmt(format_args!("Error writing pre-lto-bitcode file `{0}`: {1}",
            path.display(), e));
};panic!("Error writing pre-lto-bitcode file `{}`: {}", path.display(), e);
861                });
862                WorkItemResult::NeedsFatLto(FatLtoInput::Serialized {
863                    name: module.name,
864                    bitcode_path: path,
865                })
866            }
867            None => WorkItemResult::NeedsFatLto(FatLtoInput::InMemory(module)),
868        },
869    }
870}
871
872fn execute_copy_from_cache_work_item(
873    cgcx: &CodegenContext,
874    prof: &SelfProfilerRef,
875    shared_emitter: SharedEmitter,
876    module: CachedModuleCodegen,
877) -> CompiledModule {
878    let _timer =
879        prof.generic_activity_with_arg("codegen_copy_artifacts_from_incr_cache", &*module.name);
880
881    let dcx = DiagCtxt::new(Box::new(shared_emitter));
882    let dcx = dcx.handle();
883
884    let incr_comp_session_dir = cgcx.incr_comp_session_dir.as_ref().unwrap();
885
886    let mut links_from_incr_cache = Vec::new();
887
888    let mut load_from_incr_comp_dir = |output_path: PathBuf, saved_path: &str| {
889        let source_file = in_incr_comp_dir(incr_comp_session_dir, saved_path);
890        {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_codegen_ssa/src/back/write.rs:890",
                        "rustc_codegen_ssa::back::write", ::tracing::Level::DEBUG,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_codegen_ssa/src/back/write.rs"),
                        ::tracing_core::__macro_support::Option::Some(890u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_codegen_ssa::back::write"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::DEBUG <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::DEBUG <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("copying preexisting module `{0}` from {1:?} to {2}",
                                                    module.name, source_file, output_path.display()) as
                                            &dyn Value))])
            });
    } else { ; }
};debug!(
891            "copying preexisting module `{}` from {:?} to {}",
892            module.name,
893            source_file,
894            output_path.display()
895        );
896        match link_or_copy(&source_file, &output_path) {
897            Ok(_) => {
898                links_from_incr_cache.push(source_file);
899                Some(output_path)
900            }
901            Err(error) => {
902                dcx.emit_err(errors::CopyPathBuf { source_file, output_path, error });
903                None
904            }
905        }
906    };
907
908    let dwarf_object =
909        module.source.saved_files.get("dwo").as_ref().and_then(|saved_dwarf_object_file| {
910            let dwarf_obj_out = cgcx
911                .output_filenames
912                .split_dwarf_path(cgcx.split_debuginfo, cgcx.split_dwarf_kind, &module.name)
913                .expect(
914                    "saved dwarf object in work product but `split_dwarf_path` returned `None`",
915                );
916            load_from_incr_comp_dir(dwarf_obj_out, saved_dwarf_object_file)
917        });
918
919    let mut load_from_incr_cache = |perform, output_type: OutputType| {
920        if perform {
921            let saved_file = module.source.saved_files.get(output_type.extension())?;
922            let output_path = cgcx.output_filenames.temp_path_for_cgu(output_type, &module.name);
923            load_from_incr_comp_dir(output_path, &saved_file)
924        } else {
925            None
926        }
927    };
928
929    let module_config = &cgcx.module_config;
930    let should_emit_obj = module_config.emit_obj != EmitObj::None;
931    let assembly = load_from_incr_cache(module_config.emit_asm, OutputType::Assembly);
932    let llvm_ir = load_from_incr_cache(module_config.emit_ir, OutputType::LlvmAssembly);
933    let bytecode = load_from_incr_cache(module_config.emit_bc, OutputType::Bitcode);
934    let object = load_from_incr_cache(should_emit_obj, OutputType::Object);
935    let global_asm_object =
936        if should_emit_obj && let Some(saved_file) = module.source.saved_files.get("asm.o") {
937            let output_path = cgcx.output_filenames.temp_path_ext_for_cgu("asm.o", &module.name);
938            load_from_incr_comp_dir(output_path, &saved_file)
939        } else {
940            None
941        };
942    if should_emit_obj && object.is_none() {
943        dcx.emit_fatal(errors::NoSavedObjectFile { cgu_name: &module.name })
944    }
945
946    CompiledModule {
947        links_from_incr_cache,
948        kind: ModuleKind::Regular,
949        name: module.name,
950        object,
951        global_asm_object,
952        dwarf_object,
953        bytecode,
954        assembly,
955        llvm_ir,
956    }
957}
958
959fn do_fat_lto<B: WriteBackendMethods>(
960    sess: &Session,
961    cgcx: &CodegenContext,
962    shared_emitter: SharedEmitter,
963    tm_factory: TargetMachineFactoryFn<B>,
964    exported_symbols_for_lto: &[String],
965    each_linked_rlib_for_lto: &[PathBuf],
966    needs_fat_lto: Vec<FatLtoInput<B>>,
967) -> CompiledModule {
968    let _timer = sess.prof.verbose_generic_activity("LLVM_fatlto");
969
970    let dcx = DiagCtxt::new(Box::new(shared_emitter.clone()));
971    let dcx = dcx.handle();
972
973    check_lto_allowed(&cgcx, dcx);
974
975    B::optimize_and_codegen_fat_lto(
976        sess,
977        cgcx,
978        &shared_emitter,
979        tm_factory,
980        exported_symbols_for_lto,
981        each_linked_rlib_for_lto,
982        needs_fat_lto,
983    )
984}
985
986fn do_thin_lto<B: WriteBackendMethods>(
987    cgcx: &CodegenContext,
988    prof: &SelfProfilerRef,
989    shared_emitter: SharedEmitter,
990    tm_factory: TargetMachineFactoryFn<B>,
991    exported_symbols_for_lto: &[String],
992    each_linked_rlib_for_lto: &[PathBuf],
993    needs_thin_lto: Vec<ThinLtoInput<B>>,
994) -> Vec<CompiledModule> {
995    let _timer = prof.verbose_generic_activity("LLVM_thinlto");
996
997    let dcx = DiagCtxt::new(Box::new(shared_emitter.clone()));
998    let dcx = dcx.handle();
999
1000    check_lto_allowed(&cgcx, dcx);
1001
1002    let (coordinator_send, coordinator_receive) = channel();
1003
1004    // First up, convert our jobserver into a helper thread so we can use normal
1005    // mpsc channels to manage our messages and such.
1006    // After we've requested tokens then we'll, when we can,
1007    // get tokens on `coordinator_receive` which will
1008    // get managed in the main loop below.
1009    let coordinator_send2 = coordinator_send.clone();
1010    let helper = jobserver::client()
1011        .into_helper_thread(move |token| {
1012            drop(coordinator_send2.send(ThinLtoMessage::Token(token)));
1013        })
1014        .expect("failed to spawn helper thread");
1015
1016    let mut work_items = ::alloc::vec::Vec::new()vec![];
1017
1018    // We have LTO work to do. Perform the serial work here of
1019    // figuring out what we're going to LTO and then push a
1020    // bunch of work items onto our queue to do LTO. This all
1021    // happens on the coordinator thread but it's very quick so
1022    // we don't worry about tokens.
1023    for (work, cost) in generate_thin_lto_work::<B>(
1024        cgcx,
1025        prof,
1026        dcx,
1027        &exported_symbols_for_lto,
1028        &each_linked_rlib_for_lto,
1029        needs_thin_lto,
1030    ) {
1031        let insertion_index =
1032            work_items.binary_search_by_key(&cost, |&(_, cost)| cost).unwrap_or_else(|e| e);
1033        work_items.insert(insertion_index, (work, cost));
1034        if cgcx.parallel {
1035            helper.request_token();
1036        }
1037    }
1038
1039    let mut codegen_aborted = None;
1040
1041    // These are the Jobserver Tokens we currently hold. Does not include
1042    // the implicit Token the compiler process owns no matter what.
1043    let mut tokens = ::alloc::vec::Vec::new()vec![];
1044
1045    // Amount of tokens that are used (including the implicit token).
1046    let mut used_token_count = 0;
1047
1048    let mut compiled_modules = ::alloc::vec::Vec::new()vec![];
1049
1050    // Run the message loop while there's still anything that needs message
1051    // processing. Note that as soon as codegen is aborted we simply want to
1052    // wait for all existing work to finish, so many of the conditions here
1053    // only apply if codegen hasn't been aborted as they represent pending
1054    // work to be done.
1055    loop {
1056        if codegen_aborted.is_none() {
1057            if used_token_count == 0 && work_items.is_empty() {
1058                // All codegen work is done.
1059                break;
1060            }
1061
1062            // Spin up what work we can, only doing this while we've got available
1063            // parallelism slots and work left to spawn.
1064            while used_token_count < tokens.len() + 1
1065                && let Some((item, _)) = work_items.pop()
1066            {
1067                spawn_thin_lto_work(
1068                    &cgcx,
1069                    prof,
1070                    shared_emitter.clone(),
1071                    Arc::clone(&tm_factory),
1072                    coordinator_send.clone(),
1073                    item,
1074                );
1075                used_token_count += 1;
1076            }
1077        } else {
1078            // Don't queue up any more work if codegen was aborted, we're
1079            // just waiting for our existing children to finish.
1080            if used_token_count == 0 {
1081                break;
1082            }
1083        }
1084
1085        // Relinquish accidentally acquired extra tokens. Subtract 1 for the implicit token.
1086        tokens.truncate(used_token_count.saturating_sub(1));
1087
1088        match coordinator_receive.recv().unwrap() {
1089            // Save the token locally and the next turn of the loop will use
1090            // this to spawn a new unit of work, or it may get dropped
1091            // immediately if we have no more work to spawn.
1092            ThinLtoMessage::Token(token) => match token {
1093                Ok(token) => {
1094                    tokens.push(token);
1095                }
1096                Err(e) => {
1097                    let msg = &::alloc::__export::must_use({
        ::alloc::fmt::format(format_args!("failed to acquire jobserver token: {0}",
                e))
    })format!("failed to acquire jobserver token: {e}");
1098                    shared_emitter.fatal(msg);
1099                    codegen_aborted = Some(FatalError);
1100                }
1101            },
1102
1103            ThinLtoMessage::WorkItem { result } => {
1104                // If a thread exits successfully then we drop a token associated
1105                // with that worker and update our `used_token_count` count.
1106                // We may later re-acquire a token to continue running more work.
1107                // We may also not actually drop a token here if the worker was
1108                // running with an "ephemeral token".
1109                used_token_count -= 1;
1110
1111                match result {
1112                    Ok(compiled_module) => compiled_modules.push(compiled_module),
1113                    Err(Some(WorkerFatalError)) => {
1114                        // Like `CodegenAborted`, wait for remaining work to finish.
1115                        codegen_aborted = Some(FatalError);
1116                    }
1117                    Err(None) => {
1118                        // If the thread failed that means it panicked, so
1119                        // we abort immediately.
1120                        ::rustc_middle::util::bug::bug_fmt(format_args!("worker thread panicked"));bug!("worker thread panicked");
1121                    }
1122                }
1123            }
1124        }
1125    }
1126
1127    if let Some(codegen_aborted) = codegen_aborted {
1128        codegen_aborted.raise();
1129    }
1130
1131    compiled_modules
1132}
1133
1134/// Messages sent to the coordinator.
1135pub(crate) enum Message<B: WriteBackendMethods> {
1136    /// A jobserver token has become available. Sent from the jobserver helper
1137    /// thread.
1138    Token(io::Result<Acquired>),
1139
1140    /// The backend has finished processing a work item for a codegen unit.
1141    /// Sent from a backend worker thread.
1142    WorkItem { result: Result<WorkItemResult<B>, Option<WorkerFatalError>> },
1143
1144    /// The frontend has finished generating something (backend IR or a
1145    /// post-LTO artifact) for a codegen unit, and it should be passed to the
1146    /// backend. Sent from the main thread.
1147    CodegenDone { llvm_work_item: WorkItem<B>, cost: u64 },
1148
1149    /// Similar to `CodegenDone`, but for reusing a pre-LTO artifact
1150    /// Sent from the main thread.
1151    AddImportOnlyModule { bitcode_path: PathBuf, work_product: WorkProduct },
1152
1153    /// The frontend has finished generating everything for all codegen units.
1154    /// Sent from the main thread.
1155    CodegenComplete,
1156
1157    /// Some normal-ish compiler error occurred, and codegen should be wound
1158    /// down. Sent from the main thread.
1159    CodegenAborted,
1160}
1161
1162/// Messages sent to the coordinator.
1163pub(crate) enum ThinLtoMessage {
1164    /// A jobserver token has become available. Sent from the jobserver helper
1165    /// thread.
1166    Token(io::Result<Acquired>),
1167
1168    /// The backend has finished processing a work item for a codegen unit.
1169    /// Sent from a backend worker thread.
1170    WorkItem { result: Result<CompiledModule, Option<WorkerFatalError>> },
1171}
1172
1173/// A message sent from the coordinator thread to the main thread telling it to
1174/// process another codegen unit.
1175pub struct CguMessage;
1176
1177// A cut-down version of `rustc_errors::DiagInner` that impls `Send`, which
1178// can be used to send diagnostics from codegen threads to the main thread.
1179// It's missing the following fields from `rustc_errors::DiagInner`.
1180// - `span`: it doesn't impl `Send`.
1181// - `suggestions`: it doesn't impl `Send`, and isn't used for codegen
1182//   diagnostics.
1183// - `sort_span`: it doesn't impl `Send`.
1184// - `is_lint`: lints aren't relevant during codegen.
1185// - `emitted_at`: not used for codegen diagnostics.
1186struct Diagnostic {
1187    span: Vec<SpanData>,
1188    level: Level,
1189    messages: Vec<(DiagMessage, Style)>,
1190    code: Option<ErrCode>,
1191    children: Vec<Subdiagnostic>,
1192    args: DiagArgMap,
1193}
1194
1195// A cut-down version of `rustc_errors::Subdiag` that impls `Send`. It's
1196// missing the following fields from `rustc_errors::Subdiag`.
1197// - `span`: it doesn't impl `Send`.
1198struct Subdiagnostic {
1199    level: Level,
1200    messages: Vec<(DiagMessage, Style)>,
1201}
1202
1203#[derive(#[automatically_derived]
impl ::core::cmp::PartialEq for MainThreadState {
    #[inline]
    fn eq(&self, other: &MainThreadState) -> bool {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        __self_discr == __arg1_discr
    }
}PartialEq, #[automatically_derived]
impl ::core::clone::Clone for MainThreadState {
    #[inline]
    fn clone(&self) -> MainThreadState { *self }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for MainThreadState { }Copy, #[automatically_derived]
impl ::core::fmt::Debug for MainThreadState {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::write_str(f,
            match self {
                MainThreadState::Idle => "Idle",
                MainThreadState::Codegenning => "Codegenning",
                MainThreadState::Lending => "Lending",
            })
    }
}Debug)]
1204enum MainThreadState {
1205    /// Doing nothing.
1206    Idle,
1207
1208    /// Doing codegen, i.e. MIR-to-LLVM-IR conversion.
1209    Codegenning,
1210
1211    /// Idle, but lending the compiler process's Token to an LLVM thread so it can do useful work.
1212    Lending,
1213}
1214
1215fn start_executing_work<B: WriteBackendMethods>(
1216    backend: B,
1217    tcx: TyCtxt<'_>,
1218    shared_emitter: SharedEmitter,
1219    codegen_worker_send: Sender<CguMessage>,
1220    coordinator_receive: Receiver<Message<B>>,
1221    regular_config: Arc<ModuleConfig>,
1222    allocator_config: Arc<ModuleConfig>,
1223    mut allocator_module: Option<ModuleCodegen<B::Module>>,
1224    coordinator_send: Sender<Message<B>>,
1225) -> thread::JoinHandle<Result<MaybeLtoModules<B>, ()>> {
1226    let sess = tcx.sess;
1227    let prof = sess.prof.clone();
1228
1229    // Compute the set of symbols we need to retain when doing thin local LTO (if we need to)
1230    let exported_symbols_for_lto =
1231        if sess.lto() == Lto::ThinLocal { lto::exported_symbols_for_lto(tcx, &[]) } else { ::alloc::vec::Vec::new()vec![] };
1232
1233    // First up, convert our jobserver into a helper thread so we can use normal
1234    // mpsc channels to manage our messages and such.
1235    // After we've requested tokens then we'll, when we can,
1236    // get tokens on `coordinator_receive` which will
1237    // get managed in the main loop below.
1238    let coordinator_send2 = coordinator_send.clone();
1239    let helper = jobserver::client()
1240        .into_helper_thread(move |token| {
1241            drop(coordinator_send2.send(Message::Token::<B>(token)));
1242        })
1243        .expect("failed to spawn helper thread");
1244
1245    let opt_level = tcx.backend_optimization_level(());
1246    let backend_features = tcx.global_backend_features(()).clone();
1247    let tm_factory = backend.target_machine_factory(tcx.sess, opt_level, &backend_features);
1248
1249    let remark_dir = if let Some(ref dir) = sess.opts.unstable_opts.remark_dir {
1250        let result = fs::create_dir_all(dir).and_then(|_| dir.canonicalize());
1251        match result {
1252            Ok(dir) => Some(dir),
1253            Err(error) => sess.dcx().emit_fatal(ErrorCreatingRemarkDir { error }),
1254        }
1255    } else {
1256        None
1257    };
1258
1259    let cgcx = CodegenContext {
1260        crate_types: tcx.crate_types().to_vec(),
1261        lto: sess.lto(),
1262        use_linker_plugin_lto: sess.opts.cg.linker_plugin_lto.enabled(),
1263        dylib_lto: sess.opts.unstable_opts.dylib_lto,
1264        prefer_dynamic: sess.opts.cg.prefer_dynamic,
1265        fewer_names: sess.fewer_names(),
1266        save_temps: sess.opts.cg.save_temps,
1267        time_trace: sess.opts.unstable_opts.llvm_time_trace,
1268        remark: sess.opts.cg.remark.clone(),
1269        remark_dir,
1270        incr_comp_session_dir: sess.incr_comp_session_dir_opt().map(|r| r.clone()),
1271        output_filenames: Arc::clone(tcx.output_filenames(())),
1272        module_config: regular_config,
1273        opt_level,
1274        backend_features,
1275        msvc_imps_needed: msvc_imps_needed(tcx),
1276        is_pe_coff: tcx.sess.target.is_like_windows,
1277        target_can_use_split_dwarf: tcx.sess.target_can_use_split_dwarf(),
1278        target_arch: tcx.sess.target.arch.to_string(),
1279        target_is_like_darwin: tcx.sess.target.is_like_darwin,
1280        target_is_like_aix: tcx.sess.target.is_like_aix,
1281        target_is_like_gpu: tcx.sess.target.is_like_gpu,
1282        split_debuginfo: tcx.sess.split_debuginfo(),
1283        split_dwarf_kind: tcx.sess.opts.unstable_opts.split_dwarf_kind,
1284        parallel: backend.supports_parallel() && !sess.opts.unstable_opts.no_parallel_backend,
1285        pointer_size: tcx.data_layout.pointer_size(),
1286    };
1287
1288    // This is the "main loop" of parallel work happening for parallel codegen.
1289    // It's here that we manage parallelism, schedule work, and work with
1290    // messages coming from clients.
1291    //
1292    // There are a few environmental pre-conditions that shape how the system
1293    // is set up:
1294    //
1295    // - Error reporting can only happen on the main thread because that's the
1296    //   only place where we have access to the compiler `Session`.
1297    // - LLVM work can be done on any thread.
1298    // - Codegen can only happen on the main thread.
1299    // - Each thread doing substantial work must be in possession of a `Token`
1300    //   from the `Jobserver`.
1301    // - The compiler process always holds one `Token`. Any additional `Tokens`
1302    //   have to be requested from the `Jobserver`.
1303    //
1304    // Error Reporting
1305    // ===============
1306    // The error reporting restriction is handled separately from the rest: We
1307    // set up a `SharedEmitter` that holds an open channel to the main thread.
1308    // When an error occurs on any thread, the shared emitter will send the
1309    // error message to the receiver main thread (`SharedEmitterMain`). The
1310    // main thread will periodically query this error message queue and emit
1311    // any error messages it has received. It might even abort compilation if
1312    // it has received a fatal error. In this case we rely on all other threads
1313    // being torn down automatically with the main thread.
1314    // Since the main thread will often be busy doing codegen work, error
1315    // reporting will be somewhat delayed, since the message queue can only be
1316    // checked in between two work packages.
1317    //
1318    // Work Processing Infrastructure
1319    // ==============================
1320    // The work processing infrastructure knows three major actors:
1321    //
1322    // - the coordinator thread,
1323    // - the main thread, and
1324    // - LLVM worker threads
1325    //
1326    // The coordinator thread is running a message loop. It instructs the main
1327    // thread about what work to do when, and it will spawn off LLVM worker
1328    // threads as open LLVM WorkItems become available.
1329    //
1330    // The job of the main thread is to codegen CGUs into LLVM work packages
1331    // (since the main thread is the only thread that can do this). The main
1332    // thread will block until it receives a message from the coordinator, upon
1333    // which it will codegen one CGU, send it to the coordinator and block
1334    // again. This way the coordinator can control what the main thread is
1335    // doing.
1336    //
1337    // The coordinator keeps a queue of LLVM WorkItems, and when a `Token` is
1338    // available, it will spawn off a new LLVM worker thread and let it process
1339    // a WorkItem. When a LLVM worker thread is done with its WorkItem,
1340    // it will just shut down, which also frees all resources associated with
1341    // the given LLVM module, and sends a message to the coordinator that the
1342    // WorkItem has been completed.
1343    //
1344    // Work Scheduling
1345    // ===============
1346    // The scheduler's goal is to minimize the time it takes to complete all
1347    // work there is, however, we also want to keep memory consumption low
1348    // if possible. These two goals are at odds with each other: If memory
1349    // consumption were not an issue, we could just let the main thread produce
1350    // LLVM WorkItems at full speed, assuring maximal utilization of
1351    // Tokens/LLVM worker threads. However, since codegen is usually faster
1352    // than LLVM processing, the queue of LLVM WorkItems would fill up and each
1353    // WorkItem potentially holds on to a substantial amount of memory.
1354    //
1355    // So the actual goal is to always produce just enough LLVM WorkItems as
1356    // not to starve our LLVM worker threads. That means, once we have enough
1357    // WorkItems in our queue, we can block the main thread, so it does not
1358    // produce more until we need them.
1359    //
1360    // Doing LLVM Work on the Main Thread
1361    // ----------------------------------
1362    // Since the main thread owns the compiler process's implicit `Token`, it is
1363    // wasteful to keep it blocked without doing any work. Therefore, what we do
1364    // in this case is: We spawn off an additional LLVM worker thread that helps
1365    // reduce the queue. The work it is doing corresponds to the implicit
1366    // `Token`. The coordinator will mark the main thread as being busy with
1367    // LLVM work. (The actual work happens on another OS thread but we just care
1368    // about `Tokens`, not actual threads).
1369    //
1370    // When any LLVM worker thread finishes while the main thread is marked as
1371    // "busy with LLVM work", we can do a little switcheroo: We give the Token
1372    // of the just finished thread to the LLVM worker thread that is working on
1373    // behalf of the main thread's implicit Token, thus freeing up the main
1374    // thread again. The coordinator can then again decide what the main thread
1375    // should do. This allows the coordinator to make decisions at more points
1376    // in time.
1377    //
1378    // Striking a Balance between Throughput and Memory Consumption
1379    // ------------------------------------------------------------
1380    // Since our two goals, (1) use as many Tokens as possible and (2) keep
1381    // memory consumption as low as possible, are in conflict with each other,
1382    // we have to find a trade off between them. Right now, the goal is to keep
1383    // all workers busy, which means that no worker should find the queue empty
1384    // when it is ready to start.
1385    // How do we do achieve this? Good question :) We actually never know how
1386    // many `Tokens` are potentially available so it's hard to say how much to
1387    // fill up the queue before switching the main thread to LLVM work. Also we
1388    // currently don't have a means to estimate how long a running LLVM worker
1389    // will still be busy with it's current WorkItem. However, we know the
1390    // maximal count of available Tokens that makes sense (=the number of CPU
1391    // cores), so we can take a conservative guess. The heuristic we use here
1392    // is implemented in the `queue_full_enough()` function.
1393    //
1394    // Some Background on Jobservers
1395    // -----------------------------
1396    // It's worth also touching on the management of parallelism here. We don't
1397    // want to just spawn a thread per work item because while that's optimal
1398    // parallelism it may overload a system with too many threads or violate our
1399    // configuration for the maximum amount of cpu to use for this process. To
1400    // manage this we use the `jobserver` crate.
1401    //
1402    // Job servers are an artifact of GNU make and are used to manage
1403    // parallelism between processes. A jobserver is a glorified IPC semaphore
1404    // basically. Whenever we want to run some work we acquire the semaphore,
1405    // and whenever we're done with that work we release the semaphore. In this
1406    // manner we can ensure that the maximum number of parallel workers is
1407    // capped at any one point in time.
1408    //
1409    // LTO and the coordinator thread
1410    // ------------------------------
1411    //
1412    // The final job the coordinator thread is responsible for is managing LTO
1413    // and how that works. When LTO is requested what we'll do is collect all
1414    // optimized LLVM modules into a local vector on the coordinator. Once all
1415    // modules have been codegened and optimized we hand this to the `lto`
1416    // module for further optimization. The `lto` module will return back a list
1417    // of more modules to work on, which the coordinator will continue to spawn
1418    // work for.
1419    //
1420    // Each LLVM module is automatically sent back to the coordinator for LTO if
1421    // necessary. There's already optimizations in place to avoid sending work
1422    // back to the coordinator if LTO isn't requested.
1423    let f = move || {
1424        let _profiler = if cgcx.time_trace { B::thread_profiler() } else { Box::new(()) };
1425
1426        // This is where we collect codegen units that have gone all the way
1427        // through codegen and LLVM.
1428        let mut compiled_modules = ::alloc::vec::Vec::new()vec![];
1429        let mut needs_fat_lto = Vec::new();
1430        let mut needs_thin_lto = Vec::new();
1431        let mut lto_import_only_modules = Vec::new();
1432
1433        /// Possible state transitions:
1434        /// - Ongoing -> Completed
1435        /// - Ongoing -> Aborted
1436        /// - Completed -> Aborted
1437        #[derive(#[automatically_derived]
impl ::core::fmt::Debug for CodegenState {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::write_str(f,
            match self {
                CodegenState::Ongoing => "Ongoing",
                CodegenState::Completed => "Completed",
                CodegenState::Aborted => "Aborted",
            })
    }
}Debug, #[automatically_derived]
impl ::core::cmp::PartialEq for CodegenState {
    #[inline]
    fn eq(&self, other: &CodegenState) -> bool {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        __self_discr == __arg1_discr
    }
}PartialEq)]
1438        enum CodegenState {
1439            Ongoing,
1440            Completed,
1441            Aborted,
1442        }
1443        use CodegenState::*;
1444        let mut codegen_state = Ongoing;
1445
1446        // This is the queue of LLVM work items that still need processing.
1447        let mut work_items = Vec::<(WorkItem<B>, u64)>::new();
1448
1449        // This are the Jobserver Tokens we currently hold. Does not include
1450        // the implicit Token the compiler process owns no matter what.
1451        let mut tokens = Vec::new();
1452
1453        let mut main_thread_state = MainThreadState::Idle;
1454
1455        // How many LLVM worker threads are running while holding a Token. This
1456        // *excludes* any that the main thread is lending a Token to.
1457        let mut running_with_own_token = 0;
1458
1459        // How many LLVM worker threads are running in total. This *includes*
1460        // any that the main thread is lending a Token to.
1461        let running_with_any_token = |main_thread_state, running_with_own_token| {
1462            running_with_own_token
1463                + if main_thread_state == MainThreadState::Lending { 1 } else { 0 }
1464        };
1465
1466        let mut llvm_start_time: Option<VerboseTimingGuard<'_>> = None;
1467
1468        if let Some(allocator_module) = &mut allocator_module {
1469            B::optimize(&cgcx, &prof, &shared_emitter, allocator_module, &allocator_config);
1470        }
1471
1472        // Run the message loop while there's still anything that needs message
1473        // processing. Note that as soon as codegen is aborted we simply want to
1474        // wait for all existing work to finish, so many of the conditions here
1475        // only apply if codegen hasn't been aborted as they represent pending
1476        // work to be done.
1477        loop {
1478            // While there are still CGUs to be codegened, the coordinator has
1479            // to decide how to utilize the compiler processes implicit Token:
1480            // For codegenning more CGU or for running them through LLVM.
1481            if codegen_state == Ongoing {
1482                if main_thread_state == MainThreadState::Idle {
1483                    // Compute the number of workers that will be running once we've taken as many
1484                    // items from the work queue as we can, plus one for the main thread. It's not
1485                    // critically important that we use this instead of just
1486                    // `running_with_own_token`, but it prevents the `queue_full_enough` heuristic
1487                    // from fluctuating just because a worker finished up and we decreased the
1488                    // `running_with_own_token` count, even though we're just going to increase it
1489                    // right after this when we put a new worker to work.
1490                    let extra_tokens = tokens.len().checked_sub(running_with_own_token).unwrap();
1491                    let additional_running = std::cmp::min(extra_tokens, work_items.len());
1492                    let anticipated_running = running_with_own_token + additional_running + 1;
1493
1494                    if !queue_full_enough(work_items.len(), anticipated_running) {
1495                        // The queue is not full enough, process more codegen units:
1496                        if codegen_worker_send.send(CguMessage).is_err() {
1497                            {
    ::core::panicking::panic_fmt(format_args!("Could not send CguMessage to main thread"));
}panic!("Could not send CguMessage to main thread")
1498                        }
1499                        main_thread_state = MainThreadState::Codegenning;
1500                    } else {
1501                        // The queue is full enough to not let the worker
1502                        // threads starve. Use the implicit Token to do some
1503                        // LLVM work too.
1504                        let (item, _) =
1505                            work_items.pop().expect("queue empty - queue_full_enough() broken?");
1506                        main_thread_state = MainThreadState::Lending;
1507                        spawn_work(
1508                            &cgcx,
1509                            &prof,
1510                            shared_emitter.clone(),
1511                            coordinator_send.clone(),
1512                            &mut llvm_start_time,
1513                            item,
1514                        );
1515                    }
1516                }
1517            } else if codegen_state == Completed {
1518                if running_with_any_token(main_thread_state, running_with_own_token) == 0
1519                    && work_items.is_empty()
1520                {
1521                    // All codegen work is done.
1522                    break;
1523                }
1524
1525                // In this branch, we know that everything has been codegened,
1526                // so it's just a matter of determining whether the implicit
1527                // Token is free to use for LLVM work.
1528                match main_thread_state {
1529                    MainThreadState::Idle => {
1530                        if let Some((item, _)) = work_items.pop() {
1531                            main_thread_state = MainThreadState::Lending;
1532                            spawn_work(
1533                                &cgcx,
1534                                &prof,
1535                                shared_emitter.clone(),
1536                                coordinator_send.clone(),
1537                                &mut llvm_start_time,
1538                                item,
1539                            );
1540                        } else {
1541                            // There is no unstarted work, so let the main thread
1542                            // take over for a running worker. Otherwise the
1543                            // implicit token would just go to waste.
1544                            // We reduce the `running` counter by one. The
1545                            // `tokens.truncate()` below will take care of
1546                            // giving the Token back.
1547                            if !(running_with_own_token > 0) {
    ::core::panicking::panic("assertion failed: running_with_own_token > 0")
};assert!(running_with_own_token > 0);
1548                            running_with_own_token -= 1;
1549                            main_thread_state = MainThreadState::Lending;
1550                        }
1551                    }
1552                    MainThreadState::Codegenning => ::rustc_middle::util::bug::bug_fmt(format_args!("codegen worker should not be codegenning after codegen was already completed"))bug!(
1553                        "codegen worker should not be codegenning after \
1554                              codegen was already completed"
1555                    ),
1556                    MainThreadState::Lending => {
1557                        // Already making good use of that token
1558                    }
1559                }
1560            } else {
1561                // Don't queue up any more work if codegen was aborted, we're
1562                // just waiting for our existing children to finish.
1563                if !(codegen_state == Aborted) {
    ::core::panicking::panic("assertion failed: codegen_state == Aborted")
};assert!(codegen_state == Aborted);
1564                if running_with_any_token(main_thread_state, running_with_own_token) == 0 {
1565                    break;
1566                }
1567            }
1568
1569            // Spin up what work we can, only doing this while we've got available
1570            // parallelism slots and work left to spawn.
1571            if codegen_state != Aborted {
1572                while running_with_own_token < tokens.len()
1573                    && let Some((item, _)) = work_items.pop()
1574                {
1575                    spawn_work(
1576                        &cgcx,
1577                        &prof,
1578                        shared_emitter.clone(),
1579                        coordinator_send.clone(),
1580                        &mut llvm_start_time,
1581                        item,
1582                    );
1583                    running_with_own_token += 1;
1584                }
1585            }
1586
1587            // Relinquish accidentally acquired extra tokens.
1588            tokens.truncate(running_with_own_token);
1589
1590            match coordinator_receive.recv().unwrap() {
1591                // Save the token locally and the next turn of the loop will use
1592                // this to spawn a new unit of work, or it may get dropped
1593                // immediately if we have no more work to spawn.
1594                Message::Token(token) => {
1595                    match token {
1596                        Ok(token) => {
1597                            tokens.push(token);
1598
1599                            if main_thread_state == MainThreadState::Lending {
1600                                // If the main thread token is used for LLVM work
1601                                // at the moment, we turn that thread into a regular
1602                                // LLVM worker thread, so the main thread is free
1603                                // to react to codegen demand.
1604                                main_thread_state = MainThreadState::Idle;
1605                                running_with_own_token += 1;
1606                            }
1607                        }
1608                        Err(e) => {
1609                            let msg = &::alloc::__export::must_use({
        ::alloc::fmt::format(format_args!("failed to acquire jobserver token: {0}",
                e))
    })format!("failed to acquire jobserver token: {e}");
1610                            shared_emitter.fatal(msg);
1611                            codegen_state = Aborted;
1612                        }
1613                    }
1614                }
1615
1616                Message::CodegenDone { llvm_work_item, cost } => {
1617                    // We keep the queue sorted by estimated processing cost,
1618                    // so that more expensive items are processed earlier. This
1619                    // is good for throughput as it gives the main thread more
1620                    // time to fill up the queue and it avoids scheduling
1621                    // expensive items to the end.
1622                    // Note, however, that this is not ideal for memory
1623                    // consumption, as LLVM module sizes are not evenly
1624                    // distributed.
1625                    let insertion_index = work_items.binary_search_by_key(&cost, |&(_, cost)| cost);
1626                    let insertion_index = match insertion_index {
1627                        Ok(idx) | Err(idx) => idx,
1628                    };
1629                    work_items.insert(insertion_index, (llvm_work_item, cost));
1630
1631                    if cgcx.parallel {
1632                        helper.request_token();
1633                    }
1634                    match (&main_thread_state, &MainThreadState::Codegenning) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(main_thread_state, MainThreadState::Codegenning);
1635                    main_thread_state = MainThreadState::Idle;
1636                }
1637
1638                Message::CodegenComplete => {
1639                    if codegen_state != Aborted {
1640                        codegen_state = Completed;
1641                    }
1642                    match (&main_thread_state, &MainThreadState::Codegenning) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(main_thread_state, MainThreadState::Codegenning);
1643                    main_thread_state = MainThreadState::Idle;
1644                }
1645
1646                // If codegen is aborted that means translation was aborted due
1647                // to some normal-ish compiler error. In this situation we want
1648                // to exit as soon as possible, but we want to make sure all
1649                // existing work has finished. Flag codegen as being done, and
1650                // then conditions above will ensure no more work is spawned but
1651                // we'll keep executing this loop until `running_with_own_token`
1652                // hits 0.
1653                Message::CodegenAborted => {
1654                    codegen_state = Aborted;
1655                }
1656
1657                Message::WorkItem { result } => {
1658                    // If a thread exits successfully then we drop a token associated
1659                    // with that worker and update our `running_with_own_token` count.
1660                    // We may later re-acquire a token to continue running more work.
1661                    // We may also not actually drop a token here if the worker was
1662                    // running with an "ephemeral token".
1663                    if main_thread_state == MainThreadState::Lending {
1664                        main_thread_state = MainThreadState::Idle;
1665                    } else {
1666                        running_with_own_token -= 1;
1667                    }
1668
1669                    match result {
1670                        Ok(WorkItemResult::Finished(compiled_module)) => {
1671                            compiled_modules.push(compiled_module);
1672                        }
1673                        Ok(WorkItemResult::NeedsFatLto(fat_lto_input)) => {
1674                            if !needs_thin_lto.is_empty() {
    ::core::panicking::panic("assertion failed: needs_thin_lto.is_empty()")
};assert!(needs_thin_lto.is_empty());
1675                            needs_fat_lto.push(fat_lto_input);
1676                        }
1677                        Ok(WorkItemResult::NeedsThinLto(name, thin_buffer)) => {
1678                            if !needs_fat_lto.is_empty() {
    ::core::panicking::panic("assertion failed: needs_fat_lto.is_empty()")
};assert!(needs_fat_lto.is_empty());
1679                            needs_thin_lto.push(ThinLtoInput::Red {
1680                                name,
1681                                buffer: SerializedModule::Local(thin_buffer),
1682                            });
1683                        }
1684                        Err(Some(WorkerFatalError)) => {
1685                            // Like `CodegenAborted`, wait for remaining work to finish.
1686                            codegen_state = Aborted;
1687                        }
1688                        Err(None) => {
1689                            // If the thread failed that means it panicked, so
1690                            // we abort immediately.
1691                            ::rustc_middle::util::bug::bug_fmt(format_args!("worker thread panicked"));bug!("worker thread panicked");
1692                        }
1693                    }
1694                }
1695
1696                Message::AddImportOnlyModule { bitcode_path, work_product } => {
1697                    match (&codegen_state, &Ongoing) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(codegen_state, Ongoing);
1698                    match (&main_thread_state, &MainThreadState::Codegenning) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(main_thread_state, MainThreadState::Codegenning);
1699                    lto_import_only_modules.push((bitcode_path, work_product));
1700                    main_thread_state = MainThreadState::Idle;
1701                }
1702            }
1703        }
1704
1705        // Drop to print timings
1706        drop(llvm_start_time);
1707
1708        if codegen_state == Aborted {
1709            return Err(());
1710        }
1711
1712        drop(codegen_state);
1713        drop(tokens);
1714        drop(helper);
1715        if !work_items.is_empty() {
    ::core::panicking::panic("assertion failed: work_items.is_empty()")
};assert!(work_items.is_empty());
1716
1717        if !needs_fat_lto.is_empty() {
1718            if !compiled_modules.is_empty() {
    ::core::panicking::panic("assertion failed: compiled_modules.is_empty()")
};assert!(compiled_modules.is_empty());
1719            if !needs_thin_lto.is_empty() {
    ::core::panicking::panic("assertion failed: needs_thin_lto.is_empty()")
};assert!(needs_thin_lto.is_empty());
1720
1721            if let Some(allocator_module) = allocator_module.take() {
1722                needs_fat_lto.push(FatLtoInput::InMemory(allocator_module));
1723            }
1724
1725            for (bitcode_path, wp) in lto_import_only_modules {
1726                needs_fat_lto.push(FatLtoInput::Serialized { name: wp.cgu_name, bitcode_path })
1727            }
1728
1729            return Ok(MaybeLtoModules::FatLto { cgcx, needs_fat_lto });
1730        } else if !needs_thin_lto.is_empty() || !lto_import_only_modules.is_empty() {
1731            if !compiled_modules.is_empty() {
    ::core::panicking::panic("assertion failed: compiled_modules.is_empty()")
};assert!(compiled_modules.is_empty());
1732            if !needs_fat_lto.is_empty() {
    ::core::panicking::panic("assertion failed: needs_fat_lto.is_empty()")
};assert!(needs_fat_lto.is_empty());
1733
1734            for (bitcode_path, wp) in lto_import_only_modules {
1735                needs_thin_lto.push(ThinLtoInput::Green { wp, bitcode_path })
1736            }
1737
1738            if cgcx.lto == Lto::ThinLocal {
1739                compiled_modules.extend(do_thin_lto::<B>(
1740                    &cgcx,
1741                    &prof,
1742                    shared_emitter.clone(),
1743                    tm_factory,
1744                    &exported_symbols_for_lto,
1745                    &[],
1746                    needs_thin_lto,
1747                ));
1748            } else {
1749                if let Some(allocator_module) = allocator_module.take() {
1750                    let thin_buffer = B::serialize_module(allocator_module.module_llvm, true);
1751                    needs_thin_lto.push(ThinLtoInput::Red {
1752                        name: allocator_module.name,
1753                        buffer: SerializedModule::Local(thin_buffer),
1754                    });
1755                }
1756
1757                return Ok(MaybeLtoModules::ThinLto { cgcx, needs_thin_lto });
1758            }
1759        }
1760
1761        Ok(MaybeLtoModules::NoLto(CompiledModules {
1762            modules: compiled_modules,
1763            allocator_module: allocator_module.map(|allocator_module| {
1764                B::codegen(&cgcx, &prof, &shared_emitter, allocator_module, &allocator_config)
1765            }),
1766        }))
1767    };
1768    return std::thread::Builder::new()
1769        .name("coordinator".to_owned())
1770        .spawn(f)
1771        .expect("failed to spawn coordinator thread");
1772
1773    // A heuristic that determines if we have enough LLVM WorkItems in the
1774    // queue so that the main thread can do LLVM work instead of codegen
1775    fn queue_full_enough(items_in_queue: usize, workers_running: usize) -> bool {
1776        // This heuristic scales ahead-of-time codegen according to available
1777        // concurrency, as measured by `workers_running`. The idea is that the
1778        // more concurrency we have available, the more demand there will be for
1779        // work items, and the fuller the queue should be kept to meet demand.
1780        // An important property of this approach is that we codegen ahead of
1781        // time only as much as necessary, so as to keep fewer LLVM modules in
1782        // memory at once, thereby reducing memory consumption.
1783        //
1784        // When the number of workers running is less than the max concurrency
1785        // available to us, this heuristic can cause us to instruct the main
1786        // thread to work on an LLVM item (that is, tell it to "LLVM") instead
1787        // of codegen, even though it seems like it *should* be codegenning so
1788        // that we can create more work items and spawn more LLVM workers.
1789        //
1790        // But this is not a problem. When the main thread is told to LLVM,
1791        // according to this heuristic and how work is scheduled, there is
1792        // always at least one item in the queue, and therefore at least one
1793        // pending jobserver token request. If there *is* more concurrency
1794        // available, we will immediately receive a token, which will upgrade
1795        // the main thread's LLVM worker to a real one (conceptually), and free
1796        // up the main thread to codegen if necessary. On the other hand, if
1797        // there isn't more concurrency, then the main thread working on an LLVM
1798        // item is appropriate, as long as the queue is full enough for demand.
1799        //
1800        // Speaking of which, how full should we keep the queue? Probably less
1801        // full than you'd think. A lot has to go wrong for the queue not to be
1802        // full enough and for that to have a negative effect on compile times.
1803        //
1804        // Workers are unlikely to finish at exactly the same time, so when one
1805        // finishes and takes another work item off the queue, we often have
1806        // ample time to codegen at that point before the next worker finishes.
1807        // But suppose that codegen takes so long that the workers exhaust the
1808        // queue, and we have one or more workers that have nothing to work on.
1809        // Well, it might not be so bad. Of all the LLVM modules we create and
1810        // optimize, one has to finish last. It's not necessarily the case that
1811        // by losing some concurrency for a moment, we delay the point at which
1812        // that last LLVM module is finished and the rest of compilation can
1813        // proceed. Also, when we can't take advantage of some concurrency, we
1814        // give tokens back to the job server. That enables some other rustc to
1815        // potentially make use of the available concurrency. That could even
1816        // *decrease* overall compile time if we're lucky. But yes, if no other
1817        // rustc can make use of the concurrency, then we've squandered it.
1818        //
1819        // However, keeping the queue full is also beneficial when we have a
1820        // surge in available concurrency. Then items can be taken from the
1821        // queue immediately, without having to wait for codegen.
1822        //
1823        // So, the heuristic below tries to keep one item in the queue for every
1824        // four running workers. Based on limited benchmarking, this appears to
1825        // be more than sufficient to avoid increasing compilation times.
1826        let quarter_of_workers = workers_running - 3 * workers_running / 4;
1827        items_in_queue > 0 && items_in_queue >= quarter_of_workers
1828    }
1829}
1830
1831/// `FatalError` is explicitly not `Send`.
1832#[must_use]
1833pub(crate) struct WorkerFatalError;
1834
1835fn spawn_work<'a, B: WriteBackendMethods>(
1836    cgcx: &CodegenContext,
1837    prof: &'a SelfProfilerRef,
1838    shared_emitter: SharedEmitter,
1839    coordinator_send: Sender<Message<B>>,
1840    llvm_start_time: &mut Option<VerboseTimingGuard<'a>>,
1841    work: WorkItem<B>,
1842) {
1843    if llvm_start_time.is_none() {
1844        *llvm_start_time = Some(prof.verbose_generic_activity("LLVM_passes"));
1845    }
1846
1847    let cgcx = cgcx.clone();
1848    let prof = prof.clone();
1849
1850    let name = work.short_description();
1851    let f = move || {
1852        let _profiler = if cgcx.time_trace { B::thread_profiler() } else { Box::new(()) };
1853
1854        let result = std::panic::catch_unwind(AssertUnwindSafe(|| match work {
1855            WorkItem::Optimize(m) => execute_optimize_work_item(&cgcx, &prof, shared_emitter, m),
1856            WorkItem::CopyPostLtoArtifacts(m) => WorkItemResult::Finished(
1857                execute_copy_from_cache_work_item(&cgcx, &prof, shared_emitter, m),
1858            ),
1859        }));
1860
1861        let msg = match result {
1862            Ok(result) => Message::WorkItem::<B> { result: Ok(result) },
1863
1864            // We ignore any `FatalError` coming out of `execute_work_item`, as a
1865            // diagnostic was already sent off to the main thread - just surface
1866            // that there was an error in this worker.
1867            Err(err) if err.is::<FatalErrorMarker>() => {
1868                Message::WorkItem::<B> { result: Err(Some(WorkerFatalError)) }
1869            }
1870
1871            Err(_) => Message::WorkItem::<B> { result: Err(None) },
1872        };
1873        drop(coordinator_send.send(msg));
1874    };
1875    std::thread::Builder::new().name(name).spawn(f).expect("failed to spawn work thread");
1876}
1877
1878fn spawn_thin_lto_work<B: WriteBackendMethods>(
1879    cgcx: &CodegenContext,
1880    prof: &SelfProfilerRef,
1881    shared_emitter: SharedEmitter,
1882    tm_factory: TargetMachineFactoryFn<B>,
1883    coordinator_send: Sender<ThinLtoMessage>,
1884    work: ThinLtoWorkItem<B>,
1885) {
1886    let cgcx = cgcx.clone();
1887    let prof = prof.clone();
1888
1889    let name = work.short_description();
1890    let f = move || {
1891        let _profiler = if cgcx.time_trace { B::thread_profiler() } else { Box::new(()) };
1892
1893        let result = std::panic::catch_unwind(AssertUnwindSafe(|| match work {
1894            ThinLtoWorkItem::CopyPostLtoArtifacts(m) => {
1895                execute_copy_from_cache_work_item(&cgcx, &prof, shared_emitter, m)
1896            }
1897            ThinLtoWorkItem::ThinLto(m) => {
1898                let _timer = prof.generic_activity_with_arg("codegen_module_perform_lto", m.name());
1899                B::optimize_and_codegen_thin(&cgcx, &prof, &shared_emitter, tm_factory, m)
1900            }
1901        }));
1902
1903        let msg = match result {
1904            Ok(result) => ThinLtoMessage::WorkItem { result: Ok(result) },
1905
1906            // We ignore any `FatalError` coming out of `execute_work_item`, as a
1907            // diagnostic was already sent off to the main thread - just surface
1908            // that there was an error in this worker.
1909            Err(err) if err.is::<FatalErrorMarker>() => {
1910                ThinLtoMessage::WorkItem { result: Err(Some(WorkerFatalError)) }
1911            }
1912
1913            Err(_) => ThinLtoMessage::WorkItem { result: Err(None) },
1914        };
1915        drop(coordinator_send.send(msg));
1916    };
1917    std::thread::Builder::new().name(name).spawn(f).expect("failed to spawn work thread");
1918}
1919
1920enum SharedEmitterMessage {
1921    Diagnostic(Diagnostic),
1922    InlineAsmError(InlineAsmError),
1923    Fatal(String),
1924}
1925
1926pub struct InlineAsmError {
1927    pub span: SpanData,
1928    pub msg: String,
1929    pub level: Level,
1930    pub source: Option<(String, Vec<InnerSpan>)>,
1931}
1932
1933#[derive(#[automatically_derived]
impl ::core::clone::Clone for SharedEmitter {
    #[inline]
    fn clone(&self) -> SharedEmitter {
        SharedEmitter { sender: ::core::clone::Clone::clone(&self.sender) }
    }
}Clone)]
1934pub struct SharedEmitter {
1935    sender: Sender<SharedEmitterMessage>,
1936}
1937
1938pub struct SharedEmitterMain {
1939    receiver: Receiver<SharedEmitterMessage>,
1940}
1941
1942impl SharedEmitter {
1943    fn new() -> (SharedEmitter, SharedEmitterMain) {
1944        let (sender, receiver) = channel();
1945
1946        (SharedEmitter { sender }, SharedEmitterMain { receiver })
1947    }
1948
1949    pub fn inline_asm_error(&self, err: InlineAsmError) {
1950        drop(self.sender.send(SharedEmitterMessage::InlineAsmError(err)));
1951    }
1952
1953    fn fatal(&self, msg: &str) {
1954        drop(self.sender.send(SharedEmitterMessage::Fatal(msg.to_string())));
1955    }
1956}
1957
1958impl Emitter for SharedEmitter {
1959    fn emit_diagnostic(&mut self, mut diag: rustc_errors::DiagInner) {
1960        // Check that we aren't missing anything interesting when converting to
1961        // the cut-down local `DiagInner`.
1962        if !!diag.span.has_span_labels() {
    ::core::panicking::panic("assertion failed: !diag.span.has_span_labels()")
};assert!(!diag.span.has_span_labels());
1963        match (&diag.suggestions, &Suggestions::Enabled(::alloc::vec::Vec::new())) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(diag.suggestions, Suggestions::Enabled(vec![]));
1964        match (&diag.sort_span, &rustc_span::DUMMY_SP) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(diag.sort_span, rustc_span::DUMMY_SP);
1965        match (&diag.is_lint, &None) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(diag.is_lint, None);
1966        // No sensible check for `diag.emitted_at`.
1967
1968        let args = mem::take(&mut diag.args);
1969        drop(
1970            self.sender.send(SharedEmitterMessage::Diagnostic(Diagnostic {
1971                span: diag.span.primary_spans().iter().map(|span| span.data()).collect::<Vec<_>>(),
1972                level: diag.level(),
1973                messages: diag.messages,
1974                code: diag.code,
1975                children: diag
1976                    .children
1977                    .into_iter()
1978                    .map(|child| Subdiagnostic { level: child.level, messages: child.messages })
1979                    .collect(),
1980                args,
1981            })),
1982        );
1983    }
1984
1985    fn source_map(&self) -> Option<&SourceMap> {
1986        None
1987    }
1988}
1989
1990impl SharedEmitterMain {
1991    fn check(&self, sess: &Session, blocking: bool) {
1992        loop {
1993            let message = if blocking {
1994                match self.receiver.recv() {
1995                    Ok(message) => Ok(message),
1996                    Err(_) => Err(()),
1997                }
1998            } else {
1999                match self.receiver.try_recv() {
2000                    Ok(message) => Ok(message),
2001                    Err(_) => Err(()),
2002                }
2003            };
2004
2005            match message {
2006                Ok(SharedEmitterMessage::Diagnostic(diag)) => {
2007                    // The diagnostic has been received on the main thread.
2008                    // Convert it back to a full `Diagnostic` and emit.
2009                    let dcx = sess.dcx();
2010                    let mut d =
2011                        rustc_errors::DiagInner::new_with_messages(diag.level, diag.messages);
2012                    d.span = MultiSpan::from_spans(
2013                        diag.span.into_iter().map(|span| span.span()).collect(),
2014                    );
2015                    d.code = diag.code; // may be `None`, that's ok
2016                    d.children = diag
2017                        .children
2018                        .into_iter()
2019                        .map(|sub| rustc_errors::Subdiag {
2020                            level: sub.level,
2021                            messages: sub.messages,
2022                            span: MultiSpan::new(),
2023                        })
2024                        .collect();
2025                    d.args = diag.args;
2026                    dcx.emit_diagnostic(d);
2027                    sess.dcx().abort_if_errors();
2028                }
2029                Ok(SharedEmitterMessage::InlineAsmError(inner)) => {
2030                    {
    match inner.level {
        Level::Error | Level::Warning | Level::Note => {}
        ref left_val => {
            ::core::panicking::assert_matches_failed(left_val,
                "Level::Error | Level::Warning | Level::Note",
                ::core::option::Option::None);
        }
    }
};assert_matches!(inner.level, Level::Error | Level::Warning | Level::Note);
2031                    let mut err = Diag::<()>::new(sess.dcx(), inner.level, inner.msg);
2032                    if !inner.span.is_dummy() {
2033                        err.span(inner.span.span());
2034                    }
2035
2036                    // Point to the generated assembly if it is available.
2037                    if let Some((buffer, spans)) = inner.source {
2038                        let source = sess
2039                            .source_map()
2040                            .new_source_file(FileName::inline_asm_source_code(&buffer), buffer);
2041                        let spans: Vec<_> = spans
2042                            .iter()
2043                            .map(|sp| {
2044                                Span::with_root_ctxt(
2045                                    source.normalized_byte_pos(sp.start as u32),
2046                                    source.normalized_byte_pos(sp.end as u32),
2047                                )
2048                            })
2049                            .collect();
2050                        err.span_note(spans, "instantiated into assembly here");
2051                    }
2052
2053                    err.emit();
2054                }
2055                Ok(SharedEmitterMessage::Fatal(msg)) => {
2056                    sess.dcx().fatal(msg);
2057                }
2058                Err(_) => {
2059                    break;
2060                }
2061            }
2062        }
2063    }
2064}
2065
2066pub struct Coordinator<B: WriteBackendMethods> {
2067    sender: Sender<Message<B>>,
2068    future: Option<thread::JoinHandle<Result<MaybeLtoModules<B>, ()>>>,
2069    // Only used for the Message type.
2070    phantom: PhantomData<B>,
2071}
2072
2073impl<B: WriteBackendMethods> Coordinator<B> {
2074    fn join(mut self) -> std::thread::Result<Result<MaybeLtoModules<B>, ()>> {
2075        self.future.take().unwrap().join()
2076    }
2077}
2078
2079impl<B: WriteBackendMethods> Drop for Coordinator<B> {
2080    fn drop(&mut self) {
2081        if let Some(future) = self.future.take() {
2082            // If we haven't joined yet, signal to the coordinator that it should spawn no more
2083            // work, and wait for worker threads to finish.
2084            drop(self.sender.send(Message::CodegenAborted::<B>));
2085            drop(future.join());
2086        }
2087    }
2088}
2089
2090pub struct OngoingCodegen<B: WriteBackendMethods> {
2091    backend: B,
2092    output_filenames: Arc<OutputFilenames>,
2093    // Field order below is intended to terminate the coordinator thread before two fields below
2094    // drop and prematurely close channels used by coordinator thread. See `Coordinator`'s
2095    // `Drop` implementation for more info.
2096    pub(crate) coordinator: Coordinator<B>,
2097    codegen_worker_receive: Receiver<CguMessage>,
2098    shared_emitter_main: SharedEmitterMain,
2099}
2100
2101impl<B: WriteBackendMethods> OngoingCodegen<B> {
2102    pub fn join(
2103        self,
2104        sess: &Session,
2105        crate_info: &CrateInfo,
2106    ) -> (CompiledModules, FxIndexMap<WorkProductId, WorkProduct>) {
2107        self.shared_emitter_main.check(sess, true);
2108
2109        let maybe_lto_modules = sess.time("join_worker_thread", || match self.coordinator.join() {
2110            Ok(Ok(maybe_lto_modules)) => maybe_lto_modules,
2111            Ok(Err(())) => {
2112                sess.dcx().abort_if_errors();
2113                {
    ::core::panicking::panic_fmt(format_args!("expected abort due to worker thread errors"));
}panic!("expected abort due to worker thread errors")
2114            }
2115            Err(_) => {
2116                ::rustc_middle::util::bug::bug_fmt(format_args!("panic during codegen/LLVM phase"));bug!("panic during codegen/LLVM phase");
2117            }
2118        });
2119
2120        sess.dcx().abort_if_errors();
2121
2122        let (shared_emitter, shared_emitter_main) = SharedEmitter::new();
2123
2124        // Catch fatal errors to ensure shared_emitter_main.check() can emit the actual diagnostics
2125        let compiled_modules = catch_fatal_errors(|| match maybe_lto_modules {
2126            MaybeLtoModules::NoLto(compiled_modules) => {
2127                drop(shared_emitter);
2128                compiled_modules
2129            }
2130            MaybeLtoModules::FatLto { cgcx, needs_fat_lto } => {
2131                let tm_factory = self.backend.target_machine_factory(
2132                    sess,
2133                    cgcx.opt_level,
2134                    &cgcx.backend_features,
2135                );
2136
2137                CompiledModules {
2138                    modules: ::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
        [do_fat_lto(sess, &cgcx, shared_emitter, tm_factory,
                    &crate_info.exported_symbols_for_lto,
                    &crate_info.each_linked_rlib_file_for_lto, needs_fat_lto)]))vec![do_fat_lto(
2139                        sess,
2140                        &cgcx,
2141                        shared_emitter,
2142                        tm_factory,
2143                        &crate_info.exported_symbols_for_lto,
2144                        &crate_info.each_linked_rlib_file_for_lto,
2145                        needs_fat_lto,
2146                    )],
2147                    allocator_module: None,
2148                }
2149            }
2150            MaybeLtoModules::ThinLto { cgcx, needs_thin_lto } => {
2151                let tm_factory = self.backend.target_machine_factory(
2152                    sess,
2153                    cgcx.opt_level,
2154                    &cgcx.backend_features,
2155                );
2156
2157                CompiledModules {
2158                    modules: do_thin_lto::<B>(
2159                        &cgcx,
2160                        &sess.prof,
2161                        shared_emitter,
2162                        tm_factory,
2163                        &crate_info.exported_symbols_for_lto,
2164                        &crate_info.each_linked_rlib_file_for_lto,
2165                        needs_thin_lto,
2166                    ),
2167                    allocator_module: None,
2168                }
2169            }
2170        });
2171
2172        shared_emitter_main.check(sess, true);
2173
2174        sess.dcx().abort_if_errors();
2175
2176        let mut compiled_modules =
2177            compiled_modules.expect("fatal error emitted but not sent to SharedEmitter");
2178
2179        // Regardless of what order these modules completed in, report them to
2180        // the backend in the same order every time to ensure that we're handing
2181        // out deterministic results.
2182        compiled_modules.modules.sort_by(|a, b| a.name.cmp(&b.name));
2183
2184        let work_products =
2185            copy_all_cgu_workproducts_to_incr_comp_cache_dir(sess, &compiled_modules);
2186        produce_final_output_artifacts(sess, &compiled_modules, &self.output_filenames);
2187
2188        (compiled_modules, work_products)
2189    }
2190
2191    pub(crate) fn codegen_finished(&self, tcx: TyCtxt<'_>) {
2192        self.wait_for_signal_to_codegen_item();
2193        self.check_for_errors(tcx.sess);
2194        drop(self.coordinator.sender.send(Message::CodegenComplete::<B>));
2195    }
2196
2197    pub(crate) fn check_for_errors(&self, sess: &Session) {
2198        self.shared_emitter_main.check(sess, false);
2199    }
2200
2201    pub(crate) fn wait_for_signal_to_codegen_item(&self) {
2202        match self.codegen_worker_receive.recv() {
2203            Ok(CguMessage) => {
2204                // Ok to proceed.
2205            }
2206            Err(_) => {
2207                // One of the LLVM threads must have panicked, fall through so
2208                // error handling can be reached.
2209            }
2210        }
2211    }
2212}
2213
2214pub(crate) fn submit_codegened_module_to_llvm<B: WriteBackendMethods>(
2215    coordinator: &Coordinator<B>,
2216    module: ModuleCodegen<B::Module>,
2217    cost: u64,
2218) {
2219    let llvm_work_item = WorkItem::Optimize(module);
2220    drop(coordinator.sender.send(Message::CodegenDone::<B> { llvm_work_item, cost }));
2221}
2222
2223pub(crate) fn submit_post_lto_module_to_llvm<B: WriteBackendMethods>(
2224    coordinator: &Coordinator<B>,
2225    module: CachedModuleCodegen,
2226) {
2227    let llvm_work_item = WorkItem::CopyPostLtoArtifacts(module);
2228    drop(coordinator.sender.send(Message::CodegenDone::<B> { llvm_work_item, cost: 0 }));
2229}
2230
2231pub(crate) fn submit_pre_lto_module_to_llvm<B: WriteBackendMethods>(
2232    tcx: TyCtxt<'_>,
2233    coordinator: &Coordinator<B>,
2234    module: CachedModuleCodegen,
2235) {
2236    let filename = pre_lto_bitcode_filename(&module.name);
2237    let bitcode_path = in_incr_comp_dir_sess(tcx.sess, &filename);
2238    // Schedule the module to be loaded
2239    drop(
2240        coordinator
2241            .sender
2242            .send(Message::AddImportOnlyModule::<B> { bitcode_path, work_product: module.source }),
2243    );
2244}
2245
2246fn pre_lto_bitcode_filename(module_name: &str) -> String {
2247    ::alloc::__export::must_use({
        ::alloc::fmt::format(format_args!("{0}.{1}", module_name,
                PRE_LTO_BC_EXT))
    })format!("{module_name}.{PRE_LTO_BC_EXT}")
2248}
2249
2250fn msvc_imps_needed(tcx: TyCtxt<'_>) -> bool {
2251    // This should never be true (because it's not supported). If it is true,
2252    // something is wrong with commandline arg validation.
2253    if !!(tcx.sess.opts.cg.linker_plugin_lto.enabled() &&
                        tcx.sess.target.is_like_windows &&
                    tcx.sess.opts.cg.prefer_dynamic) {
    ::core::panicking::panic("assertion failed: !(tcx.sess.opts.cg.linker_plugin_lto.enabled() &&\n                tcx.sess.target.is_like_windows &&\n            tcx.sess.opts.cg.prefer_dynamic)")
};assert!(
2254        !(tcx.sess.opts.cg.linker_plugin_lto.enabled()
2255            && tcx.sess.target.is_like_windows
2256            && tcx.sess.opts.cg.prefer_dynamic)
2257    );
2258
2259    // We need to generate _imp__ symbol if we are generating an rlib or we include one
2260    // indirectly from ThinLTO. In theory these are not needed as ThinLTO could resolve
2261    // these, but it currently does not do so.
2262    let can_have_static_objects =
2263        tcx.sess.lto() == Lto::Thin || tcx.crate_types().contains(&CrateType::Rlib);
2264
2265    tcx.sess.target.is_like_windows &&
2266    can_have_static_objects   &&
2267    // ThinLTO can't handle this workaround in all cases, so we don't
2268    // emit the `__imp_` symbols. Instead we make them unnecessary by disallowing
2269    // dynamic linking when linker plugin LTO is enabled.
2270    !tcx.sess.opts.cg.linker_plugin_lto.enabled()
2271}