]> git.proxmox.com Git - rustc.git/blame - compiler/rustc_codegen_llvm/src/mono_item.rs
New upstream version 1.59.0+dfsg1
[rustc.git] / compiler / rustc_codegen_llvm / src / mono_item.rs
CommitLineData
9fa01778
XL
1use crate::attributes;
2use crate::base;
3use crate::context::CodegenCx;
4use crate::llvm;
9fa01778 5use crate::type_of::LayoutLlvmExt;
a1dfa0c6 6use rustc_codegen_ssa::traits::*;
dfeec247 7use rustc_hir::def_id::{DefId, LOCAL_CRATE};
ba9703b0
XL
8pub use rustc_middle::mir::mono::MonoItem;
9use rustc_middle::mir::mono::{Linkage, Visibility};
c295e0f8 10use rustc_middle::ty::layout::{FnAbiOf, LayoutOf};
3dfed10e 11use rustc_middle::ty::{self, Instance, TypeFoldable};
cdc7bbd5 12use rustc_session::config::CrateType;
cdc7bbd5 13use rustc_target::spec::RelocModel;
3dfed10e 14use tracing::debug;
a7813a04 15
a2a8927a 16impl<'tcx> PreDefineMethods<'tcx> for CodegenCx<'_, 'tcx> {
dfeec247
XL
17 fn predefine_static(
18 &self,
19 def_id: DefId,
20 linkage: Linkage,
21 visibility: Visibility,
22 symbol_name: &str,
23 ) {
a1dfa0c6 24 let instance = Instance::mono(self.tcx, def_id);
3dfed10e 25 let ty = instance.ty(self.tcx, ty::ParamEnv::reveal_all());
a1dfa0c6
XL
26 let llty = self.layout_of(ty).llvm_type(self);
27
28 let g = self.define_global(symbol_name, llty).unwrap_or_else(|| {
dfeec247
XL
29 self.sess().span_fatal(
30 self.tcx.def_span(def_id),
31 &format!("symbol `{}` is already defined", symbol_name),
32 )
a1dfa0c6 33 });
5bcae85e 34
a1dfa0c6
XL
35 unsafe {
36 llvm::LLVMRustSetLinkage(g, base::linkage_to_llvm(linkage));
37 llvm::LLVMRustSetVisibility(g, base::visibility_to_llvm(visibility));
17df50a5 38 if self.should_assume_dso_local(g, false) {
cdc7bbd5
XL
39 llvm::LLVMRustSetDSOLocal(g, true);
40 }
5bcae85e
SL
41 }
42
a1dfa0c6 43 self.instances.borrow_mut().insert(instance, g);
5bcae85e
SL
44 }
45
dfeec247
XL
46 fn predefine_fn(
47 &self,
48 instance: Instance<'tcx>,
49 linkage: Linkage,
50 visibility: Visibility,
51 symbol_name: &str,
52 ) {
3dfed10e 53 assert!(!instance.substs.needs_infer());
a1dfa0c6 54
c295e0f8
XL
55 let fn_abi = self.fn_abi_of_instance(instance, ty::List::empty());
56 let lldecl = self.declare_fn(symbol_name, fn_abi);
a1dfa0c6 57 unsafe { llvm::LLVMRustSetLinkage(lldecl, base::linkage_to_llvm(linkage)) };
60c5eb7d 58 let attrs = self.tcx.codegen_fn_attrs(instance.def_id());
c295e0f8 59 base::set_link_section(lldecl, attrs);
dfeec247 60 if linkage == Linkage::LinkOnceODR || linkage == Linkage::WeakODR {
a1dfa0c6 61 llvm::SetUniqueComdat(self.llmod, lldecl);
5bcae85e
SL
62 }
63
0731742a 64 // If we're compiling the compiler-builtins crate, e.g., the equivalent of
a1dfa0c6
XL
65 // compiler-rt, then we want to implicitly compile everything with hidden
66 // visibility as we're going to link this object all over the place but
67 // don't want the symbols to get exported.
dfeec247
XL
68 if linkage != Linkage::Internal
69 && linkage != Linkage::Private
70 && self.tcx.is_compiler_builtins(LOCAL_CRATE)
71 {
a1dfa0c6
XL
72 unsafe {
73 llvm::LLVMRustSetVisibility(lldecl, llvm::Visibility::Hidden);
5bcae85e 74 }
a1dfa0c6
XL
75 } else {
76 unsafe {
77 llvm::LLVMRustSetVisibility(lldecl, base::visibility_to_llvm(visibility));
cc61c64b 78 }
5bcae85e 79 }
5bcae85e 80
60c5eb7d
XL
81 debug!("predefine_fn: instance = {:?}", instance);
82
ba9703b0 83 attributes::from_fn_attrs(self, lldecl, instance);
ea8adc8c 84
cdc7bbd5 85 unsafe {
17df50a5 86 if self.should_assume_dso_local(lldecl, false) {
cdc7bbd5
XL
87 llvm::LLVMRustSetDSOLocal(lldecl, true);
88 }
89 }
90
a1dfa0c6 91 self.instances.borrow_mut().insert(instance, lldecl);
ea8adc8c 92 }
ea8adc8c 93}
cdc7bbd5 94
a2a8927a 95impl CodegenCx<'_, '_> {
17df50a5 96 /// Whether a definition or declaration can be assumed to be local to a group of
cdc7bbd5
XL
97 /// libraries that form a single DSO or executable.
98 pub(crate) unsafe fn should_assume_dso_local(
99 &self,
17df50a5
XL
100 llval: &llvm::Value,
101 is_declaration: bool,
cdc7bbd5 102 ) -> bool {
17df50a5
XL
103 let linkage = llvm::LLVMRustGetLinkage(llval);
104 let visibility = llvm::LLVMRustGetVisibility(llval);
105
106 if matches!(linkage, llvm::Linkage::InternalLinkage | llvm::Linkage::PrivateLinkage) {
cdc7bbd5
XL
107 return true;
108 }
109
17df50a5
XL
110 if visibility != llvm::Visibility::Default && linkage != llvm::Linkage::ExternalWeakLinkage
111 {
cdc7bbd5
XL
112 return true;
113 }
114
17df50a5
XL
115 // Symbols from executables can't really be imported any further.
116 let all_exe = self.tcx.sess.crate_types().iter().all(|ty| *ty == CrateType::Executable);
117 let is_declaration_for_linker =
118 is_declaration || linkage == llvm::Linkage::AvailableExternallyLinkage;
119 if all_exe && !is_declaration_for_linker {
cdc7bbd5
XL
120 return true;
121 }
122
17df50a5
XL
123 // PowerPC64 prefers TOC indirection to avoid copy relocations.
124 if matches!(&*self.tcx.sess.target.arch, "powerpc64" | "powerpc64le") {
125 return false;
126 }
127
128 // Thread-local variables generally don't support copy relocations.
129 let is_thread_local_var = llvm::LLVMIsAGlobalVariable(llval)
130 .map(|v| llvm::LLVMIsThreadLocal(v) == llvm::True)
131 .unwrap_or(false);
132 if is_thread_local_var {
133 return false;
134 }
135
94222f64
XL
136 // Match clang by only supporting COFF and ELF for now.
137 if self.tcx.sess.target.is_like_osx {
138 return false;
139 }
140
17df50a5
XL
141 // Static relocation model should force copy relocations everywhere.
142 if self.tcx.sess.relocation_model() == RelocModel::Static {
cdc7bbd5
XL
143 return true;
144 }
145
c295e0f8
XL
146 // With pie relocation model calls of functions defined in the translation
147 // unit can use copy relocations.
148 self.tcx.sess.relocation_model() == RelocModel::Pie && !is_declaration
cdc7bbd5
XL
149 }
150}