Skip to main content

Module mir

Module mir 

Source
Expand description

Copies of the relevant MIR types. MIR represents a rust (function) body as a CFG. It’s a semantically rich representation that contains no high-level control-flow operations like loops or patterns; instead the control flow is entirely described by gotos and switches on integer values.

Re-exports§

pub use mir_kinds::IsMirKind;

Modules§

mir_kinds
Enumerates the kinds of Mir bodies. TODO: use const generics instead of an open list of types.

Structs§

ConstOperand
The contents of Operand::Const.
FieldIdx
The source-order index of a field in a variant.

Enums§

ConstOperandKind

Functions§

get_promoted_mir
Retrieve the MIR for a promoted body.
name_of_local
translate_mir_const 🔒
Translate a MIR constant.