def copy_block
stelliferous@0.0.2.0 · kernel_weights.bend:58
import stelliferous@0.0.2.0/kernel_weights.bend as KernelWeights
import Base
import stelliferous@0.0.2.0/traversal_array.bend as Traversal
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
58def copy_block(block: U32,layout: Layout,owners: Array<F32> & Array<Tile.Tile8>) -> Array<F32> & Array<Tile.Tile8>:
59 Layout{rows,+inner} = layout
60 (input,output) = owners
61 +block = block
62 Traversal.finish(~Array<F32>,~Tile.Tile8,~Context,
63 Traversal.run(~Array<F32>,~Tile.Tile8,~Context,~read,~destination,U32.to_nat(inner),
64 Traversal.State{input,output,0,Context{rows,inner,(block * 8 : U32),(block * inner : U32)}}))