Module pass_manager 

Re-exports

use std::cell::RefCell; 🔒

use std::collections::hash_map::Entry; 🔒

use std::sync::atomic::Ordering; 🔒

use rustc_attr_ir::OptimizeAttr; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::MirDumper; 🔒

use rustc_middle::mir::MirPhase; 🔒

use rustc_middle::mir::RuntimePhase; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_session::Session; 🔒

use rustc_session::config::OptLevel; 🔒

use rustc_span::bug; 🔒

use tracing::trace; 🔒

use crate::lint::lint_body; 🔒

use crate::diagnostics; 🔒

use crate::validate; 🔒

Structs

Lint 🔒

An adapter for MirLints that implements MirPass.

PassCtx 🔒

WithMinOptLevel 🔒

Enums

PassPolicy 🔒

Rules outlining when this pass may be overridden or suppressed.

Constants

PASS_TO_PROFILER_NAMES 🔒

Maps MIR pass names to a snake case form to match profiling naming style

Traits

MirLint 🔒

Just like MirPass, except it cannot mutate Body, and MIR dumping is disabled (via the Lint adapter).

MirPass 🔒

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.

Functions

dump_mir_for_phase_change 🔒

limited_by_opt_bisect 🔒

run_passes 🔒

The optional phase_change is applied after executing all the passes, if present

run_passes_inner 🔒

run_passes_no_validate 🔒

Run the sequence of passes without validating the MIR after each pass. The MIR is still validated at the end.

should_run_pass 🔒

simplify_pass_type_name 🔒

to_profiler_name 🔒

Converts a MIR pass name into a snake case form to match the profiling naming style.

validate_body 🔒