Struct WhileFabric 

pub struct WhileFabric {
    pub n_in: usize,
    pub n_state: usize,
    pub init: Vec<Src>,
    pub invariants: Vec<Src>,
    pub body: Vec<LoopCell>,
    pub next: Vec<Src>,
    pub pred: (CmpKind, Src, Src),
    pub result_state: usize,
}

A while-loop residual lowered to a CGRA: a fixed body datapath streamed by a controller whose CONTINUE predicate is fabric-computed over the loop-carried state (no counter).

Fields

n_in: usize

n_state: usize

init: Vec<Src>

invariants: Vec<Src>

body: Vec<LoopCell>

Body cells. Src::In(k): 0..n_state = state, n_state+j = invariant j (NO induction var).

next: Vec<Src>

pred: (CmpKind, Src, Src)

The continue predicate (ca cmp cb) — the loop runs WHILE it holds. Over body inputs.

result_state: usize

Trait Implementations

impl Clone for WhileFabric

fn clone(&self) -> WhileFabric

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WhileFabric

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

Formats the value using the given formatter.