compiler/rustc_codegen_gcc/src/mono_item.rs

   1 use rustc_codegen_ssa::traits::PreDefineMethods;
   2 use rustc_middle::middle::codegen_fn_attrs::CodegenFnAttrFlags;
   3 use rustc_middle::mir::mono::{Linkage, Visibility};
   4 use rustc_middle::ty::{self, Instance, TypeFoldable};
   5 use rustc_middle::ty::layout::{FnAbiExt, LayoutOf};
   6 use rustc_span::def_id::DefId;
   7 use rustc_target::abi::call::FnAbi;
   8
   9 use crate::base;
  10 use crate::context::CodegenCx;
  11 use crate::type_of::LayoutGccExt;
  12
  13 impl<'gcc, 'tcx> PreDefineMethods<'tcx> for CodegenCx<'gcc, 'tcx> {
  14     fn predefine_static(&self, def_id: DefId, _linkage: Linkage, _visibility: Visibility, symbol_name: &str) {
  15         let attrs = self.tcx.codegen_fn_attrs(def_id);
  16         let instance = Instance::mono(self.tcx, def_id);
  17         let ty = instance.ty(self.tcx, ty::ParamEnv::reveal_all());
  18         let gcc_type = self.layout_of(ty).gcc_type(self, true);
  19
  20         let is_tls = attrs.flags.contains(CodegenFnAttrFlags::THREAD_LOCAL);
  21         let global = self.define_global(symbol_name, gcc_type, is_tls, attrs.link_section).unwrap_or_else(|| {
  22             self.sess().span_fatal(
  23                 self.tcx.def_span(def_id),
  24                 &format!("symbol `{}` is already defined", symbol_name),
  25             )
  26         });
  27
  28         // TODO(antoyo): set linkage and visibility.
  29         self.instances.borrow_mut().insert(instance, global);
  30     }
  31
  32     fn predefine_fn(&self, instance: Instance<'tcx>, linkage: Linkage, _visibility: Visibility, symbol_name: &str) {
  33         assert!(!instance.substs.needs_infer());
  34
  35         let fn_abi = FnAbi::of_instance(self, instance, &[]);
  36         self.linkage.set(base::linkage_to_gcc(linkage));
  37         let _decl = self.declare_fn(symbol_name, &fn_abi);
  38         //let attrs = self.tcx.codegen_fn_attrs(instance.def_id());
  39
  40         // TODO(antoyo): call set_link_section() to allow initializing argc/argv.
  41         // TODO(antoyo): set unique comdat.
  42         // TODO(antoyo): use inline attribute from there in linkage.set() above.
  43     }
  44 }