Skip to main content Crate rustc_mir_transform Copy item path Source pub(crate) use required_consts::RequiredConstsVisitor ; 🔒 pub(crate) use pass_manager as pm; 🔒 pub(crate) use pass_manager::Lint ; 🔒 pub(crate) use pass_manager::MirLint ; 🔒 pub(crate) use pass_manager::MirPass ; 🔒 pub(crate) use pass_manager::PassCtx ; 🔒 pub(crate) use pass_manager::PassPolicy ; 🔒 pub(crate) use pass_manager::WithMinOptLevel ; 🔒 pub use shim::build_drop_shim ;pub(crate) use abort_unwinding_calls::AbortUnwindingCalls as _; 🔒 pub(crate) use add_call_guards::AddCallGuards as _; 🔒 pub(crate) use add_moves_for_packed_drops::AddMovesForPackedDrops as _; 🔒 pub(crate) use add_subtyping_projections::Subtyper as _; 🔒 pub(crate) use check_inline::CheckForceInline as _; 🔒 pub(crate) use check_call_recursion::CheckCallRecursion as _; 🔒 pub(crate) use check_call_recursion::CheckDropRecursion as _; 🔒 pub(crate) use check_alignment::CheckAlignment as _; 🔒 pub(crate) use check_enums::CheckEnums as _; 🔒 pub(crate) use check_const_item_mutation::CheckConstItemMutation as _; 🔒 pub(crate) use check_null::CheckNull as _; 🔒 pub(crate) use check_packed_ref::CheckPackedRef as _; 🔒 pub(crate) use check_mut_restriction::CheckMutRestriction as _; 🔒 pub(crate) use cleanup_post_borrowck::CleanupPostBorrowck as _; 🔒 pub(crate) use copy_prop::CopyProp as _; 🔒 pub(crate) use coroutine::StateTransform as _; 🔒 pub(crate) use coverage::InstrumentCoverage as _; 🔒 pub(crate) use ctfe_limit::CtfeLimit as _; 🔒 pub(crate) use dataflow_const_prop::DataflowConstProp as _; 🔒 pub(crate) use dead_store_elimination::DeadStoreElimination as _; 🔒 pub(crate) use deref_separator::Derefer as _; 🔒 pub(crate) use dest_prop::DestinationPropagation as _; 🔒 pub(crate) use early_otherwise_branch::EarlyOtherwiseBranch as _; 🔒 pub(crate) use erase_deref_temps::EraseDerefTemps as _; 🔒 pub(crate) use elaborate_box_derefs::ElaborateBoxDerefs as _; 🔒 pub(crate) use elaborate_drops::ElaborateDrops as _; 🔒 pub(crate) use function_item_references::FunctionItemReferences as _; 🔒 pub(crate) use gvn::GVN as _; 🔒 pub(crate) use inline::Inline as _; 🔒 pub(crate) use inline::ForceInline as _; 🔒 pub(crate) use impossible_clauses::ImpossibleClauses as _; 🔒 pub(crate) use instsimplify::InstSimplify as _; 🔒 pub(crate) use jump_threading::JumpThreading as _; 🔒 pub(crate) use known_panics_lint::KnownPanicsLint as _; 🔒 pub(crate) use lint_and_remove_uninhabited::LintAndRemoveUninhabited as _; 🔒 pub(crate) use lower_intrinsics::LowerIntrinsics as _; 🔒 pub(crate) use lower_slice_len::LowerSliceLenCalls as _; 🔒 pub(crate) use match_branches::MatchBranchSimplification as _; 🔒 pub(crate) use mentioned_items::MentionedItems as _; 🔒 pub(crate) use move_elimination::MoveElimination as _; 🔒 pub(crate) use multiple_return_terminators::MultipleReturnTerminators as _; 🔒 pub(crate) use post_drop_elaboration::CheckLiveDrops as _; 🔒 pub(crate) use prettify::ReorderBasicBlocks as _; 🔒 pub(crate) use prettify::ReorderLocals as _; 🔒 pub(crate) use promote_consts::PromoteTemps as _; 🔒 pub(crate) use ref_prop::ReferencePropagation as _; 🔒 pub(crate) use remove_noop_landing_pads::RemoveNoopLandingPads as _; 🔒 pub(crate) use remove_place_mention::RemovePlaceMention as _; 🔒 pub(crate) use remove_storage_markers::RemoveStorageMarkers as _; 🔒 pub(crate) use remove_uninit_drops::RemoveUninitDrops as _; 🔒 pub(crate) use remove_unneeded_drops::RemoveUnneededDrops as _; 🔒 pub(crate) use remove_zsts::RemoveZsts as _; 🔒 pub(crate) use required_consts::RequiredConstsVisitor as _; 🔒 pub(crate) use post_analysis_normalize::PostAnalysisNormalize as _; 🔒 pub(crate) use sanity_check::SanityCheck as _; 🔒 pub(crate) use simplify::SimplifyCfg as _; 🔒 pub(crate) use simplify::SimplifyLocals as _; 🔒 pub(crate) use simplify_branches::SimplifyConstCondition as _; 🔒 pub(crate) use simplify_comparison_integral::SimplifyComparisonIntegral as _; 🔒 pub(crate) use single_use_consts::SingleUseConsts as _; 🔒 pub(crate) use sroa::ScalarReplacementOfAggregates as _; 🔒 pub(crate) use strip_debuginfo::StripDebugInfo as _; 🔒 pub(crate) use ssa_range_prop::SsaRangePropagation as _; 🔒 pub(crate) use tail_copy_to_move::TailCopyToMove as _; 🔒 pub(crate) use unreachable_enum_branching::UnreachableEnumBranching as _; 🔒 pub(crate) use unreachable_prop::UnreachablePropagation as _; 🔒 pub(crate) use validate::Validator as _; 🔒 pub(crate) use hir::ConstContext ; 🔒 pub(crate) use check_consts ; 🔒 pub(crate) use ConstCx ; 🔒 pub(crate) use rustc_const_eval::util ; 🔒 pub(crate) use rustc_data_structures::fx::FxIndexSet ; 🔒 pub(crate) use rustc_data_structures::steal::Steal ; 🔒 pub(crate) use rustc_hir as hir; 🔒 pub(crate) use CtorKind ; 🔒 pub(crate) use DefKind ; 🔒 pub(crate) use rustc_hir::def_id::LocalDefId ; 🔒 pub(crate) use rustc_index::IndexVec ; 🔒 pub(crate) use AnalysisPhase ; 🔒 pub(crate) use Body ; 🔒 pub(crate) use CallSource ; 🔒 pub(crate) use ClearCrossCrate ; 🔒 pub(crate) use ConstOperand ; 🔒 pub(crate) use ConstQualifs ; 🔒 pub(crate) use LocalDecl ; 🔒 pub(crate) use MirPhase ; 🔒 pub(crate) use Operand ; 🔒 pub(crate) use Place ; 🔒 pub(crate) use ProjectionElem ; 🔒 pub(crate) use Promoted ; 🔒 pub(crate) use RuntimePhase ; 🔒 pub(crate) use Rvalue ; 🔒 pub(crate) use START_BLOCK ; 🔒 pub(crate) use SourceInfo ; 🔒 pub(crate) use Statement ; 🔒 pub(crate) use StatementKind ; 🔒 pub(crate) use TerminatorKind ; 🔒 pub(crate) use WithRetag ; 🔒 pub(crate) use rustc_middle::query ; 🔒 pub(crate) use ty ; 🔒 pub(crate) use TyCtxt ; 🔒 pub(crate) use TypeVisitableExt ; 🔒 pub(crate) use rustc_middle::util::Providers ; 🔒 pub(crate) use DUMMY_SP ; 🔒 pub(crate) use Spanned ; 🔒 pub(crate) use bug ; 🔒 pub(crate) use span_bug ; 🔒 pub(crate) use sym ; 🔒 pub(crate) use tracing::debug ; 🔒 pub(crate) use std::sync::LazyLock ; 🔒 abort_unwinding_calls 🔒 add_call_guards 🔒 Breaks outgoing critical edges for call terminators in the MIR. add_moves_for_packed_drops 🔒 add_subtyping_projections 🔒 canonicalization 🔒 check_alignment 🔒 check_call_recursion 🔒 check_const_item_mutation 🔒 check_enums 🔒 check_inline 🔒 Check that a body annotated with #[rustc_force_inline] will not fail to inline based on its
definition alone (irrespective of any specific caller). check_mut_restriction 🔒 check_null 🔒 check_packed_ref 🔒 check_pointers 🔒 cleanup_post_borrowck This module provides a pass that removes parts of MIR that are no longer relevant after
analysis phase and borrowck. In particular, it removes false edges, user type annotations and
replaces following statements with Nop copy_prop 🔒 coroutine 🔒 This is the implementation of the pass which transforms coroutines into state machines. cost_checker 🔒 coverage 🔒 cross_crate_inline 🔒 ctfe_limit 🔒 A pass that inserts the ConstEvalCounter instruction into any blocks that have a back edge
(thus indicating there is a loop in the CFG), or whose terminator is a function call. dataflow_const_prop 🔒 A constant propagation optimization pass based on dataflow analysis. dead_store_elimination 🔒 This module implements a dead store elimination (DSE) routine. deduce_param_attrs 🔒 Deduces supplementary parameter attributes from MIR. deref_separator 🔒 dest_prop 🔒 Propagates assignment destinations backwards in the CFG to eliminate redundant assignments. diagnostics 🔒 early_otherwise_branch 🔒 elaborate_box_derefs 🔒 This pass transforms derefs of Box into a deref of the pointer inside Box. elaborate_drop 🔒 elaborate_drops 🔒 erase_deref_temps 🔒 This pass converts all DerefTemp locals into normal temporaries
and turns their CopyForDeref rvalues into normal copies. ffi_unwind_calls 🔒 function_item_references 🔒 gvn 🔒 Global value numbering. impossible_clauses 🔒 Check if it’s even possible to satisfy the ‘where’ clauses
for this item. inline Inlining pass for MIR functions. instsimplify 🔒 Performs various peephole optimizations. jump_threading 🔒 A jump threading optimization. known_panics_lint 🔒 A lint that checks for known panics like overflows, division by zero,
out-of-bound access etc. Uses const propagation to determine the values of
operands during checks. lint 🔒 This pass statically detects code which has undefined behaviour or is likely to be erroneous.
It can be used to locate problems in MIR building or optimizations. It assumes that all code
can be executed, so it has false positives. lint_and_remove_uninhabited 🔒 lint_tail_expr_drop_order 🔒 liveness 🔒 lower_intrinsics 🔒 Lowers intrinsic calls lower_slice_len 🔒 This pass lowers calls to core::slice::len to just PtrMetadata op.
It should run before inlining! match_branches 🔒 mentioned_items 🔒 move_elimination 🔒 Eliminates copies and moves by unifying MIR places whose allocation ranges
are disjoint. multiple_return_terminators 🔒 This pass removes jumps to basic blocks containing only a return, and replaces them with a
return instead. pass_manager 🔒 patch 🔒 post_analysis_normalize 🔒 Normalizes MIR in TypingMode::PostAnalysis mode, most notably revealing
its opaques. We also only normalize specializable associated items once in
PostAnalysis mode. post_drop_elaboration 🔒 prettify 🔒 These two passes provide no value to the compiler, so are off at every level. promote_consts 🔒 A pass that promotes borrows of constant rvalues. ref_prop 🔒 remove_noop_landing_pads 🔒 remove_place_mention 🔒 This pass removes PlaceMention statement, which has no effect at codegen. remove_storage_markers 🔒 This pass removes storage markers if they won’t be emitted during codegen. remove_uninit_drops 🔒 remove_unneeded_drops 🔒 This pass replaces a drop of a type that does not need dropping, with a goto. remove_zsts 🔒 Removes operations on ZST places, and convert ZST operands to constants. required_consts 🔒 sanity_check 🔒 shim 🔒 simplify A number of passes which remove various redundancies in the CFG. simplify_branches 🔒 simplify_comparison_integral 🔒 single_use_consts 🔒 sroa 🔒 ssa 🔒 We denote as “SSA” the set of locals that verify the following properties:
1/ They are only assigned-to once, either as a function parameter, or in an assign statement;
2/ This single assignment dominates all uses; ssa_range_prop 🔒 A pass that propagates the known ranges of SSA locals.
We can know the ranges of SSA locals in certain locations for the following code: strip_debuginfo 🔒 tail_copy_to_move 🔒 Rewrite final-use copies before return into moves. trivial_const 🔒 unreachable_enum_branching 🔒 A pass that eliminates branches on uninhabited or unreachable enum variants. unreachable_prop 🔒 A pass that propagates the unreachable terminator of a block to its predecessors
when all of their successors are unreachable. This is achieved through a
post-order traversal of the blocks. validate 🔒 Validates the MIR to ensure that invariants are upheld. declare_passes 🔒 We import passes via this macro so that we can have a static list of pass names
(used to verify CLI arguments). It takes a list of modules, followed by the passes
declared within them. pass_names 🔒 PASS_NAMES 🔒 inner_mir_for_ctfe 🔒 inner_optimized_mir 🔒 is_mir_available 🔒 mir_built 🔒 Implementation of the mir_built query. mir_const_qualif 🔒 mir_drops_elaborated_and_const_checked 🔒 Obtain just the main MIR (no promoteds) and run some cleanups on it. This also runs
mir borrowck before doing so in order to ensure that borrowck can be run and doesn’t
end up missing the source MIR due to stealing happening. mir_for_ctfe 🔒 Compute the MIR that is used during CTFE (and thus has no optimizations run on it) mir_keys 🔒 Finds the full set of DefIds within the current crate that have
MIR associated with them. mir_promoted 🔒 Compute the main MIR body and the list of MIR bodies of the promoteds. optimized_mir 🔒 Optimize the MIR and prepare it for codegen. promoted_mir 🔒 Fetch all the promoteds of an item and prepare their MIR bodies to be ready for
constant evaluation once all generic parameters become known. provide remap_mir_for_const_eval_select 🔒 run_analysis_cleanup_passes 🔒 After this series of passes, no lifetime analysis based on borrowing can be done. run_analysis_to_runtime_passes run_optimization_passes 🔒 run_runtime_cleanup_passes 🔒 Returns the sequence of passes that do the initial cleanup of runtime MIR. run_runtime_lowering_passes 🔒 Returns the sequence of passes that lowers analysis to runtime MIR. take_array 🔒