Skip to main content

eval_tiled_gemm

logicaffeine_compile::codegen_sva::systolic

Function eval_tiled_gemm 

Source 
pub fn eval_tiled_gemm(
    sys: &Systolic,
    acts: &[i64],
    m: usize,
    tk: usize,
    tn: usize,
) -> Vec<i64>
Expand description

Compute a K×N GEMM by TILING into tk×tn sub-tiles (Phase 2). Each weight sub-block is loaded ONCE into the on-chip scratchpad and reused across all m activation rows; k-direction tiles are accumulated. Byte-identical to eval_systolic on the full matrix — so the tiling is proven correct by equality to the untiled reference (which is itself ≡ the oracle ≡ VM). acts is m*k row-major.