Struct Prelude 

pub struct Prelude {
    pub dense: BTreeSet<String>,
    pub ranges: BTreeMap<String, Interval>,
    pub views: BTreeMap<usize, String>,
}

The decisions the spatial chips make about a whole program before any op of it is linked.

Fields

dense: BTreeSet<String>

The tables laid out dense — as a rows × cols matrix, a tile row holding tile rows — rather than as one flat row (dense_tables).

ranges: BTreeMap<String, Interval>

The interval each integer tensor is proven to hold, by name: a product’s operand precision is the narrowest that holds its operands’.

views: BTreeMap<usize, String>

The view each product over a stored Q8_0 weight reads its activation through, by op.

Implementations

impl Prelude

pub fn of( g: &TensorGraph, linked: &[usize], target: &SpatialTarget, agreed: &BTreeSet<String>, ranges: BTreeMap<String, Interval>, q8: &BTreeSet<String>, chip: &dyn Fn(&str) -> Option<u16>, ) -> Prelude

The decisions for the ops linked of g, in the order they are linked: agreed the tables a deployment’s other programs lay out dense, q8 the weights it stores Q8_0, and chip the chip of a tensor-parallel deployment each result is computed on.

pub fn agree_layouts( &self, g: &TensorGraph, ps: Vec<SpatialProgram>, twins: &mut BTreeSet<String>, passes: &dyn Fn(SpatialProgram) -> Result<SpatialProgram, SpatialReject>, target: &SpatialTarget, ) -> Result<Vec<SpatialProgram>, SpatialReject>

★ LAYOUT IS AGREED AT THE EDGES, ONCE, FOR EVERY OP. Each op lowers in its own layout — an attention or a rope over flat rows, a matmul over a matrix. Where a section declares one of the program’s matrices in the layout the prelude did not choose (Prelude::dense), that section’s tensor is renamed to its twin (X__rows flat, X__dense dense) and ONE relayout section bridges the two: before the section for a matrix it reads, after it for one it writes. A twin is made once and shared by every later reader. Carried state is updated in place and is never bridged.

Trait Implementations

impl Clone for Prelude

fn clone(&self) -> Prelude

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Prelude

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

Formats the value using the given formatter.

impl Default for Prelude

fn default() -> Prelude

Returns the “default value” for a type.