def run_keeping

stelliferous@0.0.2.0 · kernel_gemm_buffer.bend:30

import Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
import stelliferous@0.0.2.0/kernel_gemm.bend as Gemm
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/proofs/kernel_gemm_certificate.bend as GemmCertificate

30def run_keeping(+rows: U32,input: Storage.Buffer<Tile.Tile8>,weights: Storage.Buffer<Tile.Tile8>,bias: Storage.Buffer<F32>,
31  output: Storage.Buffer<F32>,+columns: U32,+inner: U32,+start: U32,+output_columns: U32) -> Kept:
32  Storage.Buffer{input,input_length,input_certificate} = input
33  Storage.Buffer{weights,weight_length,weight_certificate} = weights
34  Storage.Buffer{bias,bias_length,bias_certificate} = bias
35  Storage.Buffer{output,length,certificate} = output
36  kept(Gemm.run_keeping(rows,input,weights,bias,output,columns,inner,start,output_columns),input_length,weight_length,bias_length,length,
37    GemmCertificate.kept(rows,input,weights,bias,output,columns,inner,start,output_columns,input_certificate,weight_certificate,bias_certificate,certificate))