Expand description
A constant propagation optimization pass based on dataflow analysis.
Currently, this pass only propagates scalar values.
Re-exports§
use std::assert_matches;🔒use std::fmt::Formatter;🔒use rustc_abi::BackendRepr;🔒use rustc_abi::FIRST_VARIANT;🔒use rustc_abi::FieldIdx;🔒use rustc_abi::Size;🔒use rustc_abi::VariantIdx;🔒use rustc_const_eval::const_eval::DummyMachine;🔒use rustc_const_eval::const_eval::throw_machine_stop_str;🔒use rustc_const_eval::interpret::ImmTy;🔒use rustc_const_eval::interpret::Immediate;🔒use rustc_const_eval::interpret::InterpCx;🔒use rustc_const_eval::interpret::OpTy;🔒use rustc_const_eval::interpret::PlaceTy;🔒use rustc_const_eval::interpret::Projectable;🔒use rustc_const_eval::interpret::interp_ok;🔒use rustc_data_structures::fx::FxHashMap;🔒use rustc_hir::def::DefKind;🔒use rustc_middle::mir::interpret::InterpResult;🔒use rustc_middle::mir::interpret::Scalar;🔒use rustc_middle::mir::visit::MutVisitor;🔒use rustc_middle::mir::visit::PlaceContext;🔒use rustc_middle::mir::visit::Visitor;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_mir_dataflow::fmt::DebugWithContext;🔒use rustc_mir_dataflow::lattice::FlatSet;🔒use rustc_mir_dataflow::lattice::HasBottom;🔒use rustc_mir_dataflow::value_analysis::Map;🔒use rustc_mir_dataflow::value_analysis::PlaceCollectionMode;🔒use rustc_mir_dataflow::value_analysis::PlaceIndex;🔒use rustc_mir_dataflow::value_analysis::State;🔒use rustc_mir_dataflow::value_analysis::TrackElem;🔒use rustc_mir_dataflow::value_analysis::ValueOrPlace;🔒use rustc_mir_dataflow::value_analysis::debug_with_context;🔒use rustc_mir_dataflow::Analysis;🔒use rustc_mir_dataflow::ResultsVisitor;🔒use rustc_mir_dataflow::visit_results;🔒use rustc_span::DUMMY_SP;🔒use rustc_span::bug;🔒use tracing::debug;🔒use tracing::debug_span;🔒use tracing::instrument;🔒use tracing::instrument;🔒use crate::PassPolicy;🔒use rustc_middle::mir::*;🔒