compiler/rustc_builtin_macros/src/global_allocator.rs

   1 use crate::util::check_builtin_macro_attribute;
   2
   3 use rustc_ast::expand::allocator::{
   4     AllocatorKind, AllocatorMethod, AllocatorTy, ALLOCATOR_METHODS,
   5 };
   6 use rustc_ast::ptr::P;
   7 use rustc_ast::{self as ast, Attribute, Expr, FnHeader, FnSig, Generics, Param, StmtKind};
   8 use rustc_ast::{Fn, ItemKind, Mutability, Stmt, Ty, TyKind, Unsafe};
   9 use rustc_expand::base::{Annotatable, ExtCtxt};
  10 use rustc_span::symbol::{kw, sym, Ident, Symbol};
  11 use rustc_span::Span;
  12
  13 pub fn expand(
  14     ecx: &mut ExtCtxt<'_>,
  15     _span: Span,
  16     meta_item: &ast::MetaItem,
  17     item: Annotatable,
  18 ) -> Vec<Annotatable> {
  19     check_builtin_macro_attribute(ecx, meta_item, sym::global_allocator);
  20
  21     let orig_item = item.clone();
  22     let not_static = || {
  23         ecx.sess.parse_sess.span_diagnostic.span_err(item.span(), "allocators must be statics");
  24         vec![orig_item.clone()]
  25     };
  26
  27     // Allow using `#[global_allocator]` on an item statement
  28     // FIXME - if we get deref patterns, use them to reduce duplication here
  29     let (item, is_stmt) = match &item {
  30         Annotatable::Item(item) => match item.kind {
  31             ItemKind::Static(..) => (item, false),
  32             _ => return not_static(),
  33         },
  34         Annotatable::Stmt(stmt) => match &stmt.kind {
  35             StmtKind::Item(item_) => match item_.kind {
  36                 ItemKind::Static(..) => (item_, true),
  37                 _ => return not_static(),
  38             },
  39             _ => return not_static(),
  40         },
  41         _ => return not_static(),
  42     };
  43
  44     // Generate a bunch of new items using the AllocFnFactory
  45     let span = ecx.with_def_site_ctxt(item.span);
  46     let f = AllocFnFactory { span, kind: AllocatorKind::Global, global: item.ident, cx: ecx };
  47
  48     // Generate item statements for the allocator methods.
  49     let stmts = ALLOCATOR_METHODS.iter().map(|method| f.allocator_fn(method)).collect();
  50
  51     // Generate anonymous constant serving as container for the allocator methods.
  52     let const_ty = ecx.ty(span, TyKind::Tup(Vec::new()));
  53     let const_body = ecx.expr_block(ecx.block(span, stmts));
  54     let const_item = ecx.item_const(span, Ident::new(kw::Underscore, span), const_ty, const_body);
  55     let const_item = if is_stmt {
  56         Annotatable::Stmt(P(ecx.stmt_item(span, const_item)))
  57     } else {
  58         Annotatable::Item(const_item)
  59     };
  60
  61     // Return the original item and the new methods.
  62     vec![orig_item, const_item]
  63 }
  64
  65 struct AllocFnFactory<'a, 'b> {
  66     span: Span,
  67     kind: AllocatorKind,
  68     global: Ident,
  69     cx: &'b ExtCtxt<'a>,
  70 }
  71
  72 impl AllocFnFactory<'_, '_> {
  73     fn allocator_fn(&self, method: &AllocatorMethod) -> Stmt {
  74         let mut abi_args = Vec::new();
  75         let mut i = 0;
  76         let mut mk = || {
  77             let name = Ident::from_str_and_span(&format!("arg{}", i), self.span);
  78             i += 1;
  79             name
  80         };
  81         let args = method.inputs.iter().map(|ty| self.arg_ty(ty, &mut abi_args, &mut mk)).collect();
  82         let result = self.call_allocator(method.name, args);
  83         let (output_ty, output_expr) = self.ret_ty(&method.output, result);
  84         let decl = self.cx.fn_decl(abi_args, ast::FnRetTy::Ty(output_ty));
  85         let header = FnHeader { unsafety: Unsafe::Yes(self.span), ..FnHeader::default() };
  86         let sig = FnSig { decl, header, span: self.span };
  87         let body = Some(self.cx.block_expr(output_expr));
  88         let kind = ItemKind::Fn(Box::new(Fn {
  89             defaultness: ast::Defaultness::Final,
  90             sig,
  91             generics: Generics::default(),
  92             body,
  93         }));
  94         let item = self.cx.item(
  95             self.span,
  96             Ident::from_str_and_span(&self.kind.fn_name(method.name), self.span),
  97             self.attrs(),
  98             kind,
  99         );
 100         self.cx.stmt_item(self.span, item)
 101     }
 102
 103     fn call_allocator(&self, method: Symbol, mut args: Vec<P<Expr>>) -> P<Expr> {
 104         let method = self.cx.std_path(&[sym::alloc, sym::GlobalAlloc, method]);
 105         let method = self.cx.expr_path(self.cx.path(self.span, method));
 106         let allocator = self.cx.path_ident(self.span, self.global);
 107         let allocator = self.cx.expr_path(allocator);
 108         let allocator = self.cx.expr_addr_of(self.span, allocator);
 109         args.insert(0, allocator);
 110
 111         self.cx.expr_call(self.span, method, args)
 112     }
 113
 114     fn attrs(&self) -> Vec<Attribute> {
 115         let special = sym::rustc_std_internal_symbol;
 116         let special = self.cx.meta_word(self.span, special);
 117         vec![self.cx.attribute(special)]
 118     }
 119
 120     fn arg_ty(
 121         &self,
 122         ty: &AllocatorTy,
 123         args: &mut Vec<Param>,
 124         ident: &mut dyn FnMut() -> Ident,
 125     ) -> P<Expr> {
 126         match *ty {
 127             AllocatorTy::Layout => {
 128                 let usize = self.cx.path_ident(self.span, Ident::new(sym::usize, self.span));
 129                 let ty_usize = self.cx.ty_path(usize);
 130                 let size = ident();
 131                 let align = ident();
 132                 args.push(self.cx.param(self.span, size, ty_usize.clone()));
 133                 args.push(self.cx.param(self.span, align, ty_usize));
 134
 135                 let layout_new =
 136                     self.cx.std_path(&[sym::alloc, sym::Layout, sym::from_size_align_unchecked]);
 137                 let layout_new = self.cx.expr_path(self.cx.path(self.span, layout_new));
 138                 let size = self.cx.expr_ident(self.span, size);
 139                 let align = self.cx.expr_ident(self.span, align);
 140                 let layout = self.cx.expr_call(self.span, layout_new, vec![size, align]);
 141                 layout
 142             }
 143
 144             AllocatorTy::Ptr => {
 145                 let ident = ident();
 146                 args.push(self.cx.param(self.span, ident, self.ptr_u8()));
 147                 let arg = self.cx.expr_ident(self.span, ident);
 148                 self.cx.expr_cast(self.span, arg, self.ptr_u8())
 149             }
 150
 151             AllocatorTy::Usize => {
 152                 let ident = ident();
 153                 args.push(self.cx.param(self.span, ident, self.usize()));
 154                 self.cx.expr_ident(self.span, ident)
 155             }
 156
 157             AllocatorTy::ResultPtr | AllocatorTy::Unit => {
 158                 panic!("can't convert AllocatorTy to an argument")
 159             }
 160         }
 161     }
 162
 163     fn ret_ty(&self, ty: &AllocatorTy, expr: P<Expr>) -> (P<Ty>, P<Expr>) {
 164         match *ty {
 165             AllocatorTy::ResultPtr => {
 166                 // We're creating:
 167                 //
 168                 //      #expr as *mut u8
 169
 170                 let expr = self.cx.expr_cast(self.span, expr, self.ptr_u8());
 171                 (self.ptr_u8(), expr)
 172             }
 173
 174             AllocatorTy::Unit => (self.cx.ty(self.span, TyKind::Tup(Vec::new())), expr),
 175
 176             AllocatorTy::Layout | AllocatorTy::Usize | AllocatorTy::Ptr => {
 177                 panic!("can't convert `AllocatorTy` to an output")
 178             }
 179         }
 180     }
 181
 182     fn usize(&self) -> P<Ty> {
 183         let usize = self.cx.path_ident(self.span, Ident::new(sym::usize, self.span));
 184         self.cx.ty_path(usize)
 185     }
 186
 187     fn ptr_u8(&self) -> P<Ty> {
 188         let u8 = self.cx.path_ident(self.span, Ident::new(sym::u8, self.span));
 189         let ty_u8 = self.cx.ty_path(u8);
 190         self.cx.ty_ptr(self.span, ty_u8, Mutability::Mut)
 191     }
 192 }