Refactor fn sig handling in preparation for supporting closures

diff --git a/src/abi.rs b/src/abi.rs
index cd250d77c2fe992abe50b4aa1507ecd107ea9f61..6f4c5e404a5b43413971c14c3a9586e19e4e779a 100644 (file)
--- a/src/abi.rs
+++ b/src/abi.rs
@@ -1,25 +1,21 @@
-use prelude::*;
+use std::iter;
 
-pub fn cton_sig_from_fn_sig<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>, sig: PolyFnSig<'tcx>, substs: &Substs<'tcx>) -> Signature {
-    let sig = tcx.subst_and_normalize_erasing_regions(substs, ParamEnv::reveal_all(), &sig);
-    cton_sig_from_mono_fn_sig(tcx, sig)
-}
+use rustc::hir;
+use rustc_target::spec::abi::Abi;
 
-pub fn cton_sig_from_instance<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>, inst: Instance<'tcx>) -> Signature {
-    let fn_ty = inst.ty(tcx);
-    let sig = fn_ty.fn_sig(tcx);
-    cton_sig_from_mono_fn_sig(tcx, sig)
-}
-
-pub fn cton_sig_from_mono_fn_sig<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>, sig: PolyFnSig<'tcx>) -> Signature {
-    // TODO: monomorphize signature
+use prelude::*;
 
+pub fn cton_sig_from_fn_ty<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>, fn_ty: Ty<'tcx>) -> Signature {
+    let sig = ty_fn_sig(tcx, fn_ty);
     let sig = tcx.normalize_erasing_late_bound_regions(ParamEnv::reveal_all(), &sig);
-    let inputs = sig.inputs();
-    let _output = sig.output();
     assert!(!sig.variadic, "Variadic function are not yet supported");
-    let call_conv = match sig.abi {
-        _ => CallConv::SystemV,
+    let (call_conv, inputs, _output): (CallConv, Vec<Ty>, Ty) = match sig.abi {
+        Abi::Rust => (CallConv::SystemV, sig.inputs().to_vec(), sig.output()),
+        Abi::RustCall => {
+            unimplemented!();
+        }
+        Abi::System => bug!("system abi should be selected elsewhere"),
+        _ => unimplemented!("unsupported abi {:?}", sig.abi),
     };
     Signature {
         params: Some(types::I64).into_iter() // First param is place to put return val
@@ -31,16 +27,75 @@ pub fn cton_sig_from_mono_fn_sig<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>, sig:
     }
 }
 
+fn ty_fn_sig<'a, 'tcx>(
+    tcx: TyCtxt<'a, 'tcx, 'tcx>,
+    ty: Ty<'tcx>
+) -> ty::PolyFnSig<'tcx> {
+    match ty.sty {
+        ty::TyFnDef(..) |
+        // Shims currently have type TyFnPtr. Not sure this should remain.
+        ty::TyFnPtr(_) => ty.fn_sig(tcx),
+        ty::TyClosure(def_id, substs) => {
+            let sig = substs.closure_sig(def_id, tcx);
+
+            let env_ty = tcx.closure_env_ty(def_id, substs).unwrap();
+            sig.map_bound(|sig| tcx.mk_fn_sig(
+                iter::once(*env_ty.skip_binder()).chain(sig.inputs().iter().cloned()),
+                sig.output(),
+                sig.variadic,
+                sig.unsafety,
+                sig.abi
+            ))
+        }
+        ty::TyGenerator(def_id, substs, _) => {
+            let sig = substs.poly_sig(def_id, tcx);
+
+            let env_region = ty::ReLateBound(ty::INNERMOST, ty::BrEnv);
+            let env_ty = tcx.mk_mut_ref(tcx.mk_region(env_region), ty);
+
+            sig.map_bound(|sig| {
+                let state_did = tcx.lang_items().gen_state().unwrap();
+                let state_adt_ref = tcx.adt_def(state_did);
+                let state_substs = tcx.intern_substs(&[
+                    sig.yield_ty.into(),
+                    sig.return_ty.into(),
+                ]);
+                let ret_ty = tcx.mk_adt(state_adt_ref, state_substs);
+
+                tcx.mk_fn_sig(iter::once(env_ty),
+                    ret_ty,
+                    false,
+                    hir::Unsafety::Normal,
+                    Abi::Rust
+                )
+            })
+        }
+        _ => bug!("unexpected type {:?} to ty_fn_sig", ty)
+    }
+}
+
 impl<'a, 'tcx: 'a> FunctionCx<'a, 'tcx> {
+    /// Instance must be monomorphized
     pub fn get_function_ref(&mut self, inst: Instance<'tcx>) -> FuncRef {
+        assert!(!inst.substs.needs_infer() && !inst.substs.has_param_types());
         let tcx = self.tcx;
         let module = &mut self.module;
         let func_id = *self.def_id_fn_id_map.entry(inst).or_insert_with(|| {
-            let sig = cton_sig_from_instance(tcx, inst);
+            let fn_ty = inst.ty(tcx);
+            let sig = cton_sig_from_fn_ty(tcx, fn_ty);
             module.declare_function(&tcx.absolute_item_path_str(inst.def_id()), Linkage::Local, &sig).unwrap()
         });
         module.declare_func_in_func(func_id, &mut self.bcx.func)
     }
+
+    fn self_sig(&self) -> FnSig<'tcx> {
+        let sig = ty_fn_sig(self.tcx, self.instance.ty(self.tcx));
+        self.tcx.normalize_erasing_late_bound_regions(ParamEnv::reveal_all(), &sig)
+    }
+
+    fn return_type(&self) -> Ty<'tcx> {
+        self.self_sig().output()
+    }
 }
 
 pub fn codegen_fn_prelude<'a, 'tcx: 'a>(fx: &mut FunctionCx<'a, 'tcx>, start_ebb: Ebb) {
@@ -63,7 +118,7 @@ pub fn codegen_fn_prelude<'a, 'tcx: 'a>(fx: &mut FunctionCx<'a, 'tcx>, start_ebb
         (local, fx.bcx.append_ebb_param(start_ebb, cton_type), ty, stack_slot)
     }).collect::<Vec<(Local, Value, Ty, StackSlot)>>();
 
-    let ret_layout = fx.layout_of(fx.instance.ty(fx.tcx).fn_sig(fx.tcx).skip_binder().output());
+    let ret_layout = fx.layout_of(fx.return_type());
     fx.local_map.insert(RETURN_PLACE, CPlace::Addr(ret_param, ret_layout));
 
     for (local, ebb_param, ty, stack_slot) in func_params {
@@ -96,7 +151,6 @@ pub fn codegen_call<'a, 'tcx: 'a>(
     destination: &Option<(Place<'tcx>, BasicBlock)>,
 ) -> Inst {
     let func = ::base::trans_operand(fx, func);
-    let func_ty = func.layout().ty;
     let return_place = if let Some((place, _)) = destination {
         ::base::trans_place(fx, place).expect_addr()
     } else {
@@ -121,13 +175,9 @@ pub fn codegen_call<'a, 'tcx: 'a>(
             fx.bcx.ins().call(func, &args)
         }
         func => {
+            let func_ty = func.layout().ty;
             let func = func.load_value(fx);
-            let sig = match func_ty.sty {
-                TypeVariants::TyFnDef(def_id, _substs) => fx.tcx.fn_sig(def_id),
-                TypeVariants::TyFnPtr(fn_sig) => fn_sig,
-                _ => bug!("Calling non function type {:?}", func_ty),
-            };
-            let sig = fx.bcx.import_signature(cton_sig_from_fn_sig(fx.tcx, sig, fx.param_substs));
+            let sig = fx.bcx.import_signature(cton_sig_from_fn_ty(fx.tcx, func_ty));
             fx.bcx.ins().call_indirect(sig, func, &args)
         }
     };

diff --git a/src/base.rs b/src/base.rs
index a12c785a1bf52124a02c508bfcf56ffe635bcd02..49739c68e10b0730db3a0072112645332965a5a1 100644 (file)
--- a/src/base.rs
+++ b/src/base.rs
@@ -13,8 +13,13 @@ pub fn trans_mono_item<'a, 'tcx: 'a>(cx: &mut CodegenCx<'a, 'tcx, CurrentBackend
                 ::rustc_mir::util::write_mir_pretty(tcx, Some(def_id), &mut mir).unwrap();
                 tcx.sess.warn(&format!("{:?}:\n\n{}", def_id, String::from_utf8_lossy(&mir.into_inner())));
 
-                let sig = tcx.fn_sig(def_id);
-                let sig = cton_sig_from_fn_sig(tcx, sig, substs);
+                let fn_ty = inst.ty(tcx);
+                let fn_ty = tcx.subst_and_normalize_erasing_regions(
+                    substs,
+                    ty::ParamEnv::reveal_all(),
+                    &fn_ty,
+                );
+                let sig = cton_sig_from_fn_ty(tcx, fn_ty);
                 let func_id = {
                     let module = &mut cx.module;
                     *cx.def_id_fn_id_map.entry(inst).or_insert_with(|| {
@@ -44,6 +49,7 @@ pub fn trans_mono_item<'a, 'tcx: 'a>(cx: &mut CodegenCx<'a, 'tcx, CurrentBackend
                 match ::cranelift::codegen::verify_function(&f, &flags) {
                     Ok(_) => {}
                     Err(err) => {
+                        tcx.sess.err(&format!("{:?}", err));
                         let pretty_error = ::cranelift::codegen::print_errors::pretty_verifier_error(&f, None, Some(Box::new(writer)), &err);
                         tcx.sess.fatal(&format!("cretonne verify error:\n{}", pretty_error));
                     }

diff --git a/src/common.rs b/src/common.rs
index 7e471bf40a22c313177b9b26d838c91131c63ac3..0c9d86d92fb3b3cde2a99b7259387fc144f3663c 100644 (file)
--- a/src/common.rs
+++ b/src/common.rs
@@ -1,10 +1,8 @@
-extern crate rustc_target;
-
 use std::borrow::Cow;
 use std::fmt;
 
 use syntax::ast::{IntTy, UintTy};
-use self::rustc_target::spec::{HasTargetSpec, Target};
+use rustc_target::spec::{HasTargetSpec, Target};
 
 use cranelift_module::{Module, FuncId, DataId};
 

diff --git a/src/lib.rs b/src/lib.rs
index 046af45d0ad54876dd2f2f8b43dd529f37a3b3e7..d5400c9ce8112afa345718e74e64c648258dd6fd 100644 (file)
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -6,6 +6,7 @@
 extern crate rustc;
 extern crate rustc_mir;
 extern crate rustc_codegen_utils;
+extern crate rustc_target;
 extern crate rustc_incremental;
 extern crate rustc_data_structures;