Expand description
This module contains everything needed to instantiate an interpreter. This separation exists to ensure that no fancy miri features like interpreting common C functions leak into CTFE.
Re-exports§
use std::borrow::Borrow;🔒use std::borrow::Cow;🔒use std::fmt::Debug;🔒use std::fmt::Debug;🔒use std::hash::Hash;🔒use std::hash::Hash;🔒use rustc_abi::Align;🔒use rustc_abi::Size;🔒use rustc_apfloat::Float;🔒use rustc_apfloat::FloatConvert;🔒use rustc_middle::query::TyCtxtAt;🔒use rustc_middle::ty::layout::TyAndLayout;🔒use rustc_middle::ty::AtomicOrdering;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::mir;🔒use rustc_middle::ty;🔒use rustc_span::def_id::DefId;🔒use rustc_target::callconv::FnAbi;🔒use super::AllocBytes;🔒use super::AllocId;🔒use super::AllocKind;🔒use super::AllocRange;🔒use super::Allocation;🔒use super::AtomicRmwOp;🔒use super::CTFE_ALLOC_SALT;🔒use super::ConstAllocation;🔒use super::CtfeProvenance;🔒use super::EnteredTraceSpan;🔒use super::FnArg;🔒use super::Frame;🔒use super::ImmTy;🔒use super::InterpCx;🔒use super::InterpResult;🔒use super::MPlaceTy;🔒use super::MemoryKind;🔒use super::Misalignment;🔒use super::OpTy;🔒use super::PlaceTy;🔒use super::Pointer;🔒use super::Provenance;🔒use super::RangeSet;🔒use super::Scalar;🔒use super::interp_ok;🔒use super::throw_unsup;🔒
Macros§
- compile_
time_ machine - A lot of the flexibility above is just needed for
Miri, but all “compile-time” machines (CTFE and ConstProp) use the same instance. Here, we share that code.
Enums§
- Retag
Mode - The currently active retagging mode.
- Return
Action - Data returned by
Machine::after_stack_pop, and consumed byInterpCx::return_from_current_stack_frameto determine what actions should be done when returning from a stack frame.