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