Struct LiveInterval 

pub struct LiveInterval {
    pub buf: BufferId,
    pub def_pos: Option<usize>,
    pub last_use_pos: Option<usize>,
    pub size_bytes: usize,
    pub external: bool,
}

The live interval of a buffer in topological-order position space.

The buffer is “live” from the step it is first written (def_pos) to the step at which it is last read (last_use_pos), inclusive.

Fields

buf: BufferId

Buffer this interval belongs to.

def_pos: Option<usize>

Topological position at which the buffer is first defined (written). None means the buffer is an external input (alive from the start).

last_use_pos: Option<usize>

Topological position at which the buffer is last used (read). None means the buffer is never read (write-only / dead code).

size_bytes: usize

Buffer size in bytes (copied from BufferDescriptor).

external: bool

Whether this buffer is externally managed.

Implementations

impl LiveInterval

pub fn start(&self) -> usize

Returns the effective start position (0 if never written).

pub fn end(&self) -> usize

Returns the effective end position (start if never read).

pub fn overlaps(&self, other: &Self) -> bool

Returns true if this interval overlaps with other.

Two intervals overlap when neither ends strictly before the other begins.

pub fn is_dead(&self) -> bool

Returns true if the buffer is dead (never read after being written).

pub fn length(&self) -> usize

Returns the length of the live interval in steps.

Trait Implementations

impl Clone for LiveInterval

fn clone(&self) -> LiveInterval

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LiveInterval

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for LiveInterval

fn eq(&self, other: &LiveInterval) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LiveInterval

impl StructuralPartialEq for LiveInterval