pub struct EscapeReport {
pub fn_name: String,
pub sites: Vec<EscapeSite>,
}Expand description
Per-function escape report — the artifact codegen consumes to decide where to emit a stack-alloc opcode vs the heap constructor.
Each entry is keyed by the allocation pc (the Op::MakeRecord or
Op::MakeTuple site’s index in the function’s code vec) and
tagged with its SiteKind. escapes = false means: across every
reachable path through the function, the aggregate allocated here
is only ever read locally (GetField / GetElem, dropped via
Pop, round-tripped through locals) — never returned, captured,
stored in another aggregate, or passed to a call.
Fields§
§fn_name: String§sites: Vec<EscapeSite>One entry per stack-allocatable aggregate (MakeRecord /
MakeTuple) site in the function, in pc order.
Trait Implementations§
Source§impl Clone for EscapeReport
impl Clone for EscapeReport
Source§fn clone(&self) -> EscapeReport
fn clone(&self) -> EscapeReport
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for EscapeReport
impl Debug for EscapeReport
impl Eq for EscapeReport
Source§impl PartialEq for EscapeReport
impl PartialEq for EscapeReport
Source§fn eq(&self, other: &EscapeReport) -> bool
fn eq(&self, other: &EscapeReport) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for EscapeReport
Auto Trait Implementations§
impl Freeze for EscapeReport
impl RefUnwindSafe for EscapeReport
impl Send for EscapeReport
impl Sync for EscapeReport
impl Unpin for EscapeReport
impl UnsafeUnpin for EscapeReport
impl UnwindSafe for EscapeReport
Blanket Implementations§
impl<T> Allocation for T
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
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.