~/bend-docscommunity

kernel_packing_buffer.bend checks

raw source on the hub · import stelliferous@0.0.2.0/kernel_packing_buffer.bend as Kernel_packing_buffer

7 imports
import Base
import ./kernel_spatial_packing.bend as Packing
import ./kernel_tile.bend as Tile
import ./storage_buffer.bend as Storage
import ./proofs/kernel_packing_certificate.bend as PackingCertificate
import ./proofs/storage_certificate.bend as Certificate
import ./proofs/traversal_certificate.bend as TraversalCertificate

Definitions

def buffers source · line 9 · raw

@input_length:Nat -> @output_length:Nat -> @result:Pair(Array<F32>, Array<0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8>) -> @certificates:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_certificate.Certificates<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_certificate.family(F32), result> -> Pair(0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8>)

def run source · line 16 · raw

@+call:0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_spatial_packing.Call -> @input:0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<F32> -> @output:0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8> -> Pair(0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8>)