Module rustc::mir [−] [src]

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

Modules

tcx [
Experimental
]

Methods for the various MIR types. These are intended for use after building is complete.
transform [
Experimental
]
traversal [
Experimental
]
visit [
Experimental
]

Structs

BasicBlock [
Experimental
]
BasicBlockData [
Experimental
]
Constant [
Experimental
]

Constants
Field [
Experimental
]
Local [
Experimental
]
LocalDecl [
Experimental
]

A MIR local.
Location [
Experimental
]
Mir [
Experimental
]

Lowered representation of a single function.
Projection [
Experimental
]

The Projection data structure defines things of the form B.x or *B or B[index]. Note that it is parameterized because it is shared between Constant and Lvalue. See the aliases LvalueProjection etc below.
Promoted [
Experimental
]
SourceInfo [
Experimental
]

Grouped information about the source code origin of a MIR entity. Intended to be inspected by diagnostics and debuginfo. Most passes can work with it as a whole, within a single function.
Statement [
Experimental
]
Static [
Experimental
]

The def-id of a static, along with its normalized type (which is stored to avoid requiring normalization when reading MIR).
Terminator [
Experimental
]
UpvarDecl [
Experimental
]

A closure capture, with its name and mode.
VisibilityScope [
Experimental
]
VisibilityScopeData [
Experimental
]

Enums

AggregateKind [
Experimental
]
AssertMessage [
Experimental
]
BinOp [
Experimental
]
BorrowKind [
Experimental
]
CastKind [
Experimental
]
Literal [
Experimental
]
LocalKind [
Experimental
]

Classifies locals into categories. See Mir::local_kind.
Lvalue [
Experimental
]

A path to a value; something that can be evaluated without changing or disturbing program state.
Mutability [
Experimental
]
Operand [
Experimental
]

These are values that can appear inside an rvalue (or an index lvalue). They are intentionally limited to prevent rvalues from being nested in one another.
ProjectionElem [
Experimental
]
Rvalue [
Experimental
]

Rvalues
StatementKind [
Experimental
]
TerminatorKind [
Experimental
]
UnOp [
Experimental
]

Constants

ARGUMENT_VISIBILITY_SCOPE [
Experimental
]
RETURN_POINTER [
Experimental
]
START_BLOCK [
Experimental
]

where execution begins

Type Definitions

LvalueElem [
Experimental
]

Alias for projections as they appear in lvalues, where the base is an lvalue and the index is an operand.
LvalueProjection [
Experimental
]

Alias for projections as they appear in lvalues, where the base is an lvalue and the index is an operand.