5 use rustc_middle::mir::mono::MonoItem;
6 use rustc_middle::mir::mono::{Linkage, Visibility};
7 use rustc_middle::ty::layout::{HasTyCtxt, LayoutOf};
9 pub trait MonoItemExt<'a, 'tcx> {
10 fn define<Bx: BuilderMethods<'a, 'tcx>>(&self, cx: &'a Bx::CodegenCx);
11 fn predefine<Bx: BuilderMethods<'a, 'tcx>>(
13 cx: &'a Bx::CodegenCx,
15 visibility: Visibility,
17 fn to_raw_string(&self) -> String;
20 impl<'a, 'tcx: 'a> MonoItemExt<'a, 'tcx> for MonoItem<'tcx> {
21 fn define<Bx: BuilderMethods<'a, 'tcx>>(&self, cx: &'a Bx::CodegenCx) {
23 "BEGIN IMPLEMENTING '{} ({})' in cgu {}",
26 cx.codegen_unit().name()
30 MonoItem::Static(def_id) => {
31 cx.codegen_static(def_id, cx.tcx().is_mutable_static(def_id));
33 MonoItem::GlobalAsm(item_id) => {
34 let item = cx.tcx().hir().item(item_id);
35 if let hir::ItemKind::GlobalAsm(ref asm) = item.kind {
36 let operands: Vec<_> = asm
39 .map(|(op, op_sp)| match *op {
40 hir::InlineAsmOperand::Const { ref anon_const } => {
41 let anon_const_def_id =
42 cx.tcx().hir().local_def_id(anon_const.hir_id).to_def_id();
44 cx.tcx().const_eval_poly(anon_const_def_id).unwrap_or_else(
45 |_| span_bug!(*op_sp, "asm const cannot be resolved"),
49 .typeck_body(anon_const.body)
50 .node_type(anon_const.hir_id);
51 let string = common::asm_const_to_str(
57 GlobalAsmOperandRef::Const { string }
59 _ => span_bug!(*op_sp, "invalid operand type for global_asm!"),
63 cx.codegen_global_asm(asm.template, &operands, asm.options, asm.line_spans);
65 span_bug!(item.span, "Mismatch between hir::Item type and MonoItem type")
68 MonoItem::Fn(instance) => {
69 base::codegen_instance::<Bx>(&cx, instance);
74 "END IMPLEMENTING '{} ({})' in cgu {}",
77 cx.codegen_unit().name()
81 fn predefine<Bx: BuilderMethods<'a, 'tcx>>(
83 cx: &'a Bx::CodegenCx,
85 visibility: Visibility,
88 "BEGIN PREDEFINING '{} ({})' in cgu {}",
91 cx.codegen_unit().name()
94 let symbol_name = self.symbol_name(cx.tcx()).name;
96 debug!("symbol {}", &symbol_name);
99 MonoItem::Static(def_id) => {
100 cx.predefine_static(def_id, linkage, visibility, &symbol_name);
102 MonoItem::Fn(instance) => {
103 cx.predefine_fn(instance, linkage, visibility, &symbol_name);
105 MonoItem::GlobalAsm(..) => {}
109 "END PREDEFINING '{} ({})' in cgu {}",
111 self.to_raw_string(),
112 cx.codegen_unit().name()
116 fn to_raw_string(&self) -> String {
118 MonoItem::Fn(instance) => {
119 format!("Fn({:?}, {})", instance.def, instance.substs.as_ptr() as usize)
121 MonoItem::Static(id) => format!("Static({:?})", id),
122 MonoItem::GlobalAsm(id) => format!("GlobalAsm({:?})", id),