Module rustc_middle::mir::interpret::allocation
source · [−]Expand description
The virtual memory representation of the MIR interpreter.
Structs
The information that makes up a memory access: offset and size.
This type represents an Allocation in the Miri/CTFE core engine.
A partial, owned list of relocations to transfer into another allocation.
Interned types generally have an Outer type and an Inner type, where
Outer is a newtype around Interned<Inner>, and all the operations are
done on Outer, because all occurrences are interned. E.g. Ty is an
outer type and TyS is its inner type.
Yields InitChunks. See InitMask::range_as_init_chunks.
A bitmask where each bit refers to the byte with the same index. If the bit is true, the byte
is initialized. If it is false the byte is uninitialized.
Run-length encoding of the uninit mask. Used to copy parts of a mask multiple times to another allocation.
“Relocations” stores the provenance information of pointers stored in memory.
Enums
We have our own error type that does not know about the AllocId; that information
is added when converting to InterpError.
A contiguous chunk of initialized or uninitialized memory.
Functions
Free-starting constructor for less syntactic overhead.