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: DefIdDefId 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: usizeHow 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: boolIndicates that the caller body has been modified.
caller_is_inline_forwarder: boolIndicates 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§
Source§impl<'tcx> NormalInliner<'tcx>
impl<'tcx> NormalInliner<'tcx>
fn past_depth_limit(&self) -> bool
Trait Implementations§
Source§impl<'tcx> Inliner<'tcx> for NormalInliner<'tcx>
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]
Source§fn should_inline_for_callee(&self, _: DefId) -> bool
fn should_inline_for_callee(&self, _: DefId) -> bool
fn check_codegen_attributes_extra( &self, callee_attrs: &CodegenFnAttrs, ) -> Result<(), &'static str>
fn check_caller_mir_body(&self, body: &Body<'tcx>) -> bool
Source§fn check_callee_mir_body(
&self,
callsite: &CallSite<'tcx>,
callee_body: &Body<'tcx>,
callee_attrs: &CodegenFnAttrs,
) -> Result<(), &'static str>
fn check_callee_mir_body( &self, callsite: &CallSite<'tcx>, callee_body: &Body<'tcx>, callee_attrs: &CodegenFnAttrs, ) -> Result<(), &'static str>
Source§fn on_inline_success(
&mut self,
callsite: &CallSite<'tcx>,
caller_body: &mut Body<'tcx>,
new_blocks: Range<BasicBlock>,
)
fn on_inline_success( &mut self, callsite: &CallSite<'tcx>, caller_body: &mut Body<'tcx>, new_blocks: Range<BasicBlock>, )
Source§fn on_inline_failure(&self, _: &CallSite<'tcx>, _: &'static str)
fn on_inline_failure(&self, _: &CallSite<'tcx>, _: &'static str)
Auto Trait Implementations§
impl<'tcx> DynSend for NormalInliner<'tcx>
impl<'tcx> DynSync for NormalInliner<'tcx>
impl<'tcx> Freeze for NormalInliner<'tcx>
impl<'tcx> !RefUnwindSafe for NormalInliner<'tcx>
impl<'tcx> !Send for NormalInliner<'tcx>
impl<'tcx> !Sync for NormalInliner<'tcx>
impl<'tcx> Unpin for NormalInliner<'tcx>
impl<'tcx> !UnwindSafe for NormalInliner<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
Source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
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