1use std::ops::Range;
2
3use rustc_abi::{Align, HasDataLayout, Primitive, Scalar, Size, WrappingRange};
4use rustc_codegen_ssa::common;
5use rustc_codegen_ssa::traits::*;
6use rustc_hir::LangItem;
7use rustc_hir::def::DefKind;
8use rustc_hir::def_id::DefId;
9use rustc_middle::middle::codegen_fn_attrs::{CodegenFnAttrFlags, CodegenFnAttrs};
10use rustc_middle::mir::interpret::{
11 Allocation, ConstAllocation, ErrorHandled, InitChunk, Pointer, Scalar as InterpScalar,
12 read_target_uint,
13};
14use rustc_middle::mir::mono::{Linkage, MonoItem};
15use rustc_middle::ty::layout::{HasTypingEnv, LayoutOf};
16use rustc_middle::ty::{self, Instance};
17use rustc_middle::{bug, span_bug};
18use tracing::{debug, instrument, trace};
19
20use crate::common::CodegenCx;
21use crate::errors::SymbolAlreadyDefined;
22use crate::type_::Type;
23use crate::type_of::LayoutLlvmExt;
24use crate::value::Value;
25use crate::{base, debuginfo, llvm};
26
27pub(crate) fn const_alloc_to_llvm<'ll>(
28 cx: &CodegenCx<'ll, '_>,
29 alloc: &Allocation,
30 is_static: bool,
31) -> &'ll Value {
32 if !is_static {
40 assert!(alloc.len() != 0);
41 }
42 let mut llvals = Vec::with_capacity(alloc.provenance().ptrs().len() + 1);
43 let dl = cx.data_layout();
44 let pointer_size = dl.pointer_size();
45 let pointer_size_bytes = pointer_size.bytes() as usize;
46
47 fn append_chunks_of_init_and_uninit_bytes<'ll, 'a, 'b>(
50 llvals: &mut Vec<&'ll Value>,
51 cx: &'a CodegenCx<'ll, 'b>,
52 alloc: &'a Allocation,
53 range: Range<usize>,
54 ) {
55 let chunks = alloc.init_mask().range_as_init_chunks(range.clone().into());
56
57 let chunk_to_llval = move |chunk| match chunk {
58 InitChunk::Init(range) => {
59 let range = (range.start.bytes() as usize)..(range.end.bytes() as usize);
60 let bytes = alloc.inspect_with_uninit_and_ptr_outside_interpreter(range);
61 cx.const_bytes(bytes)
62 }
63 InitChunk::Uninit(range) => {
64 let len = range.end.bytes() - range.start.bytes();
65 cx.const_undef(cx.type_array(cx.type_i8(), len))
66 }
67 };
68
69 let max = cx.sess().opts.unstable_opts.uninit_const_chunk_threshold;
74 let allow_uninit_chunks = chunks.clone().take(max.saturating_add(1)).count() <= max;
75
76 if allow_uninit_chunks {
77 llvals.extend(chunks.map(chunk_to_llval));
78 } else {
79 let bytes = alloc.inspect_with_uninit_and_ptr_outside_interpreter(range);
82 llvals.push(cx.const_bytes(bytes));
83 }
84 }
85
86 let mut next_offset = 0;
87 for &(offset, prov) in alloc.provenance().ptrs().iter() {
88 let offset = offset.bytes();
89 assert_eq!(offset as usize as u64, offset);
90 let offset = offset as usize;
91 if offset > next_offset {
92 append_chunks_of_init_and_uninit_bytes(&mut llvals, cx, alloc, next_offset..offset);
96 }
97 let ptr_offset = read_target_uint(
98 dl.endian,
99 alloc.inspect_with_uninit_and_ptr_outside_interpreter(
103 offset..(offset + pointer_size_bytes),
104 ),
105 )
106 .expect("const_alloc_to_llvm: could not read relocation pointer")
107 as u64;
108
109 let address_space = cx.tcx.global_alloc(prov.alloc_id()).address_space(cx);
110
111 llvals.push(cx.scalar_to_backend(
112 InterpScalar::from_pointer(Pointer::new(prov, Size::from_bytes(ptr_offset)), &cx.tcx),
113 Scalar::Initialized {
114 value: Primitive::Pointer(address_space),
115 valid_range: WrappingRange::full(pointer_size),
116 },
117 cx.type_ptr_ext(address_space),
118 ));
119 next_offset = offset + pointer_size_bytes;
120 }
121 if alloc.len() >= next_offset {
122 let range = next_offset..alloc.len();
123 append_chunks_of_init_and_uninit_bytes(&mut llvals, cx, alloc, range);
127 }
128
129 if let &[data] = &*llvals { data } else { cx.const_struct(&llvals, true) }
135}
136
137fn codegen_static_initializer<'ll, 'tcx>(
138 cx: &CodegenCx<'ll, 'tcx>,
139 def_id: DefId,
140) -> Result<(&'ll Value, ConstAllocation<'tcx>), ErrorHandled> {
141 let alloc = cx.tcx.eval_static_initializer(def_id)?;
142 Ok((const_alloc_to_llvm(cx, alloc.inner(), true), alloc))
143}
144
145fn set_global_alignment<'ll>(cx: &CodegenCx<'ll, '_>, gv: &'ll Value, mut align: Align) {
146 if let Some(min_global) = cx.sess().target.min_global_align {
150 align = Ord::max(align, min_global);
151 }
152 llvm::set_alignment(gv, align);
153}
154
155fn check_and_apply_linkage<'ll, 'tcx>(
156 cx: &CodegenCx<'ll, 'tcx>,
157 attrs: &CodegenFnAttrs,
158 llty: &'ll Type,
159 sym: &str,
160 def_id: DefId,
161) -> &'ll Value {
162 if let Some(linkage) = attrs.import_linkage {
163 debug!("get_static: sym={} linkage={:?}", sym, linkage);
164
165 let g1 = if matches!(attrs.import_linkage, Some(Linkage::ExternalWeak)) {
168 let instance = Instance::mono(cx.tcx, def_id);
172 if let ty::Adt(struct_def, args) = instance.ty(cx.tcx, cx.typing_env()).kind()
173 && cx.tcx.is_lang_item(struct_def.did(), LangItem::Option)
174 && let ty::FnPtr(sig, header) = args.type_at(0).kind()
175 {
176 let fn_sig = sig.with(*header);
177
178 let fn_abi = cx.fn_abi_of_fn_ptr(fn_sig, ty::List::empty());
179 cx.declare_fn(sym, &fn_abi, None)
180 } else {
181 cx.declare_global(sym, cx.type_i8())
182 }
183 } else {
184 cx.declare_global(sym, cx.type_i8())
185 };
186 llvm::set_linkage(g1, base::linkage_to_llvm(linkage));
187
188 let mut real_name = "_rust_extern_with_linkage_".to_string();
195 real_name.push_str(sym);
196 let g2 = cx.define_global(&real_name, llty).unwrap_or_else(|| {
197 cx.sess().dcx().emit_fatal(SymbolAlreadyDefined {
198 span: cx.tcx.def_span(def_id),
199 symbol_name: sym,
200 })
201 });
202 llvm::set_linkage(g2, llvm::Linkage::InternalLinkage);
203 llvm::set_initializer(g2, g1);
204 g2
205 } else if cx.tcx.sess.target.arch == "x86"
206 && common::is_mingw_gnu_toolchain(&cx.tcx.sess.target)
207 && let Some(dllimport) = crate::common::get_dllimport(cx.tcx, def_id, sym)
208 {
209 cx.declare_global(&common::i686_decorated_name(dllimport, true, true, false), llty)
210 } else {
211 cx.declare_global(sym, llty)
214 }
215}
216
217impl<'ll> CodegenCx<'ll, '_> {
218 pub(crate) fn const_bitcast(&self, val: &'ll Value, ty: &'ll Type) -> &'ll Value {
219 unsafe { llvm::LLVMConstBitCast(val, ty) }
220 }
221
222 pub(crate) fn const_pointercast(&self, val: &'ll Value, ty: &'ll Type) -> &'ll Value {
223 unsafe { llvm::LLVMConstPointerCast(val, ty) }
224 }
225
226 pub(crate) fn static_addr_of_mut(
231 &self,
232 cv: &'ll Value,
233 align: Align,
234 kind: Option<&str>,
235 ) -> &'ll Value {
236 let gv = match kind {
237 Some(kind) if !self.tcx.sess.fewer_names() => {
238 let name = self.generate_local_symbol_name(kind);
239 let gv = self.define_global(&name, self.val_ty(cv)).unwrap_or_else(|| {
240 bug!("symbol `{}` is already defined", name);
241 });
242 llvm::set_linkage(gv, llvm::Linkage::PrivateLinkage);
243 gv
244 }
245 _ => self.define_private_global(self.val_ty(cv)),
246 };
247 llvm::set_initializer(gv, cv);
248 set_global_alignment(self, gv, align);
249 llvm::set_unnamed_address(gv, llvm::UnnamedAddr::Global);
250 gv
251 }
252
253 pub(crate) fn static_addr_of_impl(
257 &self,
258 cv: &'ll Value,
259 align: Align,
260 kind: Option<&str>,
261 ) -> &'ll Value {
262 if let Some(&gv) = self.const_globals.borrow().get(&cv) {
263 unsafe {
264 let llalign = align.bytes() as u32;
267 if llalign > llvm::LLVMGetAlignment(gv) {
268 llvm::LLVMSetAlignment(gv, llalign);
269 }
270 }
271 return gv;
272 }
273 let gv = self.static_addr_of_mut(cv, align, kind);
274 llvm::set_global_constant(gv, true);
275
276 self.const_globals.borrow_mut().insert(cv, gv);
277 gv
278 }
279
280 #[instrument(level = "debug", skip(self))]
281 pub(crate) fn get_static(&self, def_id: DefId) -> &'ll Value {
282 let instance = Instance::mono(self.tcx, def_id);
283 trace!(?instance);
284
285 let DefKind::Static { nested, .. } = self.tcx.def_kind(def_id) else { bug!() };
286 let llty = if nested {
289 self.type_i8()
290 } else {
291 let ty = instance.ty(self.tcx, self.typing_env());
292 trace!(?ty);
293 self.layout_of(ty).llvm_type(self)
294 };
295 self.get_static_inner(def_id, llty)
296 }
297
298 #[instrument(level = "debug", skip(self, llty))]
299 fn get_static_inner(&self, def_id: DefId, llty: &'ll Type) -> &'ll Value {
300 let instance = Instance::mono(self.tcx, def_id);
301 if let Some(&g) = self.instances.borrow().get(&instance) {
302 trace!("used cached value");
303 return g;
304 }
305
306 let defined_in_current_codegen_unit =
307 self.codegen_unit.items().contains_key(&MonoItem::Static(def_id));
308 assert!(
309 !defined_in_current_codegen_unit,
310 "consts::get_static() should always hit the cache for \
311 statics defined in the same CGU, but did not for `{def_id:?}`"
312 );
313
314 let sym = self.tcx.symbol_name(instance).name;
315 let fn_attrs = self.tcx.codegen_fn_attrs(def_id);
316
317 debug!(?sym, ?fn_attrs);
318
319 let g = if def_id.is_local() && !self.tcx.is_foreign_item(def_id) {
320 if let Some(g) = self.get_declared_value(sym) {
321 if self.val_ty(g) != self.type_ptr() {
322 span_bug!(self.tcx.def_span(def_id), "Conflicting types for static");
323 }
324 }
325
326 let g = self.declare_global(sym, llty);
327
328 if !self.tcx.is_reachable_non_generic(def_id) {
329 llvm::set_visibility(g, llvm::Visibility::Hidden);
330 }
331
332 g
333 } else {
334 check_and_apply_linkage(self, fn_attrs, llty, sym, def_id)
335 };
336
337 if fn_attrs.flags.contains(CodegenFnAttrFlags::THREAD_LOCAL) {
344 llvm::set_thread_local_mode(g, self.tls_model);
345 }
346
347 let dso_local = self.assume_dso_local(g, true);
348
349 if !def_id.is_local() {
350 let needs_dll_storage_attr = self.use_dll_storage_attrs
351 && !self.tcx.is_foreign_item(def_id)
352 && !dso_local
355 && !self.tcx.sess.opts.cg.linker_plugin_lto.enabled();
360
361 assert!(
364 !(self.tcx.sess.opts.cg.linker_plugin_lto.enabled()
365 && self.tcx.sess.target.is_like_windows
366 && self.tcx.sess.opts.cg.prefer_dynamic)
367 );
368
369 if needs_dll_storage_attr {
370 if !self.tcx.is_codegened_item(def_id) {
381 llvm::set_dllimport_storage_class(g);
382 }
383 }
384 }
385
386 if self.use_dll_storage_attrs
387 && let Some(library) = self.tcx.native_library(def_id)
388 && library.kind.is_dllimport()
389 {
390 llvm::set_dllimport_storage_class(g);
392 }
393
394 self.instances.borrow_mut().insert(instance, g);
395 g
396 }
397
398 fn codegen_static_item(&mut self, def_id: DefId) {
399 assert!(
400 llvm::LLVMGetInitializer(
401 self.instances.borrow().get(&Instance::mono(self.tcx, def_id)).unwrap()
402 )
403 .is_none()
404 );
405 let attrs = self.tcx.codegen_fn_attrs(def_id);
406
407 let Ok((v, alloc)) = codegen_static_initializer(self, def_id) else {
408 return;
410 };
411 let alloc = alloc.inner();
412
413 let val_llty = self.val_ty(v);
414
415 let g = self.get_static_inner(def_id, val_llty);
416 let llty = self.get_type_of_global(g);
417
418 let g = if val_llty == llty {
419 g
420 } else {
421 let name = String::from_utf8(llvm::get_value_name(g))
430 .expect("we declare our statics with a utf8-valid name");
431 llvm::set_value_name(g, b"");
432
433 let linkage = llvm::get_linkage(g);
434 let visibility = llvm::get_visibility(g);
435
436 let new_g = self.declare_global(&name, val_llty);
437
438 llvm::set_linkage(new_g, linkage);
439 llvm::set_visibility(new_g, visibility);
440
441 self.renamed_statics.borrow_mut().insert(def_id, new_g);
447
448 self.statics_to_rauw.borrow_mut().push((g, new_g));
452 new_g
453 };
454 set_global_alignment(self, g, alloc.align);
455 llvm::set_initializer(g, v);
456
457 self.assume_dso_local(g, true);
458
459 if alloc.mutability.is_not() {
461 llvm::set_global_constant(g, true);
462 }
463
464 debuginfo::build_global_var_di_node(self, def_id, g);
465
466 if attrs.flags.contains(CodegenFnAttrFlags::THREAD_LOCAL) {
467 llvm::set_thread_local_mode(g, self.tls_model);
468 }
469
470 if self.tcx.sess.target.is_like_wasm
474 && attrs
475 .link_section
476 .map(|link_section| !link_section.as_str().starts_with(".init_array"))
477 .unwrap_or(true)
478 {
479 if let Some(section) = attrs.link_section {
480 let section = self.create_metadata(section.as_str().as_bytes());
481 assert!(alloc.provenance().ptrs().is_empty());
482
483 let bytes = alloc.inspect_with_uninit_and_ptr_outside_interpreter(0..alloc.len());
487 let alloc = self.create_metadata(bytes);
488 let data = [section, alloc];
489 let meta =
490 unsafe { llvm::LLVMMDNodeInContext2(self.llcx, data.as_ptr(), data.len()) };
491 let val = self.get_metadata_value(meta);
492 unsafe {
493 llvm::LLVMAddNamedMetadataOperand(
494 self.llmod,
495 c"wasm.custom_sections".as_ptr(),
496 val,
497 )
498 };
499 }
500 } else {
501 base::set_link_section(g, attrs);
502 }
503
504 base::set_variable_sanitizer_attrs(g, attrs);
505
506 if attrs.flags.contains(CodegenFnAttrFlags::USED_COMPILER) {
507 assert!(!attrs.flags.contains(CodegenFnAttrFlags::USED_LINKER));
509
510 self.add_compiler_used_global(g);
527 }
528 if attrs.flags.contains(CodegenFnAttrFlags::USED_LINKER) {
529 assert!(!attrs.flags.contains(CodegenFnAttrFlags::USED_COMPILER));
531
532 self.add_used_global(g);
533 }
534 }
535
536 pub(crate) fn add_used_global(&mut self, global: &'ll Value) {
538 self.used_statics.push(global);
539 }
540
541 pub(crate) fn add_compiler_used_global(&mut self, global: &'ll Value) {
544 self.compiler_used_statics.push(global);
545 }
546}
547
548impl<'ll> StaticCodegenMethods for CodegenCx<'ll, '_> {
549 fn static_addr_of(&self, cv: &'ll Value, align: Align, kind: Option<&str>) -> &'ll Value {
554 let gv = self.static_addr_of_impl(cv, align, kind);
555 self.const_pointercast(gv, self.type_ptr())
558 }
559
560 fn codegen_static(&mut self, def_id: DefId) {
561 self.codegen_static_item(def_id)
562 }
563}