pub struct LoopInfo {
pub header: usize,
pub back_edge_from: usize,
pub body_size: usize,
pub nesting_level: usize,
pub body_blocks: Vec<usize>,
}Expand description
Information about a natural loop within a function
Represents intra-procedural loop structure detected via dominance analysis.
Fields§
§header: usizeLoop header block ID
back_edge_from: usizeBack edge source block ID
body_size: usizeNumber of blocks in the loop body
nesting_level: usizeNesting depth (0 for outermost loops)
body_blocks: Vec<usize>Block IDs in the loop body
Trait Implementations§
Auto Trait Implementations§
impl Freeze for LoopInfo
impl RefUnwindSafe for LoopInfo
impl Send for LoopInfo
impl Sync for LoopInfo
impl Unpin for LoopInfo
impl UnsafeUnpin for LoopInfo
impl UnwindSafe for LoopInfo
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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>
Converts
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>
Converts
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 more