Trait rustc_mir::transform::MirPass

pub trait MirPass<'tcx> {
    fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>);

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

A streamlined trait that you can implement to create a pass; the pass will be named after the type, and it will consist of a main loop that goes over each available MIR and applies run_pass.

Required methods

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

Loading content...

Provided methods

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

Loading content...

Implementors

impl MirPass<'_> for UnreachablePropagation

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

impl<'tcx> MirPass<'tcx> for AddCallGuards

Breaks outgoing critical edges for call terminators in the MIR.

Critical edges are edges that are neither the only edge leaving a block, nor the only edge entering one.

When you want something to happen “along” an edge, you can either do at the end of the predecessor block, or at the start of the successor block. Critical edges have to be broken in order to prevent “edge actions” from affecting other edges. We need this for calls that are codegened to LLVM invoke instructions, because invoke is a block terminator in LLVM so we can’t insert any code to handle the call’s result into the block that performs the call.

This function will break those edges by inserting new blocks along them.

NOTE: Simplify CFG will happily undo most of the work this pass does.

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

impl<'tcx> MirPass<'tcx> for AddMovesForPackedDrops

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

impl<'tcx> MirPass<'tcx> for AddRetag

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

impl<'tcx> MirPass<'tcx> for CheckConstItemMutation

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

impl<'tcx> MirPass<'tcx> for CheckPackedRef

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

impl<'tcx> MirPass<'tcx> for CleanupNonCodegenStatements

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

impl<'tcx> MirPass<'tcx> for ConstDebugInfo

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

impl<'tcx> MirPass<'tcx> for ConstGoto

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

impl<'tcx> MirPass<'tcx> for ConstProp

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

impl<'tcx> MirPass<'tcx> for InstrumentCoverage

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

impl<'tcx> MirPass<'tcx> for Deaggregator

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

impl<'tcx> MirPass<'tcx> for DeduplicateBlocks

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

impl<'tcx> MirPass<'tcx> for DestinationPropagation

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

impl<'tcx> MirPass<'tcx> for Marker

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

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

impl<'tcx> MirPass<'tcx> for EarlyOtherwiseBranch

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

impl<'tcx> MirPass<'tcx> for ElaborateDrops

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

impl<'tcx> MirPass<'tcx> for FunctionItemReferences

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

impl<'tcx> MirPass<'tcx> for StateTransform

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

impl<'tcx> MirPass<'tcx> for Inline

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

impl<'tcx> MirPass<'tcx> for InstCombine

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

impl<'tcx> MirPass<'tcx> for LowerIntrinsics

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

impl<'tcx> MirPass<'tcx> for MatchBranchSimplification

If a source block is found that switches between two blocks that are exactly the same modulo const bool assignments (e.g., one assigns true another false to the same place), merge a target block statements into the source block, using Eq / Ne comparison with switch value where const bools value differ.

For example:

bb0: {
    switchInt(move _3) -> [42_isize: bb1, otherwise: bb2];
}

bb1: {
    _2 = const true;
    goto -> bb3;
}

bb2: {
    _2 = const false;
    goto -> bb3;
}

into:

bb0: {
   _2 = Eq(move _3, const 42_isize);
   goto -> bb3;
}

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

impl<'tcx> MirPass<'tcx> for MultipleReturnTerminators

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

impl<'tcx> MirPass<'tcx> for NoLandingPads

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

impl<'tcx> MirPass<'tcx> for RenameReturnPlace

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

impl<'tcx> MirPass<'tcx> for PromoteTemps<'tcx>

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

impl<'tcx> MirPass<'tcx> for RemoveNoopLandingPads

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

impl<'tcx> MirPass<'tcx> for RemoveStorageMarkers

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

impl<'tcx> MirPass<'tcx> for RemoveUnneededDrops

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

impl<'tcx> MirPass<'tcx> for RemoveZsts

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

impl<'tcx> MirPass<'tcx> for SanityCheck

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

impl<'tcx> MirPass<'tcx> for SimplifyCfg

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

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

impl<'tcx> MirPass<'tcx> for SimplifyLocals

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

impl<'tcx> MirPass<'tcx> for SimplifyBranches

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

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

impl<'tcx> MirPass<'tcx> for SimplifyComparisonIntegral

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

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

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

impl<'tcx> MirPass<'tcx> for SimplifyBranchSame

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

impl<'tcx> MirPass<'tcx> for UninhabitedEnumBranching

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

impl<'tcx> MirPass<'tcx> for Validator

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

Loading content...