]>
Commit | Line | Data |
---|---|---|
ff7c6d11 XL |
1 | //! An interpreter for MIR used in CTFE and by miri |
2 | ||
3 | mod cast; | |
ff7c6d11 | 4 | mod eval_context; |
dfeec247 XL |
5 | mod intern; |
6 | mod intrinsics; | |
ff7c6d11 XL |
7 | mod machine; |
8 | mod memory; | |
dfeec247 | 9 | mod operand; |
ff7c6d11 | 10 | mod operator; |
dfeec247 | 11 | mod place; |
ff7c6d11 XL |
12 | mod step; |
13 | mod terminator; | |
14 | mod traits; | |
3dfed10e | 15 | mod util; |
b7449926 | 16 | mod validity; |
a1dfa0c6 | 17 | mod visitor; |
b7449926 | 18 | |
ba9703b0 | 19 | pub use rustc_middle::mir::interpret::*; // have all the `interpret` symbols in one place: here |
0bf4aa26 | 20 | |
17df50a5 XL |
21 | pub use self::eval_context::{ |
22 | Frame, FrameInfo, InterpCx, LocalState, LocalValue, StackPopCleanup, StackPopUnwind, | |
23 | }; | |
ba9703b0 | 24 | pub use self::intern::{intern_const_alloc_recursive, InternKind}; |
f9f354fc | 25 | pub use self::machine::{compile_time_machine, AllocMap, Machine, MayLeak, StackPopJump}; |
17df50a5 | 26 | pub use self::memory::{AllocCheck, AllocRef, AllocRefMut, FnVal, Memory, MemoryKind}; |
ba9703b0 XL |
27 | pub use self::operand::{ImmTy, Immediate, OpTy, Operand}; |
28 | pub use self::place::{MPlaceTy, MemPlace, MemPlaceMeta, Place, PlaceTy}; | |
29967ef6 | 29 | pub use self::validity::{CtfeValidationMode, RefTracking}; |
ba9703b0 | 30 | pub use self::visitor::{MutValueVisitor, ValueVisitor}; |
e1599b0c XL |
31 | |
32 | crate use self::intrinsics::eval_nullary_intrinsic; | |
ba9703b0 | 33 | use eval_context::{from_known_layout, mir_assign_valid_types}; |