Struct Inliner

struct Inliner<'tcx> {
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    codegen_fn_attrs: &'tcx CodegenFnAttrs,
    history: Vec<DefId>,
    changed: bool,
    caller_is_inline_forwarder: bool,
}

Fields

tcx: TyCtxt<'tcx>

typing_env: TypingEnv<'tcx>

codegen_fn_attrs: &'tcx CodegenFnAttrs

Caller codegen attributes.

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.

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> Inliner<'tcx>

fn process_blocks( &mut self, caller_body: &mut Body<'tcx>, blocks: Range<BasicBlock>, )

fn try_inlining( &self, caller_body: &mut Body<'tcx>, callsite: &CallSite<'tcx>, ) -> Result<Range<BasicBlock>, &'static str>

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.

fn check_mir_is_available( &self, caller_body: &Body<'tcx>, callee: Instance<'tcx>, ) -> Result<(), &'static str>

fn resolve_callsite( &self, caller_body: &Body<'tcx>, bb: BasicBlock, bb_data: &BasicBlockData<'tcx>, ) -> Option<CallSite<'tcx>>

fn check_codegen_attributes( &self, callsite: &CallSite<'tcx>, callee_attrs: &CodegenFnAttrs, cross_crate_inlinable: bool, ) -> Result<(), &'static str>

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.

fn check_mir_body( &self, callsite: &CallSite<'tcx>, callee_body: &Body<'tcx>, callee_attrs: &CodegenFnAttrs, cross_crate_inlinable: bool, ) -> 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 inline_call( &self, caller_body: &mut Body<'tcx>, callsite: &CallSite<'tcx>, callee_body: Body<'tcx>, )

fn make_call_args( &self, args: Box<[Spanned<Operand<'tcx>>]>, callsite: &CallSite<'tcx>, caller_body: &mut Body<'tcx>, callee_body: &Body<'tcx>, return_block: Option<BasicBlock>, ) -> Box<[Local]>

fn create_temp_if_necessary( &self, arg: Operand<'tcx>, callsite: &CallSite<'tcx>, caller_body: &mut Body<'tcx>, return_block: Option<BasicBlock>, ) -> Local

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

fn new_call_temp( &self, caller_body: &mut Body<'tcx>, callsite: &CallSite<'tcx>, ty: Ty<'tcx>, return_block: Option<BasicBlock>, ) -> Local

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

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