struct ConstPropagator<'mir, 'tcx> {
    ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>,
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    source_scopes: &'mir IndexVec<SourceScope, SourceScopeData<'tcx>>,
    local_decls: &'mir IndexVec<Local, LocalDecl<'tcx>>,
    source_info: Option<SourceInfo>,
}
Expand description

Finds optimization opportunities on the MIR.

Fields

ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>tcx: TyCtxt<'tcx>param_env: ParamEnv<'tcx>source_scopes: &'mir IndexVec<SourceScope, SourceScopeData<'tcx>>local_decls: &'mir IndexVec<Local, LocalDecl<'tcx>>source_info: Option<SourceInfo>

Implementations

Remove local from the pool of Locals. Allows writing to them, but not reading from them anymore.

Returns the value, if any, of evaluating c.

Returns the value, if any, of evaluating place.

Returns the value, if any, of evaluating op. Calls upon eval_constant or eval_place, depending on the variant of Operand used.

Trait Implementations

The TyAndLayout-wrapping type (or TyAndLayout itself), which will be returned from layout_of (see also handle_layout_err). Read more
Helper used for layout_of, to adapt tcx.layout_of(...) into a Self::LayoutOfResult (which does not need to be a Result<...>). Read more
Span to use for tcx.at(span), from layout_of.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Computes the layout of a type. Note that this implicitly executes in “reveal all” mode, and will normalize the input type. Read more
Computes the layout of a type, at span. Note that this implicitly executes in “reveal all” mode, and will normalize the input type. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 288 bytes