Skip to main content

Module analyze

rustc_codegen_ssa::mir

Module analyze 

Source
Expand description

An analysis to determine which locals require allocas and which do not.

Re-exports§

use rustc_abi as abi; 🔒
use rustc_abi as abi; 🔒
use rustc_data_structures::graph::dominators::Dominators; 🔒
use rustc_index::bit_set::DenseBitSet; 🔒
use rustc_index::IndexSlice; 🔒
use rustc_index::IndexVec; 🔒
use rustc_middle::mir::visit::MutatingUseContext; 🔒
use rustc_middle::mir::visit::NonMutatingUseContext; 🔒
use rustc_middle::mir::visit::PlaceContext; 🔒
use rustc_middle::mir::visit::Visitor; 🔒
use rustc_middle::mir; 🔒
use rustc_middle::mir::DefLocation; 🔒
use rustc_middle::mir::Location; 🔒
use rustc_middle::mir::TerminatorKind; 🔒
use rustc_middle::mir::traversal; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::layout::HasTyCtxt; 🔒
use rustc_middle::ty::layout::LayoutOf; 🔒
use rustc_span::bug; 🔒
use rustc_span::span_bug; 🔒
use tracing::debug; 🔒
use super::FunctionCx; 🔒
use crate::traits::*; 🔒

Structs§

LocalAnalyzer 🔒

Enums§

CleanupKind 🔒
LocalKind 🔒

Functions§

cleanup_kinds 🔒
MSVC requires unwinding code to be split to a tree of funclets, where each funclet can only branch to itself or to its parent. Luckily, the code we generates matches this pattern. Recover that structure in an analyze pass.
non_ssa_locals 🔒