Module ref_prop 

Re-exports

use std::borrow::Cow; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_index::IndexVec; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::Analysis; 🔒

use rustc_mir_dataflow::impls::MaybeStorageDead; 🔒

use rustc_mir_dataflow::impls::always_storage_live_locals; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::PassPolicy; 🔒

use crate::ssa::SsaLocals; 🔒

use crate::ssa::StorageLiveLocals; 🔒

use rustc_middle::mir::visit::*; 🔒

use rustc_middle::mir::*; 🔒

Structs

ReferencePropagation 🔒

Propagate references using SSA analysis.

Replacer 🔒

Utility to help performing substitution of *pattern by target.

Enums

Value 🔒

Functions

compute_replacement 🔒

For each local, save the place corresponding to *local.

fully_replaceable_locals 🔒

Compute the set of locals that can be fully replaced.

move_to_copy_pointers 🔒

The SSA analysis done by SsaLocals treats Operand::Move as a read, even though in general Operand::Move represents pass-by-pointer where the callee can overwrite the pointee (Miri always considers the place deinitialized). CopyProp has a similar trick to turn Operand::Move into Operand::Copy when required for an optimization, but in this pass we just turn all moves of pointers into copies because pointers should be by-value anyway.

propagate_ssa 🔒