Struct calyx_opt::analysis::StaticParTiming

pub struct StaticParTiming { /* private fields */ }

Calculate live ranges across static par blocks. Assumes control ids have already been given; it does not add its own

Implementations

impl StaticParTiming

pub fn new(control: &mut Control, comp_name: Id, live: &LiveRangeAnalysis) -> Self

Construct a live range analysis.

pub fn liveness_overlaps(
    &self,
    par_id: &u64,
    thread_a: &u64,
    thread_b: &u64,
    a: &Id,
    b: &Id
) -> bool

par_id is the id of a par thread. thread_a and thread_b are ids of direct children of par_id (if thread_a and thread_b are not direct children of par_id, then the function will error) a and b are cell names liveness_overlaps checks if the liveness of a in thread_a ever overlaps with the liveness of b in thread_b if par_id is not static, then will automtically return true

Trait Implementations

impl Debug for StaticParTiming

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

Formats the value using the given formatter.

impl Default for StaticParTiming

fn default() -> StaticParTiming

Returns the “default value” for a type.