[][src]Module rustc::mir::interpret

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

An interpreter for MIR used in CTFE and by miri

Modules

error [
Experimental
]
value [
Experimental
]

Structs

AllocDecodingSession [
Experimental
]
AllocDecodingState [
Experimental
]
AllocId [
Experimental
]
AllocMap [
Experimental
]
Allocation [
Experimental
]
ConstEvalErr [
Experimental
]
DynamicLifetime [
Experimental
]
EvalError [
Experimental
]
FrameInfo [
Experimental
]
GlobalId [
Experimental
]

Uniquely identifies a specific constant or static.

Pointer [
Experimental
]

Pointer is generic over the type that represents a reference to Allocations, thus making it possible for the most convenient representation to be used in each context.

Relocations [
Experimental
]
UndefMask [
Experimental
]

Enums

AccessKind [
Experimental
]
AllocKind [
Experimental
]
AllocType [
Experimental
]
ConstValue [
Experimental
]

Represents a constant value in Rust. Scalar and ScalarPair are optimizations which matches the LocalValue optimizations for easy conversions between Value and ConstValue.

EvalErrorKind [
Experimental
]
Lock [
Experimental
]
Scalar [
Experimental
]

A Scalar represents an immediate, primitive value existing outside of a memory::Allocation. It is in many ways like a small chunk of a Allocation, up to 8 bytes in size. Like a range of bytes in an Allocation, a Scalar can either represent the raw bytes of a simple value or a pointer into another Allocation

ScalarMaybeUndef [
Experimental
]
State [
Experimental
]

Constants

BLOCK_SIZE [
Experimental
]

Traits

PointerArithmetic [
Experimental
]

Functions

bit_index [
Experimental
]
read_target_uint [
Experimental
]
sign_extend [
Experimental
]
specialized_encode_alloc_id [
Experimental
]
struct_error [
Experimental
]
truncate [
Experimental
]
write_target_uint [
Experimental
]

Type Definitions

AssertMessage [
Experimental
]
Block [
Experimental
]
ConstEvalResult [
Experimental
]
DecodingSessionId [
Experimental
]
EvalResult [
Experimental
]