KernelGemm.step: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_gemm.bend as KernelGemm
Lines 65-70 of stelliferous@0.0.2.0/kernel_gemm.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&start_line=65&end_line=70

import Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile

# One ordered k step: read the weight tile, then the input tile, then MAC.
def step(~upper: Bool,state: Loop) -> Loop:
  Loop{input,weights,bias,output,+index,context,accumulators} = state
  Context{+row,+position,+rows,+columns,+input_base,+weight_base} = context
  with_weights(~upper,input,bias,output,index,Context{row,position,rows,columns,input_base,weight_base},input_base,accumulators,
    Array.get(Tile.Tile8,weights,(weight_base + index : U32)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&name=Context
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&name=Loop
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&name=with_weights
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=Tile8