rust/src/base.rs

515 lines
20 KiB
Rust
Raw Normal View History

2018-06-17 11:05:11 -05:00
use syntax::ast::{IntTy, UintTy};
use rustc_mir::monomorphize::MonoItem;
use cretonne::prelude::*;
2018-06-19 12:51:29 -05:00
//use cretonne::codegen::Context;
2018-06-17 11:05:11 -05:00
use cretonne::codegen::ir::{
ExternalName,
2018-06-17 12:10:00 -05:00
FuncRef,
2018-06-17 11:05:11 -05:00
function::Function,
};
2018-06-19 12:51:29 -05:00
use cretonne_module::{Module, Backend, FuncId, Linkage};
use cretonne_simplejit::{SimpleJITBuilder, SimpleJITBackend};
2018-06-17 11:05:11 -05:00
use std::any::Any;
use std::collections::HashMap;
use prelude::*;
#[derive(Debug, Copy, Clone, Eq, PartialEq)]
struct Variable(Local);
2018-06-19 12:51:29 -05:00
type CurrentBackend = SimpleJITBackend;
2018-06-17 11:05:11 -05:00
impl EntityRef for Variable {
fn new(u: usize) -> Self {
Variable(Local::new(u))
}
fn index(self) -> usize {
self.0.index()
}
}
enum CValue {
ByRef(Value),
ByVal(Value),
2018-06-17 12:10:00 -05:00
Func(FuncRef),
2018-06-17 11:05:11 -05:00
}
impl CValue {
2018-06-19 12:51:29 -05:00
fn force_stack<'a, 'tcx: 'a>(self, fx: &mut FunctionCx<'a, 'tcx>, ty: Ty<'tcx>) -> Value {
2018-06-17 11:05:11 -05:00
match self {
CValue::ByRef(value) => value,
CValue::ByVal(value) => {
2018-06-19 12:51:29 -05:00
let layout = fx.tcx.layout_of(ParamEnv::empty().and(ty)).unwrap();
let stack_slot = fx.bcx.create_stack_slot(StackSlotData {
2018-06-17 11:05:11 -05:00
kind: StackSlotKind::ExplicitSlot,
size: layout.size.bytes() as u32,
offset: None,
});
2018-06-19 12:51:29 -05:00
fx.bcx.ins().stack_store(value, stack_slot, 0);
fx.bcx.ins().stack_addr(types::I64, stack_slot, 0)
2018-06-17 11:05:11 -05:00
}
2018-06-17 12:10:00 -05:00
CValue::Func(func) => {
2018-06-19 12:51:29 -05:00
let func = fx.bcx.ins().func_addr(types::I64, func);
CValue::ByVal(func).force_stack(fx, ty)
2018-06-17 12:10:00 -05:00
}
2018-06-17 11:05:11 -05:00
}
}
2018-06-19 12:51:29 -05:00
fn load_value<'a, 'tcx: 'a>(self, fx: &mut FunctionCx<'a, 'tcx>, ty: Ty<'tcx>) -> Value {
2018-06-17 11:05:11 -05:00
match self {
CValue::ByRef(value) => {
let cton_ty = cton_type_from_ty(ty).unwrap();
2018-06-19 12:51:29 -05:00
fx.bcx.ins().load(cton_ty, MemFlags::new(), value, 0)
2018-06-17 11:05:11 -05:00
}
CValue::ByVal(value) => value,
2018-06-17 12:10:00 -05:00
CValue::Func(func) => {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().func_addr(types::I64, func)
2018-06-17 12:10:00 -05:00
}
2018-06-17 11:05:11 -05:00
}
}
}
pub fn trans_crate<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>) -> Box<Any> {
let link_meta = ::build_link_meta(tcx.crate_hash(LOCAL_CRATE));
let metadata = tcx.encode_metadata(&link_meta);
2018-06-19 12:51:29 -05:00
let module: Module<SimpleJITBackend> = Module::new(SimpleJITBuilder::new());
//let mut context = Context::new();
let mut cx = CodegenCx {
tcx,
module,
def_id_fn_id_map: HashMap::new(),
};
let cx = &mut cx;
2018-06-17 11:05:11 -05:00
for mono_item in
collector::collect_crate_mono_items(
tcx,
collector::MonoItemCollectionMode::Eager
).0 {
match mono_item {
2018-06-19 12:51:29 -05:00
MonoItem::Fn(inst) => match inst {
Instance {
def: InstanceDef::Item(def_id),
substs,
} => {
let sig = tcx.fn_sig(def_id);
let sig = cton_sig_from_fn_sig(tcx, sig, substs);
let func_id = {
let module = &mut cx.module;
*cx.def_id_fn_id_map.entry(inst).or_insert_with(|| {
module.declare_function(&tcx.absolute_item_path_str(def_id), Linkage::Local, &sig).unwrap()
})
};
let mut f = Function::with_name_signature(ext_name_from_did(def_id), sig);
trans_fn(cx, &mut f, def_id, substs);
let flags = settings::Flags::new(settings::builder());
let verify_error: String = ::cretonne::codegen::verify_function(&f, &flags)
.map(|_| String::new())
.unwrap_or_else(|err| format!("\n\ncretonne error: {}", err));
let mut mir = ::std::io::Cursor::new(Vec::new());
::rustc_mir::util::write_mir_pretty(cx.tcx, Some(def_id), &mut mir).unwrap();
let mut cton = String::new();
::cretonne::codegen::write_function(&mut cton, &f, None).unwrap();
tcx.sess.warn(&format!("{:?}:\n\n{}\n\n{}{}", def_id, String::from_utf8_lossy(&mir.into_inner()), cton, verify_error));
//context.func = f;
//cx.module.define_function(func_id, &mut context).unwrap();
//context.clear();
}
_ => {}
2018-06-17 11:05:11 -05:00
}
_ => {}
}
}
2018-06-19 12:51:29 -05:00
//cx.module.finalize_all();
//cx.module.finish();
2018-06-17 11:05:11 -05:00
Box::new(::OngoingCodegen {
metadata: metadata,
2018-06-19 12:51:29 -05:00
//translated_module: Module::new(::cretonne_faerie::FaerieBuilder::new(,
2018-06-17 11:05:11 -05:00
crate_name: tcx.crate_name(LOCAL_CRATE),
})
}
2018-06-19 12:51:29 -05:00
struct CodegenCx<'a, 'tcx: 'a> {
tcx: TyCtxt<'a, 'tcx, 'tcx>,
module: Module<CurrentBackend>,
def_id_fn_id_map: HashMap<Instance<'tcx>, FuncId>,
}
struct FunctionCx<'a, 'tcx: 'a> {
2018-06-17 11:05:11 -05:00
tcx: TyCtxt<'a, 'tcx, 'tcx>,
2018-06-19 12:51:29 -05:00
module: &'a mut Module<CurrentBackend>,
def_id_fn_id_map: &'a mut HashMap<Instance<'tcx>, FuncId>,
2018-06-17 11:05:11 -05:00
bcx: FunctionBuilder<'a, Variable>,
mir: &'tcx Mir<'tcx>,
ebb_map: HashMap<BasicBlock, Ebb>,
args_map: HashMap<Local, Value>,
}
2018-06-19 12:51:29 -05:00
impl<'f, 'tcx> FunctionCx<'f, 'tcx> {
2018-06-17 11:05:11 -05:00
fn get_ebb(&self, bb: BasicBlock) -> Ebb {
*self.ebb_map.get(&bb).unwrap()
}
fn get_local(&mut self, local: Local) -> Value {
match self.mir.local_kind(local) {
LocalKind::Arg => *self.args_map.get(&local).unwrap(),
LocalKind::ReturnPointer => *self.args_map.get(&RETURN_PLACE).unwrap(),
LocalKind::Temp | LocalKind::Var => self.bcx.use_var(Variable(local)),
}
}
2018-06-19 12:51:29 -05:00
fn get_function_ref(&mut self, inst: Instance<'tcx>) -> FuncRef {
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);
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)
}
2018-06-17 11:05:11 -05:00
}
2018-06-19 12:51:29 -05:00
fn trans_fn<'a, 'tcx: 'a>(cx: &mut CodegenCx<'a, 'tcx>, f: &mut Function, def_id: DefId, substs: &Substs<'tcx>) {
let mir = cx.tcx.optimized_mir(def_id);
2018-06-17 11:05:11 -05:00
let mut func_ctx = FunctionBuilderContext::new();
let mut bcx: FunctionBuilder<Variable> = FunctionBuilder::new(f, &mut func_ctx);
let start_ebb = bcx.create_ebb();
bcx.switch_to_block(start_ebb);
let mut ebb_map: HashMap<BasicBlock, Ebb> = HashMap::new();
for (bb, _bb_data) in mir.basic_blocks().iter_enumerated() {
ebb_map.insert(bb, bcx.create_ebb());
}
let mut args_map: HashMap<Local, Value> = HashMap::new();
for arg in Some(RETURN_PLACE).into_iter().chain(mir.args_iter()) {
let ty = types::I64;
args_map.insert(arg, bcx.append_ebb_param(start_ebb, ty));
}
for local in mir.vars_and_temps_iter() {
2018-06-19 12:51:29 -05:00
let layout = cx.tcx.layout_of(ParamEnv::reveal_all().and(mir.local_decls[local].ty)).unwrap();
2018-06-17 11:05:11 -05:00
let stack_slot = bcx.create_stack_slot(StackSlotData {
kind: StackSlotKind::ExplicitSlot,
size: layout.size.bytes() as u32,
offset: None,
});
let ty = types::I64;
bcx.declare_var(Variable(local), ty);
let val = bcx.ins().stack_addr(ty, stack_slot, 0);
bcx.def_var(Variable(local), val);
}
bcx.ins().jump(*ebb_map.get(&START_BLOCK).unwrap(), &[]);
2018-06-19 12:51:29 -05:00
let mut fx = FunctionCx {
tcx: cx.tcx,
module: &mut cx.module,
def_id_fn_id_map: &mut cx.def_id_fn_id_map,
2018-06-17 11:05:11 -05:00
bcx,
mir,
ebb_map,
args_map,
};
2018-06-19 12:51:29 -05:00
let fx = &mut fx;
2018-06-17 11:05:11 -05:00
for (bb, bb_data) in mir.basic_blocks().iter_enumerated() {
2018-06-19 12:51:29 -05:00
let ebb = fx.get_ebb(bb);
fx.bcx.switch_to_block(ebb);
2018-06-17 11:05:11 -05:00
for stmt in &bb_data.statements {
2018-06-19 12:51:29 -05:00
trans_stmt(fx, stmt);
2018-06-17 11:05:11 -05:00
}
match &bb_data.terminator().kind {
TerminatorKind::Goto { target } => {
2018-06-19 12:51:29 -05:00
let ebb = fx.get_ebb(*target);
fx.bcx.ins().jump(ebb, &[]);
2018-06-17 11:05:11 -05:00
}
TerminatorKind::Return => {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().return_(&[]);
2018-06-17 11:05:11 -05:00
}
2018-06-18 11:39:07 -05:00
TerminatorKind::Assert { cond, expected, msg: _, target, cleanup: _ } => {
2018-06-19 12:51:29 -05:00
let cond_ty = cond.ty(&fx.mir.local_decls, fx.tcx);
let cond = trans_operand(fx, cond).load_value(fx, cond_ty);
let target = fx.get_ebb(*target);
2018-06-17 11:05:11 -05:00
if *expected {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().brz(cond, target, &[]);
2018-06-17 11:05:11 -05:00
} else {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().brnz(cond, target, &[]);
2018-06-17 11:05:11 -05:00
}
2018-06-19 12:51:29 -05:00
fx.bcx.ins().trap(TrapCode::User(!0));
2018-06-17 11:05:11 -05:00
}
TerminatorKind::SwitchInt { discr, switch_ty, values, targets } => {
2018-06-19 12:51:29 -05:00
let discr_ty = discr.ty(&fx.mir.local_decls, fx.tcx);
let discr = trans_operand(fx, discr).load_value(fx, discr_ty);
2018-06-17 11:05:11 -05:00
let mut jt_data = JumpTableData::new();
for (i, value) in values.iter().enumerate() {
2018-06-19 12:51:29 -05:00
let ebb = fx.get_ebb(targets[i]);
2018-06-17 11:05:11 -05:00
jt_data.set_entry(*value as usize, ebb);
}
2018-06-19 12:51:29 -05:00
let mut jump_table = fx.bcx.create_jump_table(jt_data);
fx.bcx.ins().br_table(discr, jump_table);
let otherwise_ebb = fx.get_ebb(targets[targets.len() - 1]);
fx.bcx.ins().jump(otherwise_ebb, &[]);
2018-06-17 11:05:11 -05:00
}
2018-06-17 12:10:00 -05:00
TerminatorKind::Call { func, args, destination, cleanup: _ } => {
2018-06-19 12:51:29 -05:00
let func_ty = func.ty(&fx.mir.local_decls, fx.tcx);
let func = trans_operand(fx, func);
2018-06-17 12:10:00 -05:00
let return_place = if let Some((place, _)) = destination {
2018-06-19 12:51:29 -05:00
trans_place(fx, place)
2018-06-17 12:10:00 -05:00
} else {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().iconst(types::I64, 0)
2018-06-17 12:10:00 -05:00
};
let args = Some(return_place)
.into_iter()
.chain(
args
.into_iter()
.map(|arg| {
2018-06-19 12:51:29 -05:00
let ty = arg.ty(&fx.mir.local_decls, fx.tcx);
let arg = trans_operand(fx, arg);
arg.force_stack(fx, ty)
2018-06-17 12:10:00 -05:00
})
).collect::<Vec<_>>();
match func {
CValue::Func(func) => {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().call(func, &args);
2018-06-17 12:10:00 -05:00
}
2018-06-18 11:39:07 -05:00
func => {
2018-06-19 12:51:29 -05:00
let func = func.load_value(fx, func_ty);
2018-06-18 11:39:07 -05:00
let sig = match func_ty.sty {
2018-06-19 12:51:29 -05:00
TypeVariants::TyFnDef(def_id, _substs) => fx.tcx.fn_sig(def_id),
2018-06-18 11:39:07 -05:00
TypeVariants::TyFnPtr(fn_sig) => fn_sig,
_ => bug!("Calling non function type {:?}", func_ty),
};
2018-06-19 12:51:29 -05:00
let sig = fx.bcx.import_signature(cton_sig_from_fn_sig(fx.tcx, sig, substs));
fx.bcx.ins().call_indirect(sig, func, &args);
2018-06-18 11:39:07 -05:00
}
2018-06-17 12:10:00 -05:00
}
if let Some((_, dest)) = *destination {
2018-06-19 12:51:29 -05:00
let ret_ebb = fx.get_ebb(dest);
fx.bcx.ins().jump(ret_ebb, &[]);
2018-06-17 12:10:00 -05:00
} else {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().trap(TrapCode::User(!0));
2018-06-17 12:10:00 -05:00
}
2018-06-17 11:05:11 -05:00
}
2018-06-17 12:10:00 -05:00
TerminatorKind::Resume | TerminatorKind::Abort | TerminatorKind::Unreachable => {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().trap(TrapCode::User(!0));
2018-06-17 12:10:00 -05:00
}
2018-06-18 11:39:07 -05:00
TerminatorKind::Yield { .. } |
TerminatorKind::FalseEdges { .. } |
TerminatorKind::FalseUnwind { .. } => {
bug!("shouldn't exist at trans {:?}", bb_data.terminator());
}
TerminatorKind::Drop { .. } | TerminatorKind::DropAndReplace { .. } | TerminatorKind::GeneratorDrop { .. } => {
unimplemented!("terminator {:?}", bb_data.terminator());
}
2018-06-17 11:05:11 -05:00
}
}
2018-06-19 12:51:29 -05:00
fx.bcx.seal_all_blocks();
fx.bcx.finalize();
2018-06-17 11:05:11 -05:00
}
2018-06-19 12:51:29 -05:00
fn trans_stmt<'a, 'tcx: 'a>(fx: &mut FunctionCx<'a, 'tcx>, stmt: &Statement<'tcx>) {
2018-06-17 11:05:11 -05:00
match &stmt.kind {
StatementKind::Assign(place, rval) => {
2018-06-19 12:51:29 -05:00
let ty = place.ty(&fx.mir.local_decls, fx.tcx).to_ty(fx.tcx);
let lval = trans_place(fx, place);
let rval = trans_rval(fx, rval);
do_memcpy(fx, lval, rval, ty);
2018-06-17 11:05:11 -05:00
}
StatementKind::StorageLive(_) | StatementKind::StorageDead(_) | StatementKind::Nop => {}
_ => unimplemented!("stmt {:?}", stmt),
}
}
2018-06-19 12:51:29 -05:00
fn trans_place<'a, 'tcx: 'a>(fx: &mut FunctionCx<'a, 'tcx>, place: &Place<'tcx>) -> Value {
2018-06-17 11:05:11 -05:00
match place {
2018-06-19 12:51:29 -05:00
Place::Local(local) => fx.get_local(*local),
2018-06-17 11:05:11 -05:00
Place::Projection(projection) => {
2018-06-19 12:51:29 -05:00
let base = trans_place(fx, &projection.base);
2018-06-17 11:05:11 -05:00
match projection.elem {
ProjectionElem::Field(field, ty) => {
2018-06-19 12:51:29 -05:00
let layout = fx.tcx.layout_of(ParamEnv::empty().and(ty)).unwrap();
let field_offset = layout.fields.offset(field.index());
2018-06-19 12:51:29 -05:00
let field_offset = fx.bcx.ins().iconst(types::I64, field_offset.bytes() as i64);
fx.bcx.ins().iadd(base, field_offset)
2018-06-17 11:05:11 -05:00
}
_ => unimplemented!("projection {:?}", projection),
}
}
place => unimplemented!("place {:?}", place),
}
}
2018-06-19 12:51:29 -05:00
fn trans_rval<'a, 'tcx: 'a>(fx: &mut FunctionCx<'a, 'tcx>, rval: &Rvalue<'tcx>) -> Value {
2018-06-17 11:05:11 -05:00
match rval {
Rvalue::Use(operand) => {
2018-06-19 12:51:29 -05:00
let operand_ty = operand.ty(&fx.mir.local_decls, fx.tcx);
trans_operand(fx, operand).force_stack(fx, operand_ty)
2018-06-17 11:05:11 -05:00
},
Rvalue::CheckedBinaryOp(bin_op, lhs, rhs) => {
match bin_op {
BinOp::Mul => {
2018-06-19 12:51:29 -05:00
let ty = lhs.ty(&fx.mir.local_decls, fx.tcx);
let lhs_ty = lhs.ty(&fx.mir.local_decls, fx.tcx);
let lhs = trans_operand(fx, lhs).load_value(fx, lhs_ty);
let rhs_ty = rhs.ty(&fx.mir.local_decls, fx.tcx);
let rhs = trans_operand(fx, rhs).load_value(fx, rhs_ty);
let res = match ty.sty {
2018-06-17 11:05:11 -05:00
TypeVariants::TyUint(_) => {
2018-06-19 12:51:29 -05:00
fx.bcx.ins().imul(lhs, rhs)
2018-06-17 11:05:11 -05:00
}
_ => unimplemented!(),
2018-06-19 12:51:29 -05:00
};
let layout = fx.tcx.layout_of(ParamEnv::empty().and(rval.ty(&fx.mir.local_decls, fx.tcx))).unwrap();
let stack_slot = fx.bcx.create_stack_slot(StackSlotData {
kind: StackSlotKind::ExplicitSlot,
size: layout.size.bytes() as u32,
offset: None,
});
fx.bcx.ins().stack_store(res, stack_slot, 1);
fx.bcx.ins().stack_addr(types::I64, stack_slot, 1)
2018-06-17 11:05:11 -05:00
}
bin_op => unimplemented!("checked bin op {:?} {:?} {:?}", bin_op, lhs, rhs),
}
}
2018-06-18 11:39:07 -05:00
Rvalue::Cast(CastKind::ReifyFnPointer, operand, ty) => {
2018-06-19 12:51:29 -05:00
let operand = trans_operand(fx, operand);
operand.force_stack(fx, ty)
2018-06-18 11:39:07 -05:00
}
Rvalue::Cast(CastKind::UnsafeFnPointer, operand, ty) => {
2018-06-19 12:51:29 -05:00
trans_operand(fx, operand).force_stack(fx, ty)
2018-06-18 11:39:07 -05:00
}
rval => unimplemented!("rval {:?}", rval),
2018-06-17 11:05:11 -05:00
}
}
2018-06-19 12:51:29 -05:00
fn trans_operand<'a, 'tcx>(fx: &mut FunctionCx<'a, 'tcx>, operand: &Operand<'tcx>) -> CValue {
2018-06-17 11:05:11 -05:00
match operand {
2018-06-18 11:39:07 -05:00
Operand::Move(place) |
2018-06-19 12:51:29 -05:00
Operand::Copy(place) => CValue::ByRef(trans_place(fx, place)),
2018-06-17 11:05:11 -05:00
Operand::Constant(const_) => {
match const_.literal {
Literal::Value { value } => {
2018-06-19 12:51:29 -05:00
let layout = fx.tcx.layout_of(ParamEnv::empty().and(const_.ty)).unwrap();
2018-06-17 11:05:11 -05:00
match const_.ty.sty {
TypeVariants::TyUint(_) => {
2018-06-17 12:10:00 -05:00
let bits = value.to_scalar().unwrap().to_bits(layout.size).unwrap();
2018-06-19 12:51:29 -05:00
let iconst = fx.bcx.ins().iconst(cton_type_from_ty(const_.ty).unwrap(), bits as u64 as i64);
2018-06-17 11:05:11 -05:00
CValue::ByVal(iconst)
}
2018-06-17 12:10:00 -05:00
TypeVariants::TyInt(_) => {
let bits = value.to_scalar().unwrap().to_bits(layout.size).unwrap();
2018-06-19 12:51:29 -05:00
let iconst = fx.bcx.ins().iconst(cton_type_from_ty(const_.ty).unwrap(), bits as i128 as i64);
2018-06-17 12:10:00 -05:00
CValue::ByVal(iconst)
}
TypeVariants::TyFnDef(def_id, substs) => {
2018-06-19 12:51:29 -05:00
let func_ref = fx.get_function_ref(Instance::new(def_id, substs));
CValue::Func(func_ref)
2018-06-17 12:10:00 -05:00
}
_ => unimplemented!("value {:?} ty {:?}", value, const_.ty),
2018-06-17 11:05:11 -05:00
}
}
_ => unimplemented!()
}
}
}
}
2018-06-19 12:51:29 -05:00
fn do_memcpy<'a, 'tcx: 'a>(fx: &mut FunctionCx<'a, 'tcx>, to: Value, from: Value, ty: Ty<'tcx>) {
let layout = fx.tcx.layout_of(ParamEnv::reveal_all().and(ty)).unwrap();
2018-06-18 11:39:07 -05:00
let size = layout.size.bytes() as i32;
let ty = match size {
2 => Some(types::I16),
4 => Some(types::I32),
8 => Some(types::I64),
_ => None,
};
if let Some(ty) = ty {
2018-06-19 12:51:29 -05:00
let data = fx.bcx.ins().load(ty, MemFlags::new(), from, 0);
fx.bcx.ins().store(MemFlags::new(), data, to, 0);
2018-06-18 11:39:07 -05:00
} else {
for i in 0..size {
2018-06-19 12:51:29 -05:00
let byte = fx.bcx.ins().load(types::I8, MemFlags::new(), from, i);
fx.bcx.ins().store(MemFlags::new(), byte, to, i);
2018-06-18 11:39:07 -05:00
}
}
}
2018-06-17 11:05:11 -05:00
fn ext_name_from_did(def_id: DefId) -> ExternalName {
ExternalName::user(def_id.krate.as_u32(), def_id.index.as_raw_u32())
}
2018-06-19 12:51:29 -05:00
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(sig)
}
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(sig)
}
fn cton_sig_from_mono_fn_sig<'a ,'tcx: 'a>(sig: PolyFnSig<'tcx>) -> Signature {
let sig = sig.skip_binder();
2018-06-17 11:05:11 -05:00
let inputs = sig.inputs();
2018-06-19 12:51:29 -05:00
let _output = sig.output();
2018-06-17 11:05:11 -05:00
assert!(!sig.variadic, "Variadic function are not yet supported");
let call_conv = match sig.abi {
_ => CallConv::SystemV,
};
Signature {
params: Some(types::I64).into_iter() // First param is palce to put return val
.chain(inputs.into_iter().map(|_| types::I64))
.map(AbiParam::new).collect(),
returns: vec![],
call_conv,
argument_bytes: None,
}
}
fn cton_type_from_ty(ty: Ty) -> Option<types::Type> {
Some(match ty.sty {
TypeVariants::TyBool => types::I8,
2018-06-17 11:05:11 -05:00
TypeVariants::TyUint(size) => {
match size {
UintTy::U8 => types::I8,
UintTy::U16 => types::I16,
UintTy::U32 => types::I32,
UintTy::U64 => types::I64,
UintTy::U128 => unimplemented!(),
UintTy::Usize => unimplemented!(),
}
}
TypeVariants::TyInt(size) => {
match size {
IntTy::I8 => types::I8,
IntTy::I16 => types::I16,
IntTy::I32 => types::I32,
IntTy::I64 => types::I64,
IntTy::I128 => unimplemented!(),
IntTy::Isize => unimplemented!(),
}
}
2018-06-18 11:39:07 -05:00
TypeVariants::TyFnPtr(_) => types::I64,
_ => return None,
})
}