src/driver/jit.rs

   1 use std::ffi::CString;
   2 use std::os::raw::{c_char, c_int};
   3
   4 use rustc_codegen_ssa::CrateInfo;
   5
   6 use crate::prelude::*;
   7
   8 pub(super) fn run_jit(tcx: TyCtxt<'_>) -> ! {
   9     use cranelift_simplejit::{SimpleJITBackend, SimpleJITBuilder};
  10
  11     // Rustc opens us without the RTLD_GLOBAL flag, so __cg_clif_global_atomic_mutex will not be
  12     // exported. We fix this by opening ourself again as global.
  13     // FIXME remove once atomic_shim is gone
  14     let cg_dylib = std::ffi::OsString::from(&tcx.sess.opts.debugging_opts.codegen_backend.as_ref().unwrap());
  15     std::mem::forget(libloading::os::unix::Library::open(Some(cg_dylib), libc::RTLD_NOW | libc::RTLD_GLOBAL).unwrap());
  16
  17
  18     let imported_symbols = load_imported_symbols_for_jit(tcx);
  19
  20     let mut jit_builder = SimpleJITBuilder::with_isa(
  21         crate::build_isa(tcx.sess, false),
  22         cranelift_module::default_libcall_names(),
  23     );
  24     jit_builder.symbols(imported_symbols);
  25     let mut jit_module: Module<SimpleJITBackend> = Module::new(jit_builder);
  26     assert_eq!(pointer_ty(tcx), jit_module.target_config().pointer_type());
  27
  28     let sig = Signature {
  29         params: vec![
  30             AbiParam::new(jit_module.target_config().pointer_type()),
  31             AbiParam::new(jit_module.target_config().pointer_type()),
  32         ],
  33         returns: vec![AbiParam::new(
  34             jit_module.target_config().pointer_type(), /*isize*/
  35         )],
  36         call_conv: CallConv::triple_default(&crate::target_triple(tcx.sess)),
  37     };
  38     let main_func_id = jit_module
  39         .declare_function("main", Linkage::Import, &sig)
  40         .unwrap();
  41
  42     if !tcx.sess.opts.output_types.should_codegen() {
  43         tcx.sess.fatal("JIT mode doesn't work with `cargo check`.");
  44     }
  45
  46     let (_, cgus) = tcx.collect_and_partition_mono_items(LOCAL_CRATE);
  47     let mono_items = cgus
  48         .iter()
  49         .map(|cgu| cgu.items_in_deterministic_order(tcx).into_iter())
  50         .flatten()
  51         .collect::<FxHashMap<_, (_, _)>>()
  52         .into_iter()
  53         .collect::<Vec<(_, (_, _))>>();
  54
  55     super::time(tcx, "codegen mono items", || {
  56         super::codegen_mono_items(tcx, &mut jit_module, None, mono_items);
  57     });
  58     crate::main_shim::maybe_create_entry_wrapper(tcx, &mut jit_module);
  59     crate::allocator::codegen(tcx, &mut jit_module);
  60
  61     jit_module.finalize_definitions();
  62
  63     tcx.sess.abort_if_errors();
  64
  65     let finalized_main: *const u8 = jit_module.get_finalized_function(main_func_id);
  66
  67     println!("Rustc codegen cranelift will JIT run the executable, because the CG_CLIF_JIT env var is set");
  68
  69     let f: extern "C" fn(c_int, *const *const c_char) -> c_int =
  70         unsafe { ::std::mem::transmute(finalized_main) };
  71
  72     let args = ::std::env::var("CG_CLIF_JIT_ARGS").unwrap_or_else(|_| String::new());
  73     let args = args
  74         .split(" ")
  75         .chain(Some(&*tcx.crate_name(LOCAL_CRATE).as_str().to_string()))
  76         .map(|arg| CString::new(arg).unwrap())
  77         .collect::<Vec<_>>();
  78     let argv = args.iter().map(|arg| arg.as_ptr()).collect::<Vec<_>>();
  79     // TODO: Rust doesn't care, but POSIX argv has a NULL sentinel at the end
  80
  81     let ret = f(args.len() as c_int, argv.as_ptr());
  82
  83     jit_module.finish();
  84     std::process::exit(ret);
  85 }
  86
  87 fn load_imported_symbols_for_jit(tcx: TyCtxt<'_>) -> Vec<(String, *const u8)> {
  88     use rustc_middle::middle::dependency_format::Linkage;
  89
  90     let mut dylib_paths = Vec::new();
  91
  92     let crate_info = CrateInfo::new(tcx);
  93     let formats = tcx.dependency_formats(LOCAL_CRATE);
  94     let data = &formats
  95         .iter()
  96         .find(|(crate_type, _data)| *crate_type == rustc_session::config::CrateType::Executable)
  97         .unwrap()
  98         .1;
  99     for &(cnum, _) in &crate_info.used_crates_dynamic {
 100         let src = &crate_info.used_crate_source[&cnum];
 101         match data[cnum.as_usize() - 1] {
 102             Linkage::NotLinked | Linkage::IncludedFromDylib => {}
 103             Linkage::Static => {
 104                 let name = tcx.crate_name(cnum);
 105                 let mut err = tcx
 106                     .sess
 107                     .struct_err(&format!("Can't load static lib {}", name.as_str()));
 108                 err.note("rustc_codegen_cranelift can only load dylibs in JIT mode.");
 109                 err.emit();
 110             }
 111             Linkage::Dynamic => {
 112                 dylib_paths.push(src.dylib.as_ref().unwrap().0.clone());
 113             }
 114         }
 115     }
 116
 117     let mut imported_symbols = Vec::new();
 118     for path in dylib_paths {
 119         use object::Object;
 120         let lib = libloading::Library::new(&path).unwrap();
 121         let obj = std::fs::read(path).unwrap();
 122         let obj = object::File::parse(&obj).unwrap();
 123         imported_symbols.extend(obj.dynamic_symbols().filter_map(|(_idx, symbol)| {
 124             let name = symbol.name().unwrap().to_string();
 125             if name.is_empty() || !symbol.is_global() || symbol.is_undefined() {
 126                 return None;
 127             }
 128             let dlsym_name = if cfg!(target_os = "macos") {
 129                 // On macOS `dlsym` expects the name without leading `_`.
 130                 assert!(name.starts_with("_"), "{:?}", name);
 131                 &name[1..]
 132             } else {
 133                 &name
 134             };
 135             let symbol: libloading::Symbol<'_, *const u8> =
 136                 unsafe { lib.get(dlsym_name.as_bytes()) }.unwrap();
 137             Some((name, *symbol))
 138         }));
 139         std::mem::forget(lib)
 140     }
 141
 142     tcx.sess.abort_if_errors();
 143
 144     imported_symbols
 145 }