| //! An interpreter for MIR used in CTFE and by miri |
| |
| mod cast; |
| mod eval_context; |
| mod intern; |
| mod intrinsics; |
| mod machine; |
| mod memory; |
| mod operand; |
| mod operator; |
| mod place; |
| pub(crate) mod snapshot; // for const_eval |
| mod step; |
| mod terminator; |
| mod traits; |
| mod validity; |
| mod visitor; |
| |
| pub use rustc::mir::interpret::*; // have all the `interpret` symbols in one place: here |
| |
| pub use self::eval_context::{Frame, InterpCx, LocalState, LocalValue, StackPopCleanup}; |
| |
| pub use self::place::{MPlaceTy, MemPlace, MemPlaceMeta, Place, PlaceTy}; |
| |
| pub use self::memory::{AllocCheck, FnVal, Memory, MemoryKind}; |
| |
| pub use self::machine::{AllocMap, Machine, MayLeak, StackPopInfo}; |
| |
| pub use self::operand::{ImmTy, Immediate, OpTy, Operand, ScalarMaybeUndef}; |
| |
| pub use self::visitor::{MutValueVisitor, ValueVisitor}; |
| |
| pub use self::validity::RefTracking; |
| |
| pub use self::intern::intern_const_alloc_recursive; |
| |
| crate use self::intrinsics::eval_nullary_intrinsic; |