Struct rustc_mir_transform::simplify_try::SimplifyArmIdentity

pub struct SimplifyArmIdentity;

Simplifies arms of form Variant(x) => Variant(x) to just a move.

This is done by transforming basic blocks where the statements match:

_LOCAL_TMP = ((_LOCAL_1 as Variant ).FIELD: TY );
_TMP_2 = _LOCAL_TMP;
((_LOCAL_0 as Variant).FIELD: TY) = move _TMP_2;
discriminant(_LOCAL_0) = VAR_IDX;

into:

_LOCAL_0 = move _LOCAL_1

Trait Implementations

impl<'tcx> MirPass<'tcx> for SimplifyArmIdentity

fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>)

fn name(&self) -> Cow<'_, str>

fn is_enabled(&self, _sess: &Session) -> bool

Returns true if this pass is enabled with the current combination of compiler flags.

fn phase_change(&self) -> Option<MirPhase>

If this pass causes the MIR to enter a new phase, return that phase.

fn is_mir_dump_enabled(&self) -> bool

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: 0 bytes