Struct ForceInliner 

struct ForceInliner<'tcx> {
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    def_id: DefId,
    history: Vec<DefId>,
    changed: 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.

changed: bool

Indicates that the caller body has been modified.

Trait Implementations

impl<'tcx> Inliner<'tcx> for ForceInliner<'tcx>

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

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

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

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

fn caller_def_id(&self) -> DefId

fn changed(self) -> bool

Has the caller body been changed?

fn should_inline_for_callee(&self, def_id: 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<'tcx>) -> bool

fn check_callee_mir_body( &self, _: &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: &CallSite<'tcx>, reason: &'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: 72 bytes