Module inline 

Inlining pass for MIR functions.

Re-exports

use std::ops::Range; 🔒

use std::ops::RangeFrom; 🔒

use std::debug_assert_matches; 🔒

use std::iter; 🔒

use rustc_abi::ExternAbi; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_attr_ir::InlineAttr; 🔒

use rustc_attr_ir::OptimizeAttr; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_index::Idx; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::middle::codegen_fn_attrs::CodegenFnAttrs; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Instance; 🔒

use rustc_middle::ty::InstanceKind; 🔒

use rustc_middle::ty::ShimKind; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFlags; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_session::config::DebugInfo; 🔒

use rustc_session::config::OptLevel; 🔒

use rustc_span::Spanned; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use tracing::trace_span; 🔒

use crate::cost_checker::CostChecker; 🔒

use crate::cost_checker::is_call_like; 🔒

use crate::simplify::UsedInStmtLocals; 🔒

use crate::simplify::simplify_cfg; 🔒

use crate::validate::validate_types; 🔒

use crate::PassPolicy; 🔒

use crate::check_inline; 🔒

use crate::util; 🔒

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

use rustc_middle::mir::*; 🔒

Modules

cycle 🔒

Structs

CallSite 🔒

ForceInline

ForceInliner 🔒

Inline

Integrator 🔒

Integrator.

NormalInliner 🔒

Constants

HISTORY_DEPTH_LIMIT 🔒

TOP_DOWN_DEPTH_LIMIT 🔒

Traits

Inliner 🔒

Functions

body_is_forwarder 🔒

check_codegen_attributes 🔒

Returns an error if inlining is not possible based on codegen attributes alone. A success indicates that inlining decision should be based on other criteria.

check_mir_is_available 🔒

create_temp_if_necessary 🔒

If arg is already a temporary, returns it. Otherwise, introduces a fresh temporary T and an instruction T = arg, and returns T.

inline 🔒

inline_call 🔒

make_call_args 🔒

new_call_temp 🔒

Introduces a new temporary into the caller body that is live for the duration of the call.

process_blocks 🔒

resolve_callsite 🔒

try_inlining 🔒

Attempts to inline a callsite into the caller body. When successful returns basic blocks containing the inlined body. Otherwise returns an error describing why inlining didn’t take place.

try_instance_mir 🔒