2018-11-07 13:29:38 +01:00
|
|
|
use std::borrow::Cow;
|
|
|
|
|
|
|
|
use rustc::mir::interpret::{
|
2018-12-14 13:42:26 +01:00
|
|
|
read_target_uint, AllocId, AllocKind, Allocation, ConstValue, EvalResult, GlobalId, Scalar,
|
2018-08-30 20:14:56 +02:00
|
|
|
};
|
2019-03-21 20:24:46 +01:00
|
|
|
use rustc::ty::Const;
|
2018-11-07 13:32:02 +01:00
|
|
|
use rustc_mir::interpret::{
|
2019-03-29 19:33:12 +01:00
|
|
|
InterpretCx, ImmTy, MPlaceTy, Machine, Memory, MemoryKind, OpTy, PlaceTy, Pointer,
|
2019-02-21 15:06:09 +01:00
|
|
|
StackPopCleanup,
|
2018-11-07 13:32:02 +01:00
|
|
|
};
|
2018-11-07 13:29:38 +01:00
|
|
|
|
|
|
|
use cranelift_module::*;
|
|
|
|
|
|
|
|
use crate::prelude::*;
|
2018-08-13 12:13:43 +02:00
|
|
|
|
|
|
|
#[derive(Default)]
|
|
|
|
pub struct ConstantCx {
|
2018-08-13 18:31:26 +02:00
|
|
|
todo: HashSet<TodoItem>,
|
2018-08-13 12:13:43 +02:00
|
|
|
done: HashSet<DataId>,
|
|
|
|
}
|
|
|
|
|
2018-08-13 18:31:26 +02:00
|
|
|
#[derive(Copy, Clone, Debug, Eq, PartialEq, Hash)]
|
|
|
|
enum TodoItem {
|
|
|
|
Alloc(AllocId),
|
|
|
|
Static(DefId),
|
|
|
|
}
|
|
|
|
|
2018-08-13 12:13:43 +02:00
|
|
|
impl ConstantCx {
|
2018-08-13 18:04:39 +02:00
|
|
|
pub fn finalize<'a, 'tcx: 'a, B: Backend>(
|
|
|
|
mut self,
|
|
|
|
tcx: TyCtxt<'a, 'tcx, 'tcx>,
|
|
|
|
module: &mut Module<B>,
|
|
|
|
) {
|
2018-08-15 15:28:08 +02:00
|
|
|
//println!("todo {:?}", self.todo);
|
2018-08-13 16:58:07 +02:00
|
|
|
define_all_allocs(tcx, module, &mut self);
|
2018-08-15 15:28:08 +02:00
|
|
|
//println!("done {:?}", self.done);
|
2018-09-09 14:45:23 +02:00
|
|
|
self.done.clear();
|
2018-08-13 12:13:43 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-14 18:52:43 +02:00
|
|
|
pub fn codegen_static<'a, 'tcx: 'a>(ccx: &mut ConstantCx, def_id: DefId) {
|
|
|
|
ccx.todo.insert(TodoItem::Static(def_id));
|
2018-08-13 12:13:43 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn codegen_static_ref<'a, 'tcx: 'a>(
|
2018-08-14 20:31:16 +02:00
|
|
|
fx: &mut FunctionCx<'a, 'tcx, impl Backend>,
|
2019-03-27 17:45:20 +01:00
|
|
|
def_id: DefId,
|
|
|
|
ty: Ty<'tcx>,
|
2018-08-13 12:13:43 +02:00
|
|
|
) -> CPlace<'tcx> {
|
2019-03-27 17:45:20 +01:00
|
|
|
let linkage = crate::linkage::get_static_ref_linkage(fx.tcx, def_id);
|
|
|
|
let data_id = data_id_for_static(fx.tcx, fx.module, def_id, linkage);
|
|
|
|
cplace_for_dataid(fx, ty, data_id)
|
2018-08-13 12:13:43 +02:00
|
|
|
}
|
2018-07-14 16:45:20 +02:00
|
|
|
|
2018-07-31 12:25:16 +02:00
|
|
|
pub fn trans_promoted<'a, 'tcx: 'a>(
|
2018-08-14 20:31:16 +02:00
|
|
|
fx: &mut FunctionCx<'a, 'tcx, impl Backend>,
|
2018-07-31 12:25:16 +02:00
|
|
|
promoted: Promoted,
|
2019-02-24 18:07:20 +01:00
|
|
|
dest_ty: Ty<'tcx>,
|
2018-07-31 12:25:16 +02:00
|
|
|
) -> CPlace<'tcx> {
|
2019-02-24 18:07:20 +01:00
|
|
|
match fx
|
2018-07-30 16:57:40 +02:00
|
|
|
.tcx
|
|
|
|
.const_eval(ParamEnv::reveal_all().and(GlobalId {
|
|
|
|
instance: fx.instance,
|
|
|
|
promoted: Some(promoted),
|
2018-10-10 19:07:13 +02:00
|
|
|
}))
|
2019-02-24 18:07:20 +01:00
|
|
|
{
|
|
|
|
Ok(const_) => {
|
|
|
|
let cplace = trans_const_place(fx, const_);
|
|
|
|
debug_assert_eq!(cplace.layout(), fx.layout_of(dest_ty));
|
|
|
|
cplace
|
|
|
|
}
|
2019-03-23 13:06:35 +01:00
|
|
|
Err(_) => {
|
|
|
|
crate::trap::trap_unreachable_ret_place(
|
|
|
|
fx,
|
|
|
|
fx.layout_of(dest_ty),
|
|
|
|
"[panic] Tried to get value of promoted value with errored during const eval.",
|
|
|
|
)
|
|
|
|
}
|
2019-02-24 18:07:20 +01:00
|
|
|
}
|
2018-07-30 16:57:40 +02:00
|
|
|
}
|
|
|
|
|
2018-07-31 12:25:16 +02:00
|
|
|
pub fn trans_constant<'a, 'tcx: 'a>(
|
2018-08-14 20:31:16 +02:00
|
|
|
fx: &mut FunctionCx<'a, 'tcx, impl Backend>,
|
2018-07-31 12:25:16 +02:00
|
|
|
constant: &Constant<'tcx>,
|
|
|
|
) -> CValue<'tcx> {
|
2019-03-21 20:24:46 +01:00
|
|
|
let const_ = force_eval_const(fx, &constant.literal);
|
2018-07-30 16:57:40 +02:00
|
|
|
trans_const_value(fx, const_)
|
|
|
|
}
|
|
|
|
|
2018-10-06 13:50:31 +02:00
|
|
|
pub fn force_eval_const<'a, 'tcx: 'a>(
|
2019-03-21 20:24:46 +01:00
|
|
|
fx: &mut FunctionCx<'a, 'tcx, impl Backend>,
|
|
|
|
const_: &'tcx Const,
|
2019-01-06 15:27:20 +01:00
|
|
|
) -> Const<'tcx> {
|
2019-03-21 20:24:46 +01:00
|
|
|
match const_.val {
|
|
|
|
ConstValue::Unevaluated(def_id, ref substs) => {
|
2018-07-21 18:44:34 +02:00
|
|
|
let param_env = ParamEnv::reveal_all();
|
2019-03-21 20:24:46 +01:00
|
|
|
let substs = fx.monomorphize(substs);
|
2018-07-21 18:44:34 +02:00
|
|
|
let instance = Instance::resolve(fx.tcx, param_env, def_id, substs).unwrap();
|
|
|
|
let cid = GlobalId {
|
|
|
|
instance,
|
|
|
|
promoted: None,
|
|
|
|
};
|
|
|
|
fx.tcx.const_eval(param_env.and(cid)).unwrap()
|
2018-07-31 12:25:16 +02:00
|
|
|
}
|
2019-03-21 20:24:46 +01:00
|
|
|
_ => *fx.monomorphize(&const_),
|
2018-07-30 16:57:40 +02:00
|
|
|
}
|
|
|
|
}
|
2018-07-14 16:45:20 +02:00
|
|
|
|
2018-07-31 12:25:16 +02:00
|
|
|
fn trans_const_value<'a, 'tcx: 'a>(
|
2018-08-14 20:31:16 +02:00
|
|
|
fx: &mut FunctionCx<'a, 'tcx, impl Backend>,
|
2019-01-06 15:27:20 +01:00
|
|
|
const_: Const<'tcx>,
|
2018-07-31 12:25:16 +02:00
|
|
|
) -> CValue<'tcx> {
|
2018-07-18 13:46:56 +02:00
|
|
|
let ty = fx.monomorphize(&const_.ty);
|
|
|
|
let layout = fx.layout_of(ty);
|
|
|
|
match ty.sty {
|
2018-08-24 14:51:02 +02:00
|
|
|
ty::Bool => {
|
|
|
|
let bits = const_.val.try_to_bits(layout.size).unwrap();
|
2018-07-18 13:46:56 +02:00
|
|
|
CValue::const_val(fx, ty, bits as u64 as i64)
|
2018-07-14 16:45:20 +02:00
|
|
|
}
|
2018-08-24 14:51:02 +02:00
|
|
|
ty::Uint(_) => {
|
|
|
|
let bits = const_.val.try_to_bits(layout.size).unwrap();
|
2018-07-18 13:46:56 +02:00
|
|
|
CValue::const_val(fx, ty, bits as u64 as i64)
|
2018-07-14 16:45:20 +02:00
|
|
|
}
|
2018-08-24 14:51:02 +02:00
|
|
|
ty::Int(_) => {
|
|
|
|
let bits = const_.val.try_to_bits(layout.size).unwrap();
|
2019-03-11 20:44:05 +01:00
|
|
|
CValue::const_val(fx, ty, rustc::mir::interpret::sign_extend(bits, layout.size) as i128 as i64)
|
2018-07-14 16:45:20 +02:00
|
|
|
}
|
2019-02-21 15:06:09 +01:00
|
|
|
ty::FnDef(_def_id, _substs) => CValue::ByRef(
|
|
|
|
fx.bcx
|
|
|
|
.ins()
|
|
|
|
.iconst(fx.pointer_type, fx.pointer_type.bytes() as i64),
|
|
|
|
layout,
|
|
|
|
),
|
2018-07-31 12:25:16 +02:00
|
|
|
_ => trans_const_place(fx, const_).to_cvalue(fx),
|
2018-07-16 15:13:37 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-31 12:25:16 +02:00
|
|
|
fn trans_const_place<'a, 'tcx: 'a>(
|
2018-08-14 20:31:16 +02:00
|
|
|
fx: &mut FunctionCx<'a, 'tcx, impl Backend>,
|
2019-01-06 15:27:20 +01:00
|
|
|
const_: Const<'tcx>,
|
2018-07-31 12:25:16 +02:00
|
|
|
) -> CPlace<'tcx> {
|
2018-08-30 20:14:56 +02:00
|
|
|
// Adapted from https://github.com/rust-lang/rust/pull/53671/files#diff-e0b58bb6712edaa8595ad7237542c958L551
|
|
|
|
let result = || -> EvalResult<'tcx, &'tcx Allocation> {
|
2019-03-29 19:33:12 +01:00
|
|
|
let mut ecx = InterpretCx::new(
|
2018-08-30 20:14:56 +02:00
|
|
|
fx.tcx.at(DUMMY_SP),
|
|
|
|
ty::ParamEnv::reveal_all(),
|
2018-09-24 19:31:46 +02:00
|
|
|
TransPlaceInterpreter,
|
2018-08-30 20:14:56 +02:00
|
|
|
);
|
2018-11-24 12:47:53 +01:00
|
|
|
ecx.push_stack_frame(
|
|
|
|
fx.instance,
|
|
|
|
DUMMY_SP,
|
|
|
|
fx.mir,
|
|
|
|
None,
|
|
|
|
StackPopCleanup::None { cleanup: false },
|
|
|
|
)
|
|
|
|
.unwrap();
|
|
|
|
let op = ecx.eval_operand(
|
|
|
|
&Operand::Constant(Box::new(Constant {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
ty: const_.ty,
|
|
|
|
user_ty: None,
|
2019-03-21 20:24:46 +01:00
|
|
|
literal: fx.tcx.mk_const(const_),
|
2018-11-24 12:47:53 +01:00
|
|
|
})),
|
|
|
|
None,
|
|
|
|
)?;
|
2018-12-24 14:50:18 +01:00
|
|
|
let ptr = ecx.allocate(op.layout, MemoryKind::Stack);
|
2018-08-30 20:14:56 +02:00
|
|
|
ecx.copy_op(op, ptr.into())?;
|
2018-10-30 17:58:42 +01:00
|
|
|
let alloc = ecx.memory().get(ptr.to_ptr()?.alloc_id)?;
|
2018-08-30 20:14:56 +02:00
|
|
|
Ok(fx.tcx.intern_const_alloc(alloc.clone()))
|
|
|
|
};
|
|
|
|
let alloc = result().expect("unable to convert ConstValue to Allocation");
|
|
|
|
|
2018-07-30 16:57:40 +02:00
|
|
|
//println!("const value: {:?} allocation: {:?}", value, alloc);
|
2018-08-13 12:13:43 +02:00
|
|
|
let alloc_id = fx.tcx.alloc_map.lock().allocate(alloc);
|
2018-08-13 18:31:26 +02:00
|
|
|
fx.constants.todo.insert(TodoItem::Alloc(alloc_id));
|
|
|
|
let data_id = data_id_for_alloc_id(fx.module, alloc_id);
|
|
|
|
cplace_for_dataid(fx, const_.ty, data_id)
|
2018-07-30 16:57:40 +02:00
|
|
|
}
|
|
|
|
|
2018-08-13 18:31:26 +02:00
|
|
|
fn data_id_for_alloc_id<B: Backend>(module: &mut Module<B>, alloc_id: AllocId) -> DataId {
|
2018-08-13 16:58:07 +02:00
|
|
|
module
|
2019-01-12 12:37:12 +01:00
|
|
|
.declare_data(&format!("__alloc_{}", alloc_id.0), Linkage::Local, false)
|
2018-08-13 16:58:07 +02:00
|
|
|
.unwrap()
|
2018-07-16 15:13:37 +02:00
|
|
|
}
|
|
|
|
|
2018-08-22 12:31:45 +02:00
|
|
|
fn data_id_for_static<'a, 'tcx: 'a, B: Backend>(
|
|
|
|
tcx: TyCtxt<'a, 'tcx, 'tcx>,
|
|
|
|
module: &mut Module<B>,
|
|
|
|
def_id: DefId,
|
2018-11-16 20:37:45 +01:00
|
|
|
linkage: Linkage,
|
2018-08-22 12:31:45 +02:00
|
|
|
) -> DataId {
|
2018-08-13 18:31:26 +02:00
|
|
|
let symbol_name = tcx.symbol_name(Instance::mono(tcx, def_id)).as_str();
|
2019-04-24 16:35:00 +02:00
|
|
|
let is_mutable = if tcx.is_mutable_static(def_id) {
|
2018-11-09 17:54:28 +01:00
|
|
|
true
|
|
|
|
} else {
|
|
|
|
!tcx.type_of(def_id)
|
|
|
|
.is_freeze(tcx, ParamEnv::reveal_all(), DUMMY_SP)
|
|
|
|
};
|
2019-03-11 20:36:29 +01:00
|
|
|
|
|
|
|
let data_id = module
|
2018-11-16 20:37:45 +01:00
|
|
|
.declare_data(&*symbol_name, linkage, is_mutable)
|
2019-03-11 20:36:29 +01:00
|
|
|
.unwrap();
|
|
|
|
|
|
|
|
if linkage == Linkage::Preemptible {
|
|
|
|
if let ty::RawPtr(_) = tcx.type_of(def_id).sty {
|
|
|
|
} else {
|
|
|
|
tcx.sess.span_fatal(tcx.def_span(def_id), "must have type `*const T` or `*mut T`")
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut data_ctx = DataContext::new();
|
|
|
|
let zero_bytes = std::iter::repeat(0)
|
|
|
|
.take(pointer_ty(tcx).bytes() as usize)
|
|
|
|
.collect::<Vec<u8>>()
|
|
|
|
.into_boxed_slice();
|
|
|
|
data_ctx.define(zero_bytes);
|
|
|
|
match module.define_data(data_id, &data_ctx) {
|
|
|
|
// Everytime a weak static is referenced, there will be a zero pointer definition,
|
|
|
|
// so duplicate definitions are expected and allowed.
|
|
|
|
Err(ModuleError::DuplicateDefinition(_)) => {}
|
|
|
|
res => res.unwrap(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
data_id
|
2018-08-13 18:31:26 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
fn cplace_for_dataid<'a, 'tcx: 'a>(
|
2018-08-14 20:31:16 +02:00
|
|
|
fx: &mut FunctionCx<'a, 'tcx, impl Backend>,
|
2018-08-13 18:31:26 +02:00
|
|
|
ty: Ty<'tcx>,
|
|
|
|
data_id: DataId,
|
|
|
|
) -> CPlace<'tcx> {
|
|
|
|
let local_data_id = fx.module.declare_data_in_func(data_id, &mut fx.bcx.func);
|
2018-11-07 13:32:02 +01:00
|
|
|
let global_ptr = fx.bcx.ins().global_value(fx.pointer_type, local_data_id);
|
2018-08-13 18:31:26 +02:00
|
|
|
let layout = fx.layout_of(fx.monomorphize(&ty));
|
2018-08-22 15:38:10 +02:00
|
|
|
assert!(!layout.is_unsized(), "unsized statics aren't supported");
|
|
|
|
CPlace::Addr(global_ptr, None, layout)
|
2018-08-13 16:58:07 +02:00
|
|
|
}
|
2018-07-16 15:13:37 +02:00
|
|
|
|
2018-08-13 18:04:39 +02:00
|
|
|
fn define_all_allocs<'a, 'tcx: 'a, B: Backend + 'a>(
|
2018-08-13 16:58:07 +02:00
|
|
|
tcx: TyCtxt<'a, 'tcx, 'tcx>,
|
|
|
|
module: &mut Module<B>,
|
|
|
|
cx: &mut ConstantCx,
|
|
|
|
) {
|
2018-10-22 11:06:09 +02:00
|
|
|
let memory = Memory::<TransPlaceInterpreter>::new(tcx.at(DUMMY_SP));
|
2018-08-13 12:13:43 +02:00
|
|
|
|
2018-08-13 18:31:26 +02:00
|
|
|
while let Some(todo_item) = pop_set(&mut cx.todo) {
|
|
|
|
let (data_id, alloc) = match todo_item {
|
|
|
|
TodoItem::Alloc(alloc_id) => {
|
2018-08-15 15:28:08 +02:00
|
|
|
//println!("alloc_id {}", alloc_id);
|
2018-08-13 18:31:26 +02:00
|
|
|
let data_id = data_id_for_alloc_id(module, alloc_id);
|
|
|
|
let alloc = memory.get(alloc_id).unwrap();
|
|
|
|
(data_id, alloc)
|
|
|
|
}
|
|
|
|
TodoItem::Static(def_id) => {
|
2018-08-15 15:28:08 +02:00
|
|
|
//println!("static {:?}", def_id);
|
2019-03-11 20:36:29 +01:00
|
|
|
|
|
|
|
if tcx.is_foreign_item(def_id) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2018-08-13 18:31:26 +02:00
|
|
|
let instance = ty::Instance::mono(tcx, def_id);
|
|
|
|
let cid = GlobalId {
|
|
|
|
instance,
|
|
|
|
promoted: None,
|
|
|
|
};
|
|
|
|
let const_ = tcx.const_eval(ParamEnv::reveal_all().and(cid)).unwrap();
|
|
|
|
|
|
|
|
let alloc = match const_.val {
|
2019-02-26 11:34:38 +01:00
|
|
|
ConstValue::ByRef(ptr, alloc) if ptr.offset.bytes() == 0 => alloc,
|
2018-08-13 18:31:26 +02:00
|
|
|
_ => bug!("static const eval returned {:#?}", const_),
|
|
|
|
};
|
|
|
|
|
2019-03-11 20:36:29 +01:00
|
|
|
// FIXME set correct linkage
|
2018-11-16 20:37:45 +01:00
|
|
|
let data_id = data_id_for_static(tcx, module, def_id, Linkage::Export);
|
2018-08-13 18:31:26 +02:00
|
|
|
(data_id, alloc)
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-08-15 15:28:08 +02:00
|
|
|
//("data_id {}", data_id);
|
2018-08-13 16:26:30 +02:00
|
|
|
if cx.done.contains(&data_id) {
|
|
|
|
continue;
|
|
|
|
}
|
2018-07-16 15:13:37 +02:00
|
|
|
|
|
|
|
let mut data_ctx = DataContext::new();
|
|
|
|
|
2018-09-05 19:43:42 +02:00
|
|
|
data_ctx.define(alloc.bytes.to_vec().into_boxed_slice());
|
2018-07-16 15:13:37 +02:00
|
|
|
|
2018-10-12 19:23:24 +02:00
|
|
|
for &(offset, (_tag, reloc)) in alloc.relocations.iter() {
|
2019-01-06 17:51:21 +01:00
|
|
|
let addend = {
|
2018-09-16 16:21:07 +02:00
|
|
|
let endianness = tcx.data_layout.endian;
|
|
|
|
let offset = offset.bytes() as usize;
|
|
|
|
let ptr_size = tcx.data_layout.pointer_size;
|
|
|
|
let bytes = &alloc.bytes[offset..offset + ptr_size.bytes() as usize];
|
|
|
|
read_target_uint(endianness, bytes).unwrap()
|
|
|
|
};
|
|
|
|
|
2018-08-13 19:02:42 +02:00
|
|
|
let data_id = match tcx.alloc_map.lock().get(reloc).unwrap() {
|
2018-12-14 13:42:26 +01:00
|
|
|
AllocKind::Function(instance) => {
|
2019-01-06 17:51:21 +01:00
|
|
|
assert_eq!(addend, 0);
|
2019-01-02 12:20:32 +01:00
|
|
|
let func_id = crate::abi::import_function(tcx, module, instance);
|
2018-09-16 16:21:07 +02:00
|
|
|
let local_func_id = module.declare_func_in_data(func_id, &mut data_ctx);
|
2019-01-06 17:51:21 +01:00
|
|
|
data_ctx.write_function_addr(offset.bytes() as u32, local_func_id);
|
2018-09-16 16:21:07 +02:00
|
|
|
continue;
|
2018-09-26 15:40:11 +02:00
|
|
|
}
|
2018-12-14 13:42:26 +01:00
|
|
|
AllocKind::Memory(_) => {
|
2018-08-13 19:02:42 +02:00
|
|
|
cx.todo.insert(TodoItem::Alloc(reloc));
|
|
|
|
data_id_for_alloc_id(module, reloc)
|
|
|
|
}
|
2018-12-14 13:42:26 +01:00
|
|
|
AllocKind::Static(def_id) => {
|
2018-08-13 19:02:42 +02:00
|
|
|
cx.todo.insert(TodoItem::Static(def_id));
|
2019-03-11 20:36:29 +01:00
|
|
|
let linkage = crate::linkage::get_static_ref_linkage(tcx, def_id);
|
|
|
|
data_id_for_static(tcx, module, def_id, linkage)
|
2018-08-13 19:02:42 +02:00
|
|
|
}
|
|
|
|
};
|
2018-07-16 15:13:37 +02:00
|
|
|
|
2018-08-13 12:13:43 +02:00
|
|
|
let global_value = module.declare_data_in_data(data_id, &mut data_ctx);
|
2019-01-06 17:51:21 +01:00
|
|
|
data_ctx.write_data_addr(offset.bytes() as u32, global_value, addend as i64);
|
2018-07-16 15:13:37 +02:00
|
|
|
}
|
|
|
|
|
2018-08-13 12:13:43 +02:00
|
|
|
module.define_data(data_id, &data_ctx).unwrap();
|
|
|
|
cx.done.insert(data_id);
|
2018-07-14 16:45:20 +02:00
|
|
|
}
|
2018-08-13 16:58:07 +02:00
|
|
|
|
2018-08-13 18:31:26 +02:00
|
|
|
assert!(cx.todo.is_empty(), "{:?}", cx.todo);
|
2018-07-16 15:13:37 +02:00
|
|
|
}
|
2018-08-13 17:22:24 +02:00
|
|
|
|
|
|
|
fn pop_set<T: Copy + Eq + ::std::hash::Hash>(set: &mut HashSet<T>) -> Option<T> {
|
|
|
|
if let Some(elem) = set.iter().next().map(|elem| *elem) {
|
|
|
|
set.remove(&elem);
|
|
|
|
Some(elem)
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
2018-08-13 18:04:39 +02:00
|
|
|
}
|
2018-09-24 19:31:46 +02:00
|
|
|
|
|
|
|
struct TransPlaceInterpreter;
|
|
|
|
|
|
|
|
impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for TransPlaceInterpreter {
|
2018-10-22 11:06:09 +02:00
|
|
|
type MemoryKinds = !;
|
2018-10-12 19:23:24 +02:00
|
|
|
type PointerTag = ();
|
2018-10-22 11:06:09 +02:00
|
|
|
type AllocExtra = ();
|
2018-11-30 18:08:08 +01:00
|
|
|
type MemoryExtra = ();
|
|
|
|
type FrameExtra = ();
|
2018-10-22 11:06:09 +02:00
|
|
|
type MemoryMap = FxHashMap<AllocId, (MemoryKind<!>, Allocation<()>)>;
|
|
|
|
const STATIC_KIND: Option<!> = None;
|
2018-10-16 14:16:37 +02:00
|
|
|
|
2019-03-29 19:33:12 +01:00
|
|
|
fn enforce_validity(_: &InterpretCx<'a, 'mir, 'tcx, Self>) -> bool {
|
2018-10-16 14:16:37 +02:00
|
|
|
false
|
|
|
|
}
|
2018-09-24 19:31:46 +02:00
|
|
|
|
2019-03-29 19:33:12 +01:00
|
|
|
fn before_terminator(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> {
|
2018-09-24 19:31:46 +02:00
|
|
|
panic!();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn find_fn(
|
2019-03-29 19:33:12 +01:00
|
|
|
_: &mut InterpretCx<'a, 'mir, 'tcx, Self>,
|
2018-09-24 19:31:46 +02:00
|
|
|
_: Instance<'tcx>,
|
|
|
|
_: &[OpTy<'tcx>],
|
|
|
|
_: Option<PlaceTy<'tcx>>,
|
|
|
|
_: Option<BasicBlock>,
|
|
|
|
) -> EvalResult<'tcx, Option<&'mir Mir<'tcx>>> {
|
|
|
|
panic!();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn call_intrinsic(
|
2019-03-29 19:33:12 +01:00
|
|
|
_: &mut InterpretCx<'a, 'mir, 'tcx, Self>,
|
2018-09-24 19:31:46 +02:00
|
|
|
_: Instance<'tcx>,
|
|
|
|
_: &[OpTy<'tcx>],
|
|
|
|
_: PlaceTy<'tcx>,
|
|
|
|
) -> EvalResult<'tcx> {
|
|
|
|
panic!();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn find_foreign_static(
|
|
|
|
_: DefId,
|
2018-11-30 18:08:08 +01:00
|
|
|
_: ::rustc::ty::query::TyCtxtAt<'a, 'tcx, 'tcx>,
|
|
|
|
_: &(),
|
2018-10-12 19:23:24 +02:00
|
|
|
) -> EvalResult<'tcx, Cow<'tcx, Allocation>> {
|
2018-09-24 19:31:46 +02:00
|
|
|
panic!();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn ptr_op(
|
2019-03-29 19:33:12 +01:00
|
|
|
_: &InterpretCx<'a, 'mir, 'tcx, Self>,
|
2018-09-24 19:31:46 +02:00
|
|
|
_: mir::BinOp,
|
2019-02-16 12:35:45 +01:00
|
|
|
_: ImmTy<'tcx>,
|
|
|
|
_: ImmTy<'tcx>,
|
2018-09-24 19:31:46 +02:00
|
|
|
) -> EvalResult<'tcx, (Scalar, bool)> {
|
|
|
|
panic!();
|
|
|
|
}
|
|
|
|
|
2019-03-29 19:33:12 +01:00
|
|
|
fn box_alloc(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>, _: PlaceTy<'tcx>) -> EvalResult<'tcx> {
|
2018-09-24 19:31:46 +02:00
|
|
|
panic!();
|
|
|
|
}
|
2018-10-22 11:06:09 +02:00
|
|
|
|
2018-11-07 13:32:02 +01:00
|
|
|
fn tag_dereference(
|
2019-03-29 19:33:12 +01:00
|
|
|
_: &InterpretCx<'a, 'mir, 'tcx, Self>,
|
2018-11-09 17:54:28 +01:00
|
|
|
_: MPlaceTy<'tcx>,
|
|
|
|
_: Option<::rustc::hir::Mutability>,
|
|
|
|
) -> EvalResult<'tcx, Scalar> {
|
2018-10-22 11:06:09 +02:00
|
|
|
panic!();
|
|
|
|
}
|
2018-10-30 17:58:42 +01:00
|
|
|
|
2018-11-30 18:08:08 +01:00
|
|
|
fn adjust_static_allocation<'alloc>(
|
|
|
|
alloc: &'alloc Allocation,
|
|
|
|
_: &(),
|
|
|
|
) -> Cow<'alloc, Allocation> {
|
2018-10-30 17:58:42 +01:00
|
|
|
Cow::Borrowed(alloc)
|
|
|
|
}
|
|
|
|
|
2019-04-18 19:06:59 +02:00
|
|
|
fn new_allocation(
|
|
|
|
_: Size,
|
|
|
|
_: &(),
|
2018-11-07 13:32:02 +01:00
|
|
|
_: MemoryKind<!>,
|
2019-04-18 19:06:59 +02:00
|
|
|
) -> ((), ()) {
|
|
|
|
((), ())
|
2018-10-30 17:58:42 +01:00
|
|
|
}
|
2018-11-30 18:08:08 +01:00
|
|
|
|
2019-03-29 19:33:12 +01:00
|
|
|
fn stack_push(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> {
|
2018-11-30 18:08:08 +01:00
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
2019-03-29 19:33:12 +01:00
|
|
|
fn stack_pop(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>, _: ()) -> EvalResult<'tcx> {
|
2018-11-30 18:08:08 +01:00
|
|
|
Ok(())
|
|
|
|
}
|
2018-09-24 19:31:46 +02:00
|
|
|
}
|