Enum Capability 

pub enum Capability {
    Alu(AluOp),
    Func(FuncUnit),
    Select,
    Memory,
    Simd(LaneTy),
    Dataflow(Dataflow),
    Precision(Precision),
    MemTier(MemTier),
    Fusion(usize),
    Metapipeline(usize),
    Banks(usize),
    CounterNest(usize),
}

A capability a program cell requires from a target — the unit of the ADL’s typed refusal.

Variants

Alu(AluOp)

A combinational ALU op (LoopCell::Arith).

Func(FuncUnit)

A sequential functional unit (LoopCell::Func — division / float / popcount / …).

Select

The predicated-select mux (LoopCell::Select) — every fabric carries it.

Memory

Any state-plane access (LoopCell::{MemRead,HeapRead,HeapWrite,HeapAlloc}) — needs a heap.

Simd(LaneTy)

A packed-SIMD tile (LoopCell::VectorArith) of a given lane type — needs a matching target.simd.

Dataflow(Dataflow)

The GEMM dataflow a lowering demands (Dataflow::Reduction is the universal baseline).

Precision(Precision)

A numeric MAC format a lowering demands.

MemTier(MemTier)

A memory tier a schedule demands (on-chip SRAM / HBM / DDR).

Fusion(usize)

A fusion window a lowering demands — the target must fuse at least this many ops into one stage.

Metapipeline(usize)

A metapipeline depth a lowering demands — the target sustains at least this many pipelined stages of compute between buffers (Plasticine: the PCU’s pipeline stages; a scalar array: 1).

Banks(usize)

A scratchpad banking factor a lowering demands — the target’s memory unit serves at least this many concurrent lane accesses per cycle (Plasticine PMU: 16 banks; a flat heap: 1).

CounterNest(usize)

A nested-counter depth a lowering demands — the loop-nest depth the target’s control can drive without a CPU (Plasticine: the PCU’s counter chain; at least 1 everywhere).

Trait Implementations

impl Clone for Capability

fn clone(&self) -> Capability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Capability

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

Formats the value using the given formatter.

impl PartialEq for Capability

fn eq(&self, other: &Capability) -> 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 Copy for Capability

impl Eq for Capability

impl StructuralPartialEq for Capability