Struct NormalInliner

struct NormalInliner<'tcx> {
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    def_id: DefId,
    history: Vec<DefId>,
    top_down_counter: usize,
    changed: bool,
    caller_is_inline_forwarder: bool,
}

Fields

tcx: TyCtxt<'tcx>

typing_env: TypingEnv<'tcx>

def_id: DefId

DefId of caller.

history: Vec<DefId>

Stack of inlined instances. We only check the DefId and not the args because we want to avoid inlining cases of polymorphic recursion. The number of DefIds is finite, so checking history is enough to ensure that we do not loop endlessly while inlining.

top_down_counter: usize

How many (multi-call) callsites have we inlined for the top-level call?

We need to limit this in order to prevent super-linear growth in MIR size.

changed: bool

Indicates that the caller body has been modified.

caller_is_inline_forwarder: bool

Indicates that the caller is #inline and just calls another function, and thus we can inline less into it as it’ll be inlined itself.

Implementations

impl<'tcx> NormalInliner<'tcx>

fn past_depth_limit(&self) -> bool

Trait Implementations

impl<'tcx> Inliner<'tcx> for NormalInliner<'tcx>

fn new(tcx: TyCtxt<'tcx>, def_id: DefId, body: &Body<'tcx>) -> Self

fn tcx(&self) -> TyCtxt<'tcx>

fn caller_def_id(&self) -> DefId

fn typing_env(&self) -> TypingEnv<'tcx>

fn history(&self) -> &[DefId]

fn changed(self) -> bool

Has the caller body been changed?

fn should_inline_for_callee(&self, _: DefId) -> bool

Should inlining happen for a given callee?

fn check_codegen_attributes_extra( &self, callee_attrs: &CodegenFnAttrs, ) -> Result<(), &'static str>

fn check_caller_mir_body(&self, body: &Body<'tcx>) -> bool

fn check_callee_mir_body( &self, callsite: &CallSite<'tcx>, callee_body: &Body<'tcx>, callee_attrs: &CodegenFnAttrs, ) -> Result<(), &'static str>

Returns inlining decision that is based on the examination of callee MIR body. Assumes that codegen attributes have been checked for compatibility already.

fn on_inline_success( &mut self, callsite: &CallSite<'tcx>, caller_body: &mut Body<'tcx>, new_blocks: Range<BasicBlock>, )

Called when inlining succeeds.

fn on_inline_failure(&self, _: &CallSite<'tcx>, _: &'static str)

Called when inlining failed or was not performed.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 80 bytes